[fg-arc] CONCUR 2019 call for participation

[Fokkink, W.J.]

================================

CONCUR 2019 - Call for Participation

Early Registration Deadline: 7 July 2019
================================

https://event.cwi.nl/concur2019/

The 30th International Conference on Concurrency Theory (CONCUR) will take place in Amsterdam, the Netherlands, on 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.

==============
Keynote speakers
==============

Marta Kwiatkowska  (University of Oxford, UK)

Kim G. Larsen  (Aalborg University, Denmark)

Joël Ouaknine  (Max Planck Institute for Software Systems, Germany)

Jaco van de Pol  (Aarhus University, Denmark)

================
High-quality papers
================

CONCUR 2019 features 37 high-quality papers. The list can be found at

https://event.cwi.nl/concur2019/papers.html

===================
Co-located conferences
===================

There are two co-located conferences:

24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019)

17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)

=================
Thematic workshops
=================

There are six co-located workshops on special topics:

3rd International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2019)

Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)

2nd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2019)

4th International Workshop on Timing Performance Engineering for Safety Critical Systems (TIPS 2019)


8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)

9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)

==========
Registration
==========

Register by the 7th of July 2019 to benefit of the early registration fees. Late registration is possible at a higher cost. More information at:

https://event.cwi.nl/concur2019/participation.html

==================
Organizing Committee
==================

General Chair:
Jos Baeten  (CWI, Amsterdam, The Netherlands)

Workshop Chair:
Bas Luttik  (Eindhoven University of Technology, The Netherlands)

Program Co-chairs:
Wan Fokkink  (Vrije Universiteit Amsterdam, The Netherlands)
Rob van Glabbeek  (Data61, CSIRO, Sydney, Australia)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20190614/bb32c2b6/attachment.html>