[TYPES/announce] CONCUR 2013 - Call for Participation

[Pedro R. D'Argenio]

[We apologise for multiple copies.]

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

                     CONCUR 2013 - Call for Participation

             24th International Conference on Concurrency Theory

                August 27 - 30, 2013, Buenos Aires Argentina

                  http://concur-conferences.org/concur2013

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

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 at 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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130625/d4a956ce/attachment.html>