Formal Methods for Mobility

Satellite workshop of CONCUR

Marseille, Sunday, September 7th, 2003

Scope

This is the final meeting of a French Project funded by CNRS on Formal Methods for Mobility. The official language of the workshop is English, attendance is open but presentations are by invitation only. You can send your talk’s proposals by email to the local organizer (dalzilio@cmi.univ-mrs.fr).

Invited Speakers

Martin Hofmann	(München)
Vladimiro Sassone	(Univ. of Sussex)	On 2-categorical analysis of bisimulation congruence

Programme

09:15-10:15 10:15-10:30	Reinhard Wilhelm, invited speaker of FORMATS Coffee break
10:20-10:30	Opening
10:30-11:30	Martin Hofmann	Invited Talk
11:30-12:05	Patrick Baillot	On Soft Lambda-calculus and PTIME computation.
12:10-12:40	Etienne Lozes	Minimality results for the spatial logics
12:40-14:30	Lunch break
14:30-15:30	Vladimiro Sassone	Invited Talk On 2-categorical analysis of bisimulation congruence.
15:30-16:00	Coffee break
16:00-16:30	Silvano Dal-Zilio	A Logic you Can Count On!

Programme Committee

Patrick Baillot	(Paris)
Giuseppe Castagna	(Paris)
Silvano Dal Zilio	(Marseille, chair)
Vincent Danos	(Paris)
Daniel Hirschkoff	(Lyon)

Organization

To attend the workshop, please send an email to the local organizer (dalzilio@cmi.univ-mrs.fr). The registration is free but a small fee may be asked for the lunch and coffee breaks. The meeting will take place on the campus of the Université de Provence, near the Saint-Charles railway station. You will additional information on the home page of CONCUR 03.