<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p></p>
<div>=============================<br>
CONCUR 2019 - Call for Papers<br>
=============================<br>
<br>
https://event.cwi.nl/concur2019/<br>
<br>
The 30th International Conference on Concurrency Theory<br>
<br>
Amsterdam, The Netherlands, 27-30 August 2019<br>
<br>
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.<br>
<br>
<br>
INVITED SPEAKERS<br>
<br>
Marta Kwiatkowska - University of Oxford (UK)<br>
Kim G. Larsen - Aalborg University (Denmark)<br>
Joel Ouaknine - Max Planck Institute for Software Systems (Germany)<br>
Jaco van de Pol - Aarhus University (Denmark)<br>
<br>
<br>
CO-LOCATED CONFERENCES<br>
<br>
24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019)<br>
17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)<br>
<br>
CO-LOCATED WORKSHOPS<br>
<br>
3rd International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2019)<br>
Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)<br>
2nd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2019)<br>
4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019)<br>
8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)<br>
9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)<br>
<br>
<br>
IMPORTANT DATES<br>
<br>
All dates are AoE.<br>
<br>
Abstract submission:<br>
April 15, 2019<br>
<br>
Paper submission:<br>
April 22, 2019<br>
<br>
Notification:<br>
June 14, 2019<br>
<br>
</div>
<div>Camera ready copy:<br>
July 3, 2019<br>
<br>
Conference:<br>
August 27-30, 2019<br>
<br>
<br>
TOPICS<br>
<br>
Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to):<br>
<br>
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;<br>
Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics;<br>
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;<br>
Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols;<br>
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.<br>
<br>
<br>
PAPER SUBMISSION<br>
<br>
CONCUR 2019 solicits high quality papers reporting research results and/or experience related to the topics mentioned below. All papers must be original, unpublished, and not submitted for publication elsewhere.<br>
<br>
Each paper will undergo a thorough review process. The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.<br>
<br>
The CONCUR 2019 proceedings will be published by LIPIcs.<br>
<br>
Papers must be submitted electronically as PDF files via EasyChair via<br>
<br>
https://www.easychair.org/conferences/?conf=concur2019<br>
<br>
Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style.<br>
<br>
<br>
SPECIAL ISSUE<br>
<br>
A special issue dedicated to selected papers from CONCUR'2019 will appear in Logical Methods in Computer Science.<br>
<br>
<br>
ORGANIZATION COMMITTEE<br>
<br>
General Chair:<br>
Jos Baeten (CWI, Amsterdam, The Netherlands)<br>
<br>
Program Co-chairs:<br>
Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands)<br>
<div> Rob van Glabbeek (Data61, CSIRO, Sydney, Australia)<br>
<br>
Workshop Chair:<br>
Bas Luttik (Eindhoven University of Technology, The Netherlands)<br>
<br>
<br>
PROGRAM COMMITTEE<br>
<br>
Christel Baier, TU Dresden (Germany)<br>
Jiri Barnat, Masaryk University, Brno (Czech Republic)<br>
Benedikt Bollig, CNRS, Paris (France)<br>
Borzoo Bonakdarpour, Iowa State University (USA)<br>
Ilaria Castellani, INRIA Sophia Antipolis (France)<br>
Taolue Chen, Birkbeck, University of London (UK)<br>
Rance Cleaveland, University of Maryland (USA)<br>
Yuxin Deng, East China Normal University, Shanghai (China)<br>
Josée Desharnais, Université Laval (Canada)<br>
Adrian Francalanza, University of Malta (Malta)<br>
Wan Fokkink (co-chair), Vrije Universiteit Amsterdam (The Netherlands)<br>
Ansgar Fehnker, University of Twente (The Netherlands)<br>
David de Frutos-Escrig, Universidad Complutense de Madrid (Spain)<br>
Yuxi Fu, Shanghai Jiao Tong University (China)<br>
Rob van Glabbeek (co-chair), CSIRO, Sydney (Australia)<br>
Alexey Gotsman, IMDEA Software Institute, Madrid (Spain)<br>
Radu Grosu, TU Wien (Austria)<br>
Ichiro Hasuo, National Institute of Informatics, Tokyo (Japan)<br>
Marieke Huisman, University of Twente (The Netherlands)<br>
Barbara König, University of Duisburg-Essen (Germany)<br>
Gerald Lüttgen, University of Bamberg (Germany)<br>
Bas Luttik, Eindhoven University of Technology (The Netherlands)<br>
Anca Muscholl, Université Bordeaux (France)<br>
Uwe Nestmann, TU Berlin (Germany)<br>
Jun Pang, University of Luxembourg (Luxembourg)<br>
Jean-François Raskin, Université Libre de Bruxelles (Belgium)<br>
Grigore Rosu, University of Illinois at Urbana-Champaign (USA)<br>
Jiri Srba, Aalborg University (Denmark)<br>
Simone Tini, University of Insubria (Italy)<br>
Frank Valencia, École Polytechnique de Paris (France)<br>
James Worrell, University of Oxford (UK)<br>
Gianluigi Zavattaro, University of Bologna (Italy)<br>
</div>
</div>
<p></p>
</div>
</body>
</html>