LOGSEM Workshop in B'ham

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

			   LOGSEM Workshop

	     Logic and Semantics of Programming Languages
		       September 13 - 16, 1996
		      School of Computer Science
		     The University of Birmingham
	          !!!!!    CALL FOR PARTICIPATION  !!!!!

The researchers from the EU-funded projects Categorical Logic in
Computer Science (CLiCS) I and II are holding a meeting dedicated to
the theme "Logic and Semantics in Programming" at the School of
Computer Science, University of Birmingham.

Keynote speakers include Prof John Hughes (Chalmers, Sweden), 
Dr Jens Palsberg (to be confirmed), Prof E. Robinson (QMW, London), 
Dr A. Pitts (Computer Lab, Cambridge), Prof S. Abramsky (LFCS, Edinburgh) 
and Prof E. Moggi (Genova, Italy).

The meeting is happenning over the weekend 13-16th September and
talks are invited on the broad topics of mathematical structures in 
semantics, type systems for programming languages, logic and 
concurrency theory. 

We still have a few places  available at University House, priced
at 23.55 per night, just across the street from the campus. 
The meeting  starts after lunch on Friday and finishes  
lunch time on Monday, so it is possible to travel on Friday and/or Monday.

The registration DEADLINE is Monday, 2nd September, 
so please email us your registration form 
(with a short abstract, if you want to give a talk) before that.

Best regards,
Achim Jung and Valeria de Paiva
Valeria de Paiva,                   |  
University of Birmingham            | Phone: +44 (0)121 414 4766
School of Computer Science          | Fax: +44 (0)121 414 4281
Edgbaston, Birmingham               | JANET: V.DePaiva@uk.ac.bham.cs 
B15 2TT, England, UK                | Internet: V.DePaiva@cs.bham.ac.uk 


 Do you want to give a talk? 
 If yes, can we have a short abstract?



 Shall we reserve a room for you in University House? (23.55 B&B):

 Are you a vegetarian?