CONCUR 2017

28th International Conference on Concurrency Theory (CONCUR 2017)

September 5-8, 2017 | Berlin, Germany | https://www.concur2017.tu-berlin.de/

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.

TUTORIALS

- Alastair Donaldson (Imperial College London, UK)
- Pawel Sobocinski (University of Southampton, UK)
- Viktor Vafeiadis (Max Planck Institute for Software Systems, Germany)

INVITED SPEAKERS

- Hongseok Yang (University of Oxford, UK)
- Azahdeh Farzan (University of Toronto, Canada)
- Madan Musuvathi (Microsoft Research, USA)
- Jean-Francois Raskin (Universite libre de Bruxelles, Belgium)

CO-LOCATED EVENTS

• 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017)
• 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017)
• 14th European Performance Engineering Workshop (EPEW 20170

WORKSHOPS

• EXPRESS/SOS
• MeMo
• RADICAL
• TRENDS
• YR-CONCUR

TOPICS

Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to):

• Basic models of concurrency such as abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems;
• Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics;
• Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis;
• Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols.
• Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented.

PROGRAM CHAIRS

• Roland Meyer (Technische Universitat Braunschweig, Germany)
• Uwe Nestmann (Technische Universitat Berlin, Germany)

PROGRAM COMMITTEE

• Jade Alglave (University College London, UK)
• Mohamed Faouzi Atig (Uppala Universitet, Sweden)
• Paolo Baldan (Universita degli Studi di Padova, Italy)
• Johannes Borgstrom (Uppala Universitet, Sweden)
• Luis Caires (FCT / Universidade Nova de Lisboa, Portugal)
• Pedro R. D'Argenio (Universidad Nacional de Cordoba, Argentina)
• Josee Desharnais (Universite Laval, Canada)
• Constantin Enea (Universite Paris Diderot (Paris 7), France)
• Javier Esparza (Technische Universitat Munchen, Germany)
• Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands)
• Stefan Goller (Ecole normale superieure de Cachan, France)
• Thomas Hildebrandt (IT University of Copenhagen, Denmark)
• Naoki Kobayashi (The University of Tokyo, Japan)
• Antonin Kucera (Masaryk University, Czech Republic)
• Jerome Leroux (Centre national de la recherche scientifique, France)
• Roland Meyer (Technische Universitat Braunschweig, Germany)
• K Narayan Kumar (Chennai Mathematical Institute, India)
• Uwe Nestmann (Technische Universitat Berlin, Germany)
• Catuscia Palamidessi (INRIA - l'Ecole Polytechnique, France)
• Alexander Rabinovich (Tel Aviv University, Israel)
• Davide Sangiorgi (Universita di Bologna, Italy)
• Pawel Sobocinski (University of Southampton, UK)
• Vasco Thudicum Vasconcelos (Universidade de Lisboa, Portugal)
• Walter Vogler (Universitat Augsburg, Germany)
• Tomas Vojnar (Brno University of Technology, Czech Republic)
• Igor Walukiewicz (Universite Bordeaux, France)
• Heike Wehrheim (Universitat Paderborn, Germany)
• Josef Widder (Technische Universitat Wien, Austria)
• Thomas Wies (New York University, USA)
• Gianluigi Zavattaro (Universita di Bologna, Italy)
• Lijun Zhang (Chinese Academy of Sciences, China)
• Rob van Glabbeek (CSIRO, Australia)

STEERING COMMITTEE

• Jos Baeten (Centrum Wiskunde & Informatica (CWI), The Netherlands)
• Pedro R. D'Argenio (Universidad Nacional de Cordoba, Argentina)
• Javier Esparza (Technische Universitat Munchen, Germany)
• Joost-Pieter Katoen (RWTH Aachen University, Germany)
• Kim G. Larsen (Aalborg University, Denmark)
• Ugo Montanari (Universita di Pisa, Italy)
• Catuscia Palamidessi (Ecole Polytechnique, France)