9th Young Researchers Workshop on Concurrency Theory

A satellite workshop of CONCUR 2019

August 31th, 2019

Amsterdam, Netherlands

Aims and Objectives

This workshop aims at providing a platform for PhD students and young researchers who recently completed their doctoral studies, to exchange new results related to concurrency theory and receive feedback on their research. Focus is on informal discussions. Excellent master students working on concurrency theory are also encouraged to contribute.


YR-CONCUR 2019 is a satellite workshop of CONCUR 2019 and will be held on Saturday, August 31th, 2019. It is anticipated that many CONCUR participants will attend the YR-workshop (and vice versa). Presentations are selected on the basis of an abstract of up to 4 pages (incl. references) describing the research. No particular format is required. Submissions are judged on the expected interest in and quality of the talk. The accepted abstracts will be made available at the workshop, but no formal proceedings are planned. It is thus also allowed (and encouraged) to send results that have been published at other conferences (although preferably not at CONCUR 2019 or any of its other satellite workshops).


09.00-10.00Holger Hermanns(invited talk, joint with FMICS)
10.00-10.30Coffee break
10.30-11.10Rick ErkensUp-to Techniques for Branching Bisimilarity
11.10-11.50Kiraku MinamiTrace Equivalence and Epistemic Logic for the Applied Pi Calculus to Express Security Properties
11.50-12.30Maurice LaveauxDecompositional Minimization of Monolithic Processes
13.30-14.10Jana WagemakerCompleteness and Incompleteness of Synchronous Kleene Algebra

Important Dates

All dates are Anywhere-on-Earth (AoE).
  • Deadline for 4-page abstracts: June 21, 2019 June 28, 2019 (extended deadline)
  • Notification of acceptance: July 19, 2019
  • Final version: August 16, 2019
  • Workshop: August 31th, 2019


4-page abstracts should be submitted via the YR-CONCUR 2019 submission page on the EasyChair system.


Program Committee

Previous Editions