headers
mpj | 2 Jun 1997 00:07
Picon

Opening for Research Assistant at Nottingham

I believe that the following announcement may be of interest to readers
of the types mailing list.

---------------------------------------------------------------------
                    THE UNIVERSITY OF NOTTINGHAM

                   DEPARTMENT OF COMPUTER SCIENCE
                   LANGUAGES & PROGRAMMING GROUP

                         RESEARCH ASSISTANT
       (FIRST-CLASS MODULES FOR COMPONENT-BASED PROGRAMMING)

Required to work on an EPSRC funded project, in collaboration with
Professor Simon Peyton Jones at the University of Glasgow, to
investigate type systems that support component-based programming.
The project has major strands in both theory and practice, including
the development of type systems to make component-based programming
more secure and flexible, and the implementation of these ideas in
practical systems.   The project is set in the context of functional
programming languages, and of Haskell in particular.  However, it
will also deal with existing and emerging component technologies such
as COM, OpenDoc, and JavaBeans.  The person appointed will divide
their time between work on type systems, and work on component and
application frameworks.

Salary will be GBP 16,927 per annum.  This post will be offered on a
fixed-term contract for a period of three years, starting not later
than 1 October 1997.

Informal enquiries may be addressed to Dr M P Jones (mpj@...).
(Continue reading)

Permalink | Reply | 0 comments |
headers
Masako Takahashi-Horai | 6 Jun 1997 05:11
Picon
Favicon

Workshop on Theories of Types and Proofs


	      Call for Contributed Papers and Participation

 		Workshop on Theories of Types and Proofs

			 September 8 - 19, 1997
		     Tokyo Institute of Technology
			      Tokyo, Japan
			 <ttp@...> 

The aim of this two-week workshop is to exchange ideas and research results
in the area of Theories of Types and Proofs. Researchers interested in this 
area are welcome to participate and make contributions to the workshop. The 
workshop will consist of a series of lectures, contributed talks, and 
discussion hours.

The workshop solicits for contributed papers in the field of theories of
types and proofs and related topics. On-going research works are also 
welcome. If you want to give a talk, please fill in the form below and 
send us with an extended abstract (2 - 10 pages, in ps file) by e-mail 
to <ttp@...> by July 7. The authors who submit a paper will 
be notified of the acceptance/rejection by July 25. If you want just 
participate the workshop, please fill the first three lines of the form 
below and send it by August 15, 1997. For more information, please send 
an e-mail also to <ttp@...>.

The workshop period is just before the TACS'97 conference at Sendai, Japan
(September 23 - 27). See the Web at http://tacs97.ito.ecei.tohoku.ac.jp
/tacs97.html for the information on TACS'97.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Bill Mitchell | 9 Jun 1997 18:54
Picon
Picon

ICTL'97

Please could you post the following call for participation to youre
mailing list at the earliest possible time please.

                                       | Dr W. Mitchell
			   ___         | Computer Science Department
			  /   )        | The University
			 /---<   o / / | Manchester M13 9PL
			/___ / _(_/_/  | England
				       |
				       | Janet: bill@...
				       | tel:   (+44)161-275-6117
                                       | http://www.cs.man.ac.uk/~bill

		   ICTL'97 - CALL FOR PARTICIPATION

		   SECOND INTERNATIONAL CONFERENCE
				  ON
			    TEMPORAL LOGIC

	     http://www.cs.man.ac.uk/fmethods/ictl97.html

     Hulme Hall, Oxford Place, Victoria Park, Manchester, England
			  July 14 - 18, 1997

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

KEY WORDS: Pure Temporal Logic, Specification and Verification,
Temporal Databases, Temporal Aspects in AI, Tense and Aspect in
Natural Language, Temporal Theorem Proving,
(Continue reading)

Permalink | Reply | 0 comments |
headers
G.P.A.Fernandes | 10 Jun 1997 13:34
Picon

FMOODS97 Final Call for Participation


Find enclosed a Call for Participation and Programme for FMOODS'97.
Please forward this message to colleagues that might be interested.
We have attempted to remove duplicate email addresses, however
if you do receive multiple copies, please accept our apologies.
In addition, you should note that the date for advanced (reduced rate)
registration has been extended to 20th June.

- -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-==-=-=-=-=-=-=-=-=-=-=-=

	 Notice of Conference and Final Call for Participation
			 FMOODS'97

	 Canterbury, United Kingdom, 21st-23rd July, 1997

	 Second IFIP International Conference on
	 Formal Methods for Open Object-based Distributed Systems

	 Organized by the University of Kent at Canterbury
	 Sponsored by IFIP and EPSRC

- -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-==-=-=-=-=-=-=-=-=-=-=-=

The second IFIP International Conference on Formal Methods for
Open Object-based Distributed Systems will be held at the University of Kent at
Canterbury, 21st-23rd July, 1997. Canterbury lies just 60 miles from London,
and 15 miles from the channel ports. Many Eurostar trains from Paris and
Brussels stop at Ashford International station, from which there is a 20 min
rail link to Canterbury.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Bart Jacobs | 10 Jun 1997 14:48
Picon
Picon

Workshop on coalgebraic methods in computer science

ANNOUNCEMENT, AND EARLY CALL FOR SUBMISSION:

   WORKSHOP ON COALGEBRAIC METHODS IN COMPUTER SCIENCE
   ======== == =========== ======= == ======== =======

              (Lisbon, 28-29 March 1998
               Satelite workshop to ETAPS'98) 

Organized by: Bart Jacobs,
              Larry Moss,
              Horst Reichel,
              Jan Rutten.

Submissions: 
      1 January 1998: deadline for submissions 
      15 February 1998: notification 
      7 March 1998: final version 
      Proceedings: ENTCS (Electronic Lecture Notes 
      in Computer Science), and later a special issue of TCS. 

For more information and instructions for submission, see: 

        http://www.cs.kun.nl/~bart/coalg_worksh.html.

(We apologize for multiple copies.)
Permalink | Reply | 0 comments |
headers
Klaus Grue | 11 Jun 1997 12:15
Picon
Favicon

Copenhagen Logic Summer School

Announcement of Copenhagen Logic Summer School 97, August 11-22

All information on: http://www.diku.dk/~grue/cls.html

Registration deadline: June 23

The summer school primarily aims at Nordic Ph.D. students,
but is open to all interested in mathematical logic.

Program:
Klaus Grue: Basic logic
Dag Normann: Recursion theory
Herman Jervell: Proof theory
Morten Heine Sorensen: Untyped lambda calculus
Thierry Coquand: Typed lambda calculus
Neil Jones: Complexity
Erik Palmgren: Effective enumeration
Erik Palmgren: Domain theory
Klaus Grue: Map theory
Anders Kock: Category theory
Permalink | Reply | 0 comments |
headers
Bengt Nordstr|m | 11 Jun 1997 13:08
Picon
Picon

Professorship in Uppsala, Sweden

Could you please announce this?

Thanks,

Bengt Nordstrom

==============================================================================

Applications are invited for a Chair in

COMPUTING SCIENCE

at the Faculty of Science and Technology.
Ref nr 3603/97

Eligibility and Criteria for the Ranking of Candidates Eligible for a
professorship is a person having scientific and pedagogical proficiency.

Grounds for promotion are especially scientific and pedagogical
proficiency,
with the stipulation that the emphasis will lie on scientific
excellence.
Ability to inform about research and development work will also be taken
into account.

The Faculty wishes to establish a more equal proportion amongst female
and
male professors and applications from women are encouraged.

Application
(Continue reading)

Permalink | Reply | 0 comments |
headers
Sergei.Soloviev | 12 Jun 1997 17:44
Picon
Picon

correction

Please, announce the following modification of shedule:

			TYPES WORKING GROUP

			    WORKSHOP ON 

     	SUBTYPING, INHERITANCE AND MODULAR DEVELOPMENT OF PROOFS

		Dates are modified! (One-day change.)

		Durham (U.K.), August 30- September 1 1997

Ansvering some complaints about possible clash with CSL-97, hold in
Aarhus, Denmark (ending 29.08) we decided to shift the workshop ONE DAY. 
(No more days shift possible.) The 29.08 becomes now ARRIVAL DAY.
The workshop will start in the morning on Saturday, 30 August
and end in the afternoon on Monday, 01 September. 

Attention of possible participants of CSL-97: there are flights
from Billund near Aarhus via Brussels to Newcastle (several flights
a day).

		    

Best regards,
		Sergei Soloviev
Permalink | Reply | 0 comments |
headers
Luc Maranget | 18 Jun 1997 18:15
Picon
Picon
Favicon

The join-calculus language, release 1.01

It is our pleasure to announce the first release of the join-calculus
(version 1.01).

The join-calculus is an experimental programming language, based on
the homonymous process calculus. It provides a simple support for
distributed programming.

The main characteristics of the join-calculus are:
  * fine-grained concurrency
  * static type-checking, modules and separate compilation a la ML
  * typed interface with Objective Caml
  * execution on several, heterogeneous machines  
  * network-transparency (up-to failure).
  * global lexical scope
  * locality under the control of the language
  * mobile agents and sub-agents
  * failure detection.

The present release is a prototype implementation; its
main limitations are:
  * corish syntax (e.g., no loop construct)
  * no obsession about performances
  * no remote detection of physical failures

The join-calculus is implemented in Objective Caml, and
should run on most Unix architectures. It has been tested on sun4
(SunOS 4.1.x), alphas (DEC OSF) and i*86s (Linux).

More information on the join-calculus (including tutorials, user's
manuals, and some bibliography) is available on the Web, at
(Continue reading)

Permalink | Reply | 0 comments |
headers
Uffe Henrik Engberg | 20 Jun 1997 23:56
Picon
Favicon

CSL'97: Programme and Call for Participation

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

                   Programme and Call for Participation

                                  CSL'97

           The 1997 Annual Conference on Computer Science Logic

                   Aarhus, Denmark,  25-29 August, 1997

             Organized by BRICS, Department of Computer Science,
                          University of Aarhus

             Sponsored by BRICS, the Danish National Research Foundation
                          and the Danish National Research Council

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

The 1997 Annual Conference on Computer  Science Logic, CSL'97, will be held
at the Computer Science Department, University of  Aarhus, Denmark, 25 - 29
August, 1997, preceded by Tutorials, 23 - 24 August, 1997.

The conference includes invited talks by the following speakers:

           - Samuel R. Buss, San Diego
           - Hubert Comon, Paris
           - Thierry Coquand, Gothenburg
           - Martin Hyland, Cambridge
           - Neil Immerman, Amherst
           - Nils Klarlund, Murray Hill
(Continue reading)

Permalink | Reply | 0 comments |

Gmane