AIMS OF THE WORKSHOP
The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their relative expressive power.
IMPORTANT DATES:
Deadline for Paper Submission: 1 June 2005
Notification to Authors: 11 July 2005
Final Version of Accepted Papers due: 25 July 2005
INVITED SPEAKERS:
Thomas Henzinger (EPFL, CH)
Glynn Winskel (Univ. of Cambridge, UK)