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.00 | Holger Hermanns | (invited talk, joint with FMICS) |
|---|---|---|
| 10.00-10.30 | Coffee break | |
| 10.30-11.10 | Rick Erkens | Up-to Techniques for Branching Bisimilarity |
| 11.10-11.50 | Kiraku Minami | Trace Equivalence and Epistemic Logic for the Applied Pi Calculus to Express Security Properties |
| 11.50-12.30 | Maurice Laveaux | Decompositional Minimization of Monolithic Processes |
| 12.30-13.30 | Lunch | |
| 13.30-14.10 | Jana Wagemaker | Completeness and Incompleteness of Synchronous Kleene Algebra |
4-page abstracts should be submitted via the YR-CONCUR 2019 submission page on the EasyChair system.