[Apologies if you receive multiple copies of this message] =================================== CALL FOR PAPERS - CONCUR 2014 =================================== 25th International Conference on Concurrency Theory September 1-6, 2014 - Rome, Italy http://concur2014.org 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. IMPORTANT DATES Abstract Submission: April 14, 2014 Paper Submission: April 19, 2014 Paper Notification: June 9, 2014 INVITED SPEAKERS - Javier Esparza (TU Muenchen, DE) - Jane Hillston (University of Edinburgh, UK) - Catuscia Palamidessi (INRIA Saclay and LIX, FR), joint with TGC - Vasco Vasconcelos (University of Lisbon, PT) 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, categorical models, process algebras, graph transformation systems, coalgebraic models and Petri nets; - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; - Models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems; - 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, and type systems; - Related programming models such as distributed, component-based, object-oriented, and web services; - Security issues in concurrent systems. =================================== PAPER SUBMISSION CONCUR 2014 solicits high quality papers reporting research results and/or experience reports related to the topics mentioned above. All papers must be original, unpublished, and not submitted for publication elsewhere. As an exception, concurrent submissions to CONCUR 2014 and TGC 2014 are allowed, and in fact encouraged for those paper that may potentially enhance both conferences. Authors of such double submissions should identify them to the Program Chairs at the time of submission (by choosing the "Regular paper submitted also to TGC" category in the EasyChair site). Reviews may be shared between CONCUR 2014 and TGC 2014. CONCUR's timeline is ahead of TGC's; submissions accepted by CONCUR will be considered automatically withdrawn from TGC. Each paper will undergo a thorough review process. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Contributions must be submitted as PDF files. They should not exceed 15 pages in length and comply the Springer LNCS style. Papers should be submitted electronically using EasyChair online submission system (https://www.easychair.org/conferences/?conf=concur2014) The CONCUR 2014 proceedings will be published by Springer in the ArCoSS subseries of LNCS. The proceedings will be available at the conference. =================================== CO-LOCATED EVENTS - TGC 2014 7th Symposium on Trustworthy Global Computing (Sep 5-6) - IFIP-TCS 2014 8th IFIP Conference on Theoretical Computer Science (Sep 1-3) WORKSHOPS - EXPRESS/SOS 2014 Combined 21st Workshop on Expressiveness in Concurrency and 11th Workshop on Structured Operational Semantics (Sep 1) - BEAT 2014 3rd International Workshop on Behavioural Types (Sep 1) - FOCLASA 2014 13th Workshop on Foundations of Coordination Languages and Self-Adaptation (Sep 6) - PV 2014 Workshop on Parameterized Verification (Sep 6) ======================= PROGRAM CHAIRS - Paolo Baldan (Universita' di Padova, IT) - Daniele Gorla (Universita' di Roma "La Sapienza", IT) PROGRAM COMMITTEE - Luca Aceto (Reykjavik University, IS) - Christel Baier (TU Dresden, DE) - Luis Caires (Universidade Nova de Lisboa, PT) - David de Frutos Escrig (Universidad Complutense de Madrid, ES) - Stephanie Delaune (ENS Cachan, FR) - Wan Fokkink (Vrije Universiteit Amsterdam and CWI, NL) - Yuxi Fu (Shanghai Jiaotong University, CN) - Fabio Gadducci (Universita' di Pisa, IT) - Ursula Goltz (TU Braunschweig, DE) - Rachid Guerraoui (EPFL, CH) - Joshua Guttman (Worcester Polytechnic Institute, USA) - Keijo Heljanko (Aalto University, FI) - Bartek Klin (University of Warsaw, PL) - Barbara Koenig (University of Duisburg-Essen, DE) - Antonin Kucera (University of Brno, CZ) - Radu Mardare (Aalborg University, DK) - Andrzej Murawski (University of Warwick, UK) - K. Narayan Kumar (Chennai Mathematical Institute, IN) - Madhusudan Parthasarathy (University of Illinois, USA) - Anna Philippou (University of Cyprus, CY) - Shaz Qadeer (Microsoft Research, USA) - Arend Rensink (University of Twente, NL) - Peter Selinger (Dalhousie University, CA) - Alwen Tiu (Nanyang Technological University, SP) - Daniele Varacca (Paris Diderot, FR) - Bjorn Victor (Uppsala University, S) - James Worrell (Oxford University, UK) WORKSHOP CHAIR - Silvia Crafa (Universita' di Padova, IT) STEERING COMMITTEE - Jos Baeten (CWI Amsterdam, NL) - Javier Esparza (TU Muenchen, DE) - Joost-Pieter Katoen (RWTH Aachen University, DE) - Kim G. Larsen (Aalborg University, DK) - Ugo Montanari (Universit? di Pisa, IT) - Scott Smolka (SUNY Stony Brook, US) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]