[TYPES/announce] CONCUR 2013 - Call for Participation

Pedro R. D'Argenio dargenio at famaf.unc.edu.ar
Tue Jun 25 17:09:31 EDT 2013

[We apologise for multiple copies.]


                     CONCUR 2013 - Call for Participation

             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.


- 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:


- 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)


- 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
- Latin American Workshop on Formal Methods (LAFM 2013)
- QEST Tutorials


- IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2013)
- Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2013)
- MEALS Momentum Gathering


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


- Pedro R. D'Argenio (Universidad Nacional de Córdoba, Argentina)
- Hernán Melgratti (Universidad de Buenos Aires, Argentina)


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)


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>

More information about the Types-announce mailing list