CALL FOR PAPERS: The 27th International Conference on Concurrency Theory (CONCUR2016)

CALL FOR PAPERS

The 27th International Conference on Concurrency Theory (CONCUR2016)

Quebec City, Canada | 23-26 August 2016 | http://www.concur2016.ulaval.ca/

co-located with the 13th QEST International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS).

The purpose of the CONCUR conferences is to bring together researchers, developers and students in order to contribute to the development and dissemination of the theory of concurrency and its applications. Twenty six years after the first meeting in 1990, it is still the reference annual event for researchers in this field.

Hosted by Universite Laval, this year's edition will be presented from Hotel Chateau Laurier, a step beside the Capital's Old City.

Description

The 27th Conference on Concurrency Theory will take place in Quebec City, from August 23 to 26, 2016. It will be co-located with the 13th QEST and the 14th FORMATS.

The purpose of the CONCUR conferences is to bring together researchers, developers and students in order to contribute to the development and dissemination of the theory of concurrency and its applications. Twenty five years after our first meeting in 1990, it is still the reference annual event for researchers in this field.

The host this year will be Universite Laval. The event will be held near Quebec's Old City, at the Hotel Chateau Laurier.

The main topics for this event are (but are not strictly limited to):

• Basic models of concurrency: abstract machines, domain theoretic models, game theoretic models, categorical models, process algebras, graph transformation systems, coalgebraic models, and Petri nets;
• Logics for concurrency: modal logics, probabilistic and stochastic logics, temporal logics, and resource logics;
• Models of specialized systems: biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service oriented computing, synchronous systems, and cloud computing;
• Verification and analysis techniques for concurrent systems: abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, testing, theorem proving, and type systems;
• Related programming models: distributed, component based, object-oriented, and web services;
• Security issues in concurrent systems.

Important Dates

• Submission of Abstracts: April 11th, 2016
• Submission of Papers: April 18th, 2016
• Notification: June 8th, 2016
• Final version: June 22, 2016

Submissions and Publications

CONCUR solicits high quality papers reporting research results and/or experience reports. All papers must be original, unpublished and not submitted for publication elsewhere. Each paper will undergo a thorough review process.

The CONCUR proceedings will be published in LIPIcs (Leibniz International Proceedings in Informatics), published under an open access license by Dagstuhl Publishing. As usual, the Proceedings will be available before the conference.

Submissions will be in electronic form via EasyChair. The usage of pdflatex and the LIPIcs style file (see here for some formatting tricks) are mandatory: no changes to font size, page geometry, etc. are permitted. Authors are invited to submit a draft of at most 13 pages including references. Submissions not in the correct format or submitted after the deadline will be rejected without further consideration.

If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee and the reviewers.

As usual, for an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference. All papers must be original and unpublished. Simultaneous submission to other conferences or workshops with published proceedings or to journals is not allowed.

2016 CONCUR Committees

Co-Chairs

• Josee Desharnais
• Radha Jagadeesan

Workshop Chair

Coming Soon.

Organizing Chair

• Josee Desharnais

Steering Committee

• Jos Baeten
• Javier Esparza
• Joost-Pieter Katoen
• Kim G. Larsen
• Ugo Montanari
• Scott Smolka

PC Members

• Alessandro Abate
• Gui Agha
• Nathalie Bertrand
• Luis Caires
• Veronique Cortier
• Josee Desharnais
• Yuan Feng
• Alexey Gotsman
• Eric Goubault
• Petr Jancar
• Radha Jagadeesan
• Anna Ingolfsdottir
• Naoki Kobayashi
• Barbara Konig
• Jean Krivine
• Jerome Leroux
• Alberto Lluch Lafuente
• Mohammadreza Mousavi
• John Mullins
• Uwe Nestmann
• Gethin Norman
• Catuscia Palamidessi
• Jun Pang
• Joachim Parrow
• Daniela Petrisan
• Pavel Sobocinski
• Ana Sokolova
• Nadia Tawbi
• Mirco Tribastone
• Ashutosh Trivedi
• Franck van Breugel
• Rob van Glabbeek
• Gianluigi Zavattaro
• Lijun Zhang