CONCUR 2013

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 Cordoba, Argentina)

- Hernan Melgratti (Universidad de Buenos Aires, Argentina)

PROGRAM COMMITTEE

Christel Baier (Technical University of Dresden, DE)

Paolo Baldan (Universita di Padova, IT)

Eike Best (Universitat 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 (Universita 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 Universitat Oldenburg, Germany)

Kim Larsen (Aalborg University, Denmark)

Ugo Montanari (Universita di Pisa, Italy)

Scott Smolka (SUNY, Stony Brook University, USA)