![]() |
|
||||||
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 ] |
Program Co-ChairsRoberto Amadio(Université Paris 7, France) Iain Phillips (Imperial College London, England) Program committeeRoberto Amadio (co-chair),Université Paris 7, FR Michele Bugliesi, Università Ca' Foscari, IT Nadia Busi, Università di Bologna, IT Sibylle Fröschle, Warsaw University, PL Antonin Kucera, Masaryk University in Brno, CZ Bas Luttik, Technical University Eindhoven, NL Michael Mislove, Tulane University, US Uwe Nestmann, TU Berlin, DE Joel Ouaknine, University of Oxford, UK Catuscia Palamidessi, INRIA Futurs, LIX École Polytechnique, FR Iain Phillips (co-chair), Imperial College London, UK Philippe Schnoebelen, CNRS Cachan, FR Pawel Sobocinski, University of Cambridge, UK Mariëlle Stoelinga, University of Twente, NL Additional informationFurther information will appear on this web page. |
Important dates
Submission InstructionsSubmissions may be of two forms:
Publication of the ProceedingsThe proceedings will be published after the workshop in the ENTCS (Electronic Notes in Theoretical Computer Science). A printed preliminary version of the proceedings will be available at the workshop. Authors will be asked to prepare their final version using the ENTCS-style format.
|
webadmin of this site: iccp "at" doc.ic.ac.uk |