New Trends in Semantics

Satellite Workshop to ICALP'97


4-5 July 1997, Bologna, Italy

Sponsored by Consiglio Nazionale delle Ricerche

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.

Invited speakers: Samson Abramsky (LFCS, Edinburgh)
Vincent Danos (Paris VII)
John Power (LFCS, Edinburgh)
Davide Sangiorgi (INRIA, Sophia-Antipolis).

Future announcements will be distributed electronically only to those who will have so requested.

Submissions

Hotel information

The provisional programme

A list of participants

Talks offered as of today

The Workshop will take place in Aula Vitali on the first floor of the

Department of Mathematics
Università di Bologna
Piazza di Porta S. Donato 5, Bologna

Tel: +39 (0)51 354402
Fax: +39 (0)51 354490

Organizing committee: Andrea Asperti (Bologna)
Eugenio Moggi (Genova)
Giuseppe Rosolini (Genova).

For more information, write to Renza Morino or Pino Rosolini

Last updated: April 24, 1997 by Pino Rosolini