New Trends in Semantics
            Satellite Workshop to  ICALP'97
             July 4-5, 1997, Bologna, Italy 

PROVISIONAL PROGRAMME

Friday, July 4

8.30 Samson Abramsky 
Game Semantics: a review of some recent developments 

9.30 Kalyan S. Basu 
Simplicial sets as sequential geometries 

10.15 BREAK

10.45 Ugo Montanari 
Tiles for Coordination 

11.30 Gian Luca Cattani 
Presheaf Models over Recursively Defined Path Categories 

12.15 LUNCH

14.30 Vincent Danos 
Games semantics: primitive operations 

15.30 Stefano Baratella 
A parallel game semantics for linear logic 

16.00 BREAK

16.30 Harry Mairson 
Parallel beta reduction is not elementary recursive 

17.30 Olivier LY 
On Logical Hierarchy of Graphs 

18.00 END

Saturday, July 5

8.30 John Power 
Weak higher-dimensional categories

9.30 RFC Walters 
Span(Graph): A Categorical Algebra of Transition Systems 

10.15 BREAK

10.45 Davide Sangiorgi 
Symmetries and dualities in the pi-calculus 

11.45 Jan Rutten 
Recent developments in coalgebra 

12.15 LUNCH

14.30 Eugenio Moggi 
Functor categories and partial evaluation 

15.00 Lars Birkedal
Equilogical Spaces and the Exact Completion of Top_0

15.30 Giuseppe Rosolini 
Closed free exact categories 

16.00 END


LOCATION

The Workshop will take place at the

        Department of Mathematics
        Universita` di Bologna
        Piazza di Porta S. Donato 5, Bologna

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

For more information, see that of ICALP'97, or 
write to Renza Morino (morino@dima.unige.it)
or Pino Rosolini (rosolini@disi.unige.it).

See you soon!
Andrea Asperti, Eugenio Moggi, Pino Rosolini