|
|
||||||
|
Invited speakers: Express-Infinity-SOS invited speaker:
Robin Milner (Cambridge, UK) Bigraphs, multi-local names and confluence Express invited speaker: Hagen Völzer (Lübeck, Germany) When a system is fairly correct | |||||||
| [ Home | Invited Talks | Call for Papers | Accepted Papers | Final Programme | Online Publication ] | |||||||
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.
The EXPRESS workshops were originally held as meetings of the HCM project EXPRESS, which was active with the same focus from January 1994 till December 1997. The first three workshops were held respectively in Amsterdam (1994, chaired by Frits Vaandrager), Tarquinia (1995, chaired by Rocco De Nicola), and Dagstuhl (1996, co-chaired by Ursula Goltz and Rocco De Nicola). EXPRESS'97, which took place in Santa Margherita Ligure and was co-chaired by Catuscia Palamidessi and Joachim Parrow, was organized as a conference with a call for papers and a significant attendance from outside the project. EXPRESS'98 was held as a satellite workshop of the CONCUR'98 conference in Nice, co-chaired by Ilaria Castellani and Catuscia Palamidessi, and like on that occasion EXPRESS'99 was hosted by the CONCUR'99 conference in Eindhoven, co-chaired by Ilaria Castellani and Björn Victor. The EXPRESS'00 workshop was held as a satellite workshop of CONCUR 2000, Pennsylvania State University, USA, co-chaired by Luca Aceto and Björn Victor. The EXPRESS'01 workshop was held at BRICS, Aalborg University as a satellite of CONCUR'01 and was co-chaired by Luca Aceto and Prakash Panangaden. The EXPRESS'02 workshop was held at Brno University as a satellite of CONCUR'02 and was co-chaired by Uwe Nestmann and Prakash Panangaden. The EXPRESS'03 workshop was co-located with CONCUR 2003, Marseille, France, co-chaired by Flavio Corradini and Uwe Nestmann. The EXPRESS '04 workshop was co-located with CONCUR 2004, London, Great Britain, co-chaired by Jos Baeten and Flavio Corradini. The EXPRESS '05 workshop was co-located with CONCUR 2005, San Francisco, USA, co-chaired by Jos Baeten and Iain Phillips.
| webadmin of this site: iccp "at" doc.ic.ac.uk |