Friday, July 6, 2012

Call for participation: CONCUR 2012 - 23th International Conference on Concurrency Theory

[We apologise for multiple copies.]

==========================================
FIRST CALL FOR PARTICIPATION - CONCUR 2012

==========================================

23th International Conference on Concurrency Theory

3rd to 8th September 2012
Newcastle upon Tyne, United Kingdom
http://conferences.ncl.ac.uk/concur-2012/

CONCUR 2012 is an official event of The Alan Turing Year http://www.mathcomp.leeds.ac.uk/turing2012/

EARLY REGISTRATION until 3rd August 2012 !

==========================================
CO-LOCATED EVENTS

- 21st International Workshop on Power And Timing Modeling, Optimization
and Simulation (PATMOS 2012)
4th to 6th September

- 7th International Symposium on Trustworthy Global Computing (TGC 2012)
7th and 8th September

==========================================
AFFILIATED WORKSHOPS
http://conferences.ncl.ac.uk/concur-2012/workshops.html

- Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS 2012)
3rd September

- Games for Design, Verification and Synthesis (GASICS 2012)
3rd September

- Hybrid Systems and Biology (HSB 2012)
3rd September

- Trustworthy Cyber-Physical Systems (TCPS)
3rd September

- Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2012)
3rd September

- Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2012)
8th September

- Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2012)
8th September

- Trends in Concurrency Theory and IFIP WG 1.8 Meeting (TRENDS 2012)
8th September

==========================================
REGISTRATION

Please visit: http://conferences.ncl.ac.uk/concur-2012/registration.html

Early registration deadline: 3rd August 2012

For registration-related queries, including any visa letter requirements, please contact: Joan.Atkinson@ncl.ac.uk

==========================================
CONCUR 2012 INVITED SPEAKERS

Jos Baeten: Turing meets Milner
Gordon Plotkin: Concurrency and the algebraic theory of effects Brian Randell: A Turing trail
Peter Sewell: False concurrency and strange-but-true machines

===================================
STEERING COMMITTEE

Roberto Amadio, France
Jos Baeten, The Netherlands
Eike Best, Germany
Kim Larsen, Denmark
Ugo Montanari, Italy
Scott Smolka, USA

===================================
PROGRAMME CHAIRS

Maciej Koutny, UK
Irek Ulidowski, UK

===================================
PROGRAMME COMMITTEE

Luca Aceto, Iceland
Luca de Alfaro, USA
Eike Best, Germany
Tomás Brázdil, Czech Republic
Franck van Breugel, Canada
Roberto Bruni, Italy
Luis Caires, Portugal
Luca Cardelli, UK
Gabriel Ciobanu, Romania
Pedro R. D'Argenio, Argentina
Philippe Darondeau, France
Rocco De Nicola, Italy
Wan Fokkink, The Netherlands
Paul Gastin, France
Rob van Glabbeek, Australia
Keijo Heljanko, Finland
Jane Hillston, UK
Jetty Klein, The Netherlands
Maciej Koutny, UK
Barbara König, Germany
Cosimo Laneve, Italy
Gavin Lowe, UK
Mohammadreza Mousavi, The Netherlands
Uwe Nestmann, Germany
Catuscia Palamidessi, France
Wojciech Penczek, Poland
Iain Phillips, UK
Shaz Qadeer, USA
Jean-Francois Raskin, Belgium
Philippe Schnoebelen, France
Irek Ulidowski, UK
Björn Victor, Sweden
Shoji Yuen, Japan

===================================
ORGANIZING COMMITTEE

Joan Atkinson
Dee Carr
Roy Crole
Maciej Koutny
Victor Khomenko
Claire Smith
Jason Steggles
Emilio Tuosto
Irek Ulidowski
===================================