* *CONCUR 2019* * THE 30TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY
August 26-31, 2019, Amsterdam, The Netherlands
CALL FOR AFFILIATED WORKSHOPS
The 30th Conference on Concurrency Theory (CONCUR 2019) will be held from August 26 until August 31, 2019 in Amsterdam, The Netherlands. It will be co-located with the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019).
Researchers and practitioners are invited to submit proposals for workshops to be affiliated to CONCUR 2019, on topics related to concurrency theory and its applications. Example topics include: semantics, logics, verification techniques for concurrent systems, cross-fertilization between industry and academia and opportunities for young and prospective researchers.
Past CONCUR conferences have been accompanied by successful workshops on a variety of topics, such as formal and foundational methods, models of systems (biological, timed), security issues, semantical issues, and verification methods. You can have an idea of the past workshops by browsing the pages of the past editions of CONCUR.
The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application.
The workshops take place on Monday August 26, 2019 and Saturday August 31, 2019.
Proposals should include:
* The name and the preferred date of the proposed workshop (August 26 or 31, 2019)
* A short description of the workshop (500 words max)
* If applicable, a description of past versions of the workshop, including dates,
organisers, submission and acceptance counts, and attendance
* The expected number of participants
* The name and short CV of the organiser(s)
* The publication plan (only invited speakers, no published proceedings,
pre-/post-proceedings published with EPTCS/ENTCS/...).
The CONCUR organisation offers:
* a link from the CONCUR web site;
* setup of meeting space, and related equipment,
* coffee-breaks and lunch for the participants on the day of the workshop,
* on-line and on-site registration to the workshop,
* free workshop registrations for an invited speaker and one or two organisers.
The main responsibility for organising the workshop goes to the workshop organiser(s), including:
* workshop publicity (possibly including call for papers, submission and review process)
* scheduling workshop activities in collaboration with the CONCUR workshop chair.
Submission of workshop proposals:
February 1, 2019 (but we greatly appreciate if you announce your proposal to us as soon as possible).
February 15, 2019
SUBMISSION TO: Bas Luttik (s.p.luttik at tue.nl)
For more information, please contact me via email (s.p.luttik at tue.nl)
The CONCUR 2019 workshop chair,
Eindhoven University of Technology
Liebe D-CONler / Dear Concurrency Theorists!
As already announced in the previous email, the next edition of D-CON
will take place at Technical University of Munich on March 14th - March
The web page of D-CON 2018 can be found under:
We are very happy to announce two invited talks by:
- Filip Mazowiecki
- Karoliina Lehtinen
With this email, we would like to ask for your contributions to D-CON 2019:
If you like to present your most-recent work, organize a discussion or
breakout session, give a tutorial or whatever else comes to your mind,
please send an email, including a title and a short abstract, to
dcon(a)model.in.tum.de. The deadline for proposals is December 15th.
We are looking forward to seeing you at D-CON 2019!
Javier, Philipp, Stefan.
CONCUR 2019 - Call for Papers
The 30th International Conference on Concurrency Theory
Amsterdam, The Netherlands, 27-30 August 2019
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.
Marta Kwiatkowska - University of Oxford (UK)
Kim G. Larsen - Aalborg University (Denmark)
Joel Ouaknine - Max Planck Institute for Software Systems (Germany)
Jaco van de Pol - Aarhus University (Denmark)
17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)
Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)
8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)
4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019)
9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)
All dates are AoE.
April 15, 2019
April 22, 2019
June 14, 2019
Camera ready copy:
July 3, 2019
August 27-30, 2019
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.
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.
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.
The CONCUR 2019 proceedings will be published by LIPIcs.
Papers must be submitted electronically as PDF files via EasyChair.
Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style.
Jos Baeten (CWI, Amsterdam, The Netherlands)
Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands)
Rob van Glabbeek (Data61, CSIRO, Sydney, Australia)
Bas Luttik (Eindhoven University of Technology, The Netherlands)
A special issue dedicated to selected papers from CONCUR'2019 will appear in Logical Methods in Computer Science.