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: [email protected]

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

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

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