SIPL Advance Program

To: types@dcs.gla.ac.uk
Subject: SIPL Advance Program
From: ohearn@top.cis.syr.edu
Date: Tue, 13 Dec 94 20:13:47 EST
Approved: types@dcs.gla.ac.uk

[Since it is clearly relevant, I am distributing this workshop
announcement to types.  -- Philip Wadler, moderator, Types Forum.]


			SIPL '95  Advance Program

		       2nd ACM SIGPLAN Workshop on 
		     STATE in Programming Languages

			     San Francisco
	 		     Jan 21, 1995

	         (held in conjunction with POPL '95;
	         registration information may be found at
	         ftp://wuarchive.wustl.edu/pub/popl95)


8:30 - 10:00

Tutorial -
  State in Progrmming Languages: 
  Issues in languages, 	semantics and reasoning.
     P. W. O'Hearn (Syracuse University) and 
     U. S. Reddy (University of Illinois)

Formalizing Hoare Logic
     J. E. Caplan (University of Illinois)

10:30 - 12:00

An Imperative Object Calculus
     M. Abadi and L. Cardelli (DEC Systems Research Center)

Lazy computations in an object-oriented language for reactive programming 
     J. Nordlander (Chalmers University of Technology)

Inferring effect types in an applicative language with
asynchronous concurrency
     J. Kleist, M. Hansen, B. Jensen, and H. Huttel 
    (Aalborg University)

2:00 - 3:45

Tutorial -
  State in Haskell
     S. Peyton Jones (University of Glasgow)

Terminated references and automatic parallelization in the state monad 
     P. J. Thiemann (University of Tubingen)

Mutable data structures and composable references in a pure 
functional language
     K. Kagawa (Kyoto University)

4:15 - 4:45

Applying PI: Towards a basis for concurrent imperative programming.
     M. Odersky (University of Karlsruhe)

4:45 - 5:30

Panel discussion: 
State and Functional Programming