Call for contributions
[An HTML version of the Call for Contributions is available at
Apologies if you receive copies of the message.]
Call for Contributions
NEW TRENDS IN SEMANTICS
Satellite Workshop to ICALP '97
July 4-5, 1997
The purpose of the workshop is to gather researchers in the field of
semantics of programming languages and to investigate new
developments. Special emphasis will be given to game semantics.
Contributions are invited in the form of a short abstract on topics
related to semantics of computations. We welcome contributions about
novel applications to semantics from areas such as type theory,
category theory, domain theory, logic, as well as others.
Invited speakers are
Samson Abramsky, LFCS, Edinburgh
Vincent Danos, Paris VII
Andre` Joyal, Univ. de Quebec, Montreal
Davide Sangiorgi, INRIA, Sophia-Antipolis
The next announcements will be distributed electronically only to
those who will have so requested. Please, send the appended form to
Fill in the form appended below with information about title and
abstract, and send it, preferably by e-mail, to
by May 22, 1997. A provisional programme will be drawn and distributed
on May 25, before the deadline for early registration at ICALP, trying
to include as many talks as time permits. The programme will then be
finalized by May 30 -- we intend to allow for late submissions if
slots in the programme remain available after May 25.
Andrea Asperti (Bologna) email@example.com
Eugenio Moggi (Genova) firstname.lastname@example.org
Giuseppe Rosolini (Genova) email@example.com
Information about the workshop or about accomodation in Bologna can be
found at the URL above.
For further information, please contact G. Rosolini or Renza Morino
R. Morino G. Rosolini
tel: +39 (0)10 3536965 tel: +39 (0)10 3536630
fax: +39 (0)10 3536960 fax: +39 (0)10 3536699
email: firstname.lastname@example.org email: email@example.com
address: DIMA, Univ. di Genova, via Dodecaneso 35, 16146 Genova, Italy
---------MAIL ASAP TO firstname.lastname@example.org--------------
URL (if available):
I would like to receive future announcements about the workshop.
I would like to give a talk entitled:
which should last (15/25/40 minutes, please specify).