|| Programme | Accepted Papers | Scope | Invited Speakers | Call for Papers (txt, html) | Important Dates | Programme Committee | History]|
The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. Their focus has traditionally been 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, and rewrite systems) on the basis of their relative expressive power. The EXPRESS workshop series has run successfully since 1994 and over the years this focus has become broadly construed. Since EXPRESS'09 we have made this development "official": we are now aiming to bring together researchers who are interested in the expressiveness and comparison of formal models that broadly relate to concurrency. In particular, this includes emergent fields such as logic and interaction, game-theoretic models, and service-oriented computing.
Wan Fokkink (Vrije Universiteit Amsterdam, NL) - joint invited speaker with SOS 2011
Björn Victor (Uppsala University, SE).
Bas Luttik (Eindhoven University of Technology, NL)
Frank Valencia (LIX, CNRS & Ecole Polytechnique, F)
Filippo Bonchi (CNRS & ENS Lyon, FR)
Sibylle Fröschle (Universität Oldenburg, DE)
Rob van Glabbeek (NICTA, Sydney, AUS)
Cosimo Laneve (University of Bologna, IT)
Sergio Maffeis (Imperial College London, UK)
Faron Moller (Swansea University, UK)
Philippe Schnoebelen (LSV, CNRS & ENS Cachan, FR)
Jiri Srba (Aalborg University, DK)
Jan Strejček(Masaryk University, Brno, CZ)
Alwen Tiu (ANU, Canberra, AUS)
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, co-chaired by Luca Aceto and Björn Victor. The EXPRESS'01 workshop was held at 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 in Marseille and was co-chaired by Flavio Corradini and Uwe Nestmann. The EXPRESS '04 workshop was co-located with CONCUR 2004 in London and was co-chaired by Jos Baeten and Flavio Corradini. The EXPRESS '05 workshop was co-located with CONCUR 2005 in San Francisco and was co-chaired by Jos Baeten and Iain Phillips. The EXPRESS '06 workshop was co-located with CONCUR 2006 in Bonn and was co-chaired by Roberto Amadio and Iain Phillips. The EXPRESS '07 workshop was co-located with CONCUR 2007 in Lisbon and was co-chaired by Roberto Amadio and Thomas Hildebrandt. The EXPRESS '08 workshop was co-located with CONCUR 2008 in Toronto and was co-chaired by Daniele Gorla and Thomas Hildebrandt. The EXPRESS '09 workshop was co-located with CONCUR 2009 in Bologna and was co-chaired by Sibylle Fröschle and Daniele Gorla. The EXPRESS '10 workshop was co-located with CONCUR 2010 in Paris and was co-chaired by Sibylle Fröschle and Frank Valencia.
|webadmin of this site: andresaristi at lix dot polytechnique dot fr|