headers
Rosziati Ibrahim | 5 Jan 1999 05:50
Picon
Picon

Formalization of COM

Hi all,

I would like to announce the availability of a technical report on
formalization of COM (Component Object Model).

Title: COMEL: A Formal Model for COM

This paper is available for downloading at:

    http://www.fit.qut.edu.au/~ibrahim/comel.html

Any comments and feedback are welcome.

Abstract
--------

This paper present an approach to formalize COM (Component Object Model).
Despite its importance, COM still does not have a formal specification. In
order to understand the COM's informal rules better, the COMEL language is
being introduced. We formalized some of the important COM's rules and
present COMEL's abstract syntax, type system, operational semantics and
type soundness.

Rosziati Ibrahim
School of Computing Science 
Faculty of Information Technology 
Queensland University of Technology (QUT)  
GPO Box 2434
Brisbane QLD 4001 
Australia
(Continue reading)

Permalink | Reply | 0 comments |
headers
Robert A.G. Seely | 6 Jan 1999 22:33
Picon

Call for Papers - LambekFest

A repeat / reminder notice:

LAMBEK FESTSCHRIFT - CALL FOR PAPERS

The (electronic) journal "Theory and Applications of Categories" has
agreed to publish a special volume in honour of the work of our
colleague Joachim Lambek, in celebration of his 75th birthday,
which was marked by a symposium at McGill on his actual birthday last
December 5th, 1997.  We welcome submissions to this volume from anyone
interested. All papers submitted will undergo the usual TAC referee
process, and we are hopeful that the final volume will be ready before
summer 1999.  (For the TAC home page, see <http://www.tac.mta.ca/tac/>).

Topics suitable for the volume include any of the subjects to which
Jim Lambek has contributed which fall roughly within the scope of TAC.
For example, categorical algebra, categorical logic and proof theory,
mathematical linguistics, algebra and ring theory (preferably with
some categorical application or methodology), categorical computer
science, etc.

We would like to note that a companion volume is also being prepared
by the journal "Mathematical Structures in Computer Science" - there
may still be room for a very small number of short-to-moderate-length
papers to be included in that volume. If you wish your submission to
be considered for that, please indicate this when you submit your
paper to us.  (Of course, MSCS's emphasis is more towards computer
science).

The submission deadline for the Lambek Fest volume is 30 January,
1999.  Please send a postscript file (uuencoded and compressed, if
(Continue reading)

Permalink | Reply | 0 comments |
headers
Marcelo Fiore | 7 Jan 1999 16:05
Picon
Picon

Grothendieck Logical Relations.

The following paper (to be presented in TLCA'99) is available by anonymous FTP
or over the Web  

    Lambda Definability with Sums via Grothendieck Logical Relations

                 by Marcelo Fiore and Alex Simpson

    We introduce a notion of *Grothendieck logical relation* and use 
    it to characterise the definability of morphisms in *stable* bicartesian
    closed categories by terms of the simply-typed lambda calculus with 
    finite products and finite sums. Our techniques are based on concepts 
    from topos theory, however our exposition is elementary.

The paper is available over the Web:

    http://www.dcs.ed.ac.uk/~mf/TYPES/glr.dvi
    http://www.dcs.ed.ac.uk/~als/Research/glr.ps.gz

or by anonymous FTP:

    ftp://ftp.dcs.ed.ac.uk/pub/mf/TYPES/glr.dvi
    ftp://ftp.dcs.ed.ac.uk/pub/als/Research/glr.ps.gz
Permalink | Reply | 0 comments |
headers
bcpierce | 8 Jan 1999 16:52
Favicon

Postdoc at Penn

Applications are invited for a two-year postdoctoral fellowship in the
Logic and Computation group at the University of Pennsylvania.  The
position is connected to the project "The Essence of Objects"
(http://www.cis.upenn.edu/~bcpierce/eo.html) and offers opportunities
for both collaborative and individual research.

Applicants should have strong background in at least two of the
following areas:   
    - type systems 
    - programming language design and implementation
    - process calculi and theory of concurrency
    - distributed and/or mobile systems
The ideal candidate will have a lively interest in both system
building and theory.  The appointment is for two years, beginning in
the Fall of 1999.  

The Logic and Computation group (http://www.cis.upenn.edu/~lc) is an
interdisciplinary research group composed of faculty and graduate
students from the Departments of Computer and Information Science,
Mathematics, and Philosophy.  It is closely connected with the
Institute for Research on Cognitive Science
(http://www.cis.upenn.edu/~ircs), a larger consortium of researchers
in the common pursuit of an understanding of the human mind and the
development of new technology arising from this understanding.

Informal inquiries about the position may be addressed to
bcpierce@...  Formal applications should be filed
electronically by visiting  
     http://www.cis.upenn.edu/~ircs/education/postdoc.html.
You will be asked to provide the following information:
(Continue reading)

Permalink | Reply | 0 comments |
headers
Gopalan Nadathur | 10 Jan 1999 23:35
Favicon

call for PPDP workshop proposals

It seems relevant to distribute this announcement through this mailing
list since type-theoretic languages are one topic of interest. 

Thanks,
-Gopalan

-----------------------------------------------------------------------

(Please accept my apologies if this announcement is received more than once 
through different mailing lists.)

		  FINAL CALL FOR WORKSHOP PROPOSALS
     PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP'99)

Proposals are invited for PPDP affiliated workshops at PLI'99, a
federation of colloquia to be held in Paris from September 27 to
October 1, 1999. (Details of PPDP'99 and PLI'99 are available from the
Web pages listed below.) Such proposals should be sent to the Program
Chair of PPDP'99, should be no longer than two pages and should
describe the topic of the workshop (that should relate broadly to
declarative programming), the names and contact information of the
organizers, the expected number of participants and duration, and any
other factors relevant to its selection. The preference is for
day-long workshops, but longer or shorter ones will be
considered. THE DEADLINE FOR RECEIPT OF PROPOSALS IS JANUARY 15,
1999. Proposals will be evaluated by the PPDP'99 Program Committee and
acceptance decisions will be made by March 1st, 1999. 

A more detailed call for workshop proposals is available at 
http://www.cs.uchicago.edu/~gopalan/ppdp99/workshops.html.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Martin Hofmann | 11 Jan 1999 13:35
Picon
Picon

CTCS '99 FIRST CALL FOR PAPERS]

           CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'99)
              10-12 SEPTEMBER 1999, EDINBURGH, SCOTLAND

                        FIRST CALL FOR PAPERS 

CTCS '99 is the 8th conference on Category Theory and Computer
Science. The purpose of the conference series is the advancement of
the foundations of computing using the tools of category theory. While
the emphasis is upon applications of category theory, it is recognized
that the area is highly interdisciplinary.

Typical topics of interest include but are not limited to
category-theoretic aspects of the following:

concurrent and distributed systems 
constructive mathematics
declarative programming and term rewriting 
domain theory and topology
linear logic 
models of computation 
program logics, data refinement, and specification 
programming language semantics 
type theory

Previous meetings have been held in Guildford (Surrey), Edinburgh,
Manchester, Paris, Amsterdam, Cambridge, and S. Margherita Ligure
(Genova).

PROGRAMME COMMITTEE
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jan.Vitek | 12 Jan 1999 09:09
Picon
Picon

[CFP] 5th Mobile Object Systems Workshop


        5th Mobile Object Systems Workshop:

    Programming Languages for Wide Area Networks

   In association with the 13th European Conference on 
          Object-Oriented Programming ECOOP'99
            Lisbon, Portugal, 14-18 June 1999
             http://cuiwww.unige.ch/~ecoopws

The fifth workshop on Mobile Object Systems (MOS'99) will address
fundamental principles in the definition, analysis and implementation
of languages and models for distributed programming, with particular
emphasis on languages and calculi for wide-area mobile systems.
In the last few years work on a number of languages and systems such
as Telescript, Obliq, Aglets and Java has investigated practical
aspects of constructing distributed systems based on the notion of
mobile computations.  Semantic models for mobility have also begun to
appear recently, including models such as the Join and Ambient
Calculi, Nomadic Pict, the Seal calculus and Dpi. These account for
some of the features found in practical systems and can inform new
designs, but are far from providing a complete theory; there should be
fruitful interaction between the communities.  
The workshop aims to bring together researchers in language
implementation and semantics to discuss issues related to distributed
programming languages, including:

 - Semantics, operational equivalences, program logics,<
 - Advanced type systems,
 - Security in programming languages,
(Continue reading)

Permalink | Reply | 0 comments |
headers
Herman Geuvers | 12 Jan 1999 17:41
Picon
Picon
Favicon

Vacancy for Ph.D. student (Netherlands)

In the Faculty of Mathematics and Computer Science,
Technical University Eindhoven, The NETHERLANDS,
there is a job opportunity for a Ph.D. student.

The student will be placed in the Formal Methods group of the
Department of Computer Science, headed by Prof. Jos Baeten.
The Formal Methods group (http://www.win.tue.nl/cs/fm/)
works on various topics, including Proces Algebra, Verification and
Specification and Type Theory and Theorem Proving. 

The Ph.D. student will work on the project (sponsored by NWO, the
Dutch organisation for fundamental research) titled

"Use and Meaning of Open Terms in Interactive Formal Problem Solving"

under supervision of Dr. R. Nederpelt and Dr. H. Geuvers.
See the abstract of the project proposal below.

In the Netherlands, A Ph.D. student is a member of the faculty
staff and has a position for four years. The income is Dfl 2843,-
in the first year, increasing to Dfl 3841,- in the fourth year.

We are looking for someone who holds a Master's in Mathematics or
Computer Science with a background in either logic or formal methods.

For more information (including a full project proposal), look at
http://www.win.tue.nl/cs/fm/herman/AiOadv.html 
or  contact
Dr. R. Nederpelt, e-mail wsinrpn@..., tel. 31 (0)40 2472718
Dr. H. Geuvers, e-mail herman@..., tel. 31 (0)40 2472999
(Continue reading)

Permalink | Reply | 0 comments |
headers
Ruy de Queiroz | 12 Jan 1999 20:11
Picon

6th WoLLIC'99


                         Call for Contributions

        6th Workshop on Logic, Language, Information and Computation
       	                      (WoLLIC'99)
                            May 25-28, 1999

 !  TUTORIALS   >>     (Tutorial Day: May 25th)       <<   TUTORIALS !

                Itatiaia National Park (Rio de Janeiro), Brazil

The "6th Workshop on Logic, Language, Information and Computation" (WoLLIC'99),
the sixth version of a series of workshops which started in 1994 with the aim
of fostering interdisciplinary research in pure and applied logic, will be held
in Itatiaia (Rio de Janeiro), Brazil, from May 25th to 28th 1999, in
conjunction with the "XII Encontro Brasileiro de Logica" (EBL'99).
Contributions are invited in the form of short papers (10 A4 10pt pages) in
all areas related to logic, language, information and computation, including:
pure logical systems, proof theory, model theory, algebraic logic, type theory,
category theory, constructive mathematics, lambda and combinatorial calculi,
program logic and program semantics, logics and models of concurrency,
logic and complexity theory, nonclassical logics, nonmonotonic logic,
logic and language, discourse representation, logic and artificial
intelligence, automated deduction, foundations of logic programming,
logic and computation, and logic engineering.

The 6th WoLLIC'99 has the scientific sponsorship of the Association
for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics
(IGPL), the European Association for Logic, Language and Information (FoLLI),
the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira
(Continue reading)

Permalink | Reply | 0 comments |
headers
Roy L. Crole | 14 Jan 1999 09:44
Picon
Picon
Favicon

Lectureships in Computer Science


Dear Colleagues,

I would like to announce two Lectureships in Computer Science, which
may be of interest to TYPES readers. 

Leicester has a research group in Semantics which includes myself,
Simon Ambler and Neil Ghani. Current research areas include
Operational Semantics, Mechanized Reasoning, and Categorical Models of
Programming Languages. Further, the Distributed Systems group is
working on Security.  All are directly or indirectly connected with
the theory and practice of types.

Roy Crole

--------------------------------------------------------------------

LEICESTER UNIVERSITY

DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE

LECTURESHIPS (GRADE A/B) IN COMPUTER SCIENCE (2 POSTS)

Applications are invited for 2 permanent Lectureships in Computer Science
in the Department of Mathematics and Computer Science at the University of
Leicester.  There is no restriction regarding the area of research and
applicants with expertise in any area of Computer Science are welcomed.
Both lectureships are tenable from 1 April 1999 or as soon as possible
thereafter.
(Continue reading)

Permalink | Reply | 0 comments |

Gmane