[Prev][Next][Index][Thread]
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
------------------------------------------------------------------------------
REGISTRATION FORM
=================
Name:
----
Affiliation:
-----------
Do you want to give a talk?
---------------------------
If yes, can we have a short abstract?
Arrival:
-------
Departure:
---------
Shall we reserve a room for you in University House? (23.55 B&B):
----------------------------------------------------------------
Are you a vegetarian?
--------------------
---------------------------------------------------------------------------