Scope and 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.

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). Since 1997 EXPRESS is organized as a conference with a call for papers and a significant attendance from outside the project. From 1998 to 2002 it was held as a satelite of CONCUR and since 2003 it is affiliated with CONCUR.

Events

  • EXPRESS 2011 (co-located to CONCUR 2011 in Aachen; co-chaired by Frank Valencia and Bas Luttik)
  • EXPRESS 2010 (co-located to CONCUR 2010 in Paris; co-chaired by Sibylle Fröschle and Frank Valencia)
  • EXPRESS '09 (co-located with CONCUR '09 in Bologna; co-chaired by Sibylle Fröschle and Daniele Gorla)
  • EXPRESS '08 (co-located with CONCUR '08 in Toronto; co-chaired by Daniele Gorla and Thomas Hildebrandt)
  • EXPRESS '07 (co-located with CONCUR '07 in Lisbon; co-chaired by Roberto Amadio and Thomas Hildebrandt)
  • EXPRESS '06 (co-located with CONCUR '06 in Bonn; co-chaired by Roberto Amadio and Iain Phillips)
  • EXPRESS '05 (co-located with CONCUR '05 in San Francisco; co-chaired by Jos Baeten and Iain Phillips)
  • EXPRESS '04 (co-located with CONCUR '04 in London; co-chaired by Jos Baeten and Flavio Corradini)
  • EXPRESS '03 (co-located with CONCUR '03 in Marseille; co-chaired by Flavio Corradini and Uwe Nestmann)
  • EXPRESS '02 (at Brno University as a satellite of CONCUR '02; co-chaired by Uwe Nestmann and Prakash Panangaden)
  • EXPRESS '01 (at Aalborg University as a satellite of CONCUR '01; co-chaired by Luca Aceto and Prakash Panangaden)
  • EXPRESS '00 (at Pennsylvania State University as a satellite workshop of CONCUR '00; co-chaired by Luca Aceto and Björn Victor)
  • EXPRESS '99 (hosted by the CONCUR '99 conference in Eindhoven; co-chaired by Ilaria Castellani and Björn Victor)
  • EXPRESS '98 (at Nice as a satellite workshop of the CONCUR '98; co-chaired by Ilaria Castellani and Catuscia Palamidessi)
  • EXPRESS '97 (in Santa Margherita Ligure; co-chaired by Catuscia Palamidessi and Joachim Parrow)