CONCUR 2013

CONCUR 2013

24th International Conference on Concurrency Theory

August 27 - 30, 2013, Buenos Aires Argentina

 

The purpose of the CONCUR conferences is to bring together researchers,

developers, and students in order to advance the theory of concurrency,

and promote its applications.

 

INVITED SPEAKERS

- Lorenzo Alvisi (University of Texas Austin, USA), "Reasoning with MAD

  Distributed Systems"

- Joost-Pieter Katoen (RWTH Aachen University, Germany), "Concurrency meets

  Probability: Theory and Practice"

- Philippe Schnoebelen (LSV, CNRS & ENS de Cachan, France), "The Power of

  Well-Structured Systems"

- Reinhard Wilhelm (Saarland University, Germany), "Impact of Resource

  Sharing on Performance and Performance Prediction: A Survey"

 

A list of accepted paper can be found at: http://concur-conferences.org/concur2013/accepted.php

 

CO-LOCATED EVENTS

- 10th Intl. Conference on Quantitative Evaluation of SysTems (QEST 2013)

- 11th Intl. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS 2013)

- 8th Intl. Symposium on Trustworthy Global Computing (TGC 2013)

 

AFFILIATED PRE-CONCERENCE EVENTS (August 26):

- Combined 20th International Workshop on Expressiveness in Concurrency and

  10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013)

- 9th International Workshop on Developments in Computational Models (DCM 2013)

- Latin American Workshop on Formal Methods (LAFM 2013)

- QEST Tutorials

 

AFFILIATED POST-CONCERENCE EVENTS (August 31):

- IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2013)

- Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2013)

- MEALS Momentum Gathering

 

REGISTRATION

Please visit: http://concur-conferences.org/concur2013/registration.php

 

Early registration deadline: July 20, 2013

 

For registration-related queries, including any visa letter requirements,

please contact: concur2013@cs.famaf.unc.edu.ar

 

 

PROGRAM CHAIRS

- Pedro R. D'Argenio (Universidad Nacional de Córdoba, Argentina)

- Hernán Melgratti (Universidad de Buenos Aires, Argentina)

 

PROGRAM COMMITTEE

Christel Baier (Technical University of Dresden, DE)

Paolo Baldan (Universitá di Padova, IT)

Eike Best (Universität Oldenburg, DE)

Patricia Bouyer (LSV, CNRS & ENS Cachan, FR)

Tomas Brazdil (Masaryk University, CZ)

Franck van Breugel (York University, CA)

Krishnendu Chatterjee (IST, AT)

Rance Cleaveland (University of Maryland, US)

Wan Fokkink (Vrije Universiteit Amsterdam, NL)

Daniele Gorla (University of Rome "La Sapienza", IT)

Holger Hermanns (Saarland University, DE)

Radha Jagadeesan (DePaul University, US)

Bengt Jonsson (Uppsala University, SE)

Kim G. Larsen (Aalborg University, DK)

Ugo Montanari (Universitá di Pisa, IT)

Prakash Panangaden (McGill University, CA)

David Parker (University of Birmingham, UK)

Frank Pfenning (Carnegie Mellon University, US)

Nir Piterman (University of Leicester, UK)

Shaz Qadeer (Microsoft Research, US)

Jean-Francois Raskin (Universit Libre de Bruxelles, BE)

Jan Rutten (CWI, NL)

Davide Sangiorgi (University of Bologna, IT)

Geoffrey Smith (Florida International University, US)

P.S. Thiagarajan (National University of Singapore, SG)

Frits Vaandrager (Radboud University Nijmegen, NL)

Frank Valencia (CNRS, Ecole Polytechnique de Paris, FR)

Rob Van Glabbeek (NICTA, AU)

Nobuko Yoshida (Imperial College London, UK)

Lijun Zhang (Technical University of Denmark, DK)

 

STEERING COMMITTEE

Roberto Amadio (PPS, Universite Paris Diderot - Paris 7,  France)

Jos Baeten (Centrum Wiskunde & Informatica (CWI), The Netherlands)

Eike Best (Carl von Ossietzky Universität Oldenburg, Germany)

Kim Larsen (Aalborg University, Denmark)

Ugo Montanari (Università di Pisa, Italy)

Scott Smolka (SUNY, Stony Brook University, USA)