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 2015 is a satellite workshop of CONCUR 2015 and will be held on Saturday, September 5th, 2015. 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 (including 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 2015 or any of its other satellite workshops).
|13:55 - 14:00||Welcome|
|14:00 - 14:30||Paul-David Brodmann.
Distributability of Asynchronous Process Calculi
|14:30 - 15:00|| Dana Angluin and Dana Fisman.
Learning Regular Omega Languages
|15:00 - 15:30|| Giovanni Bernardi.
Robustness against Parallel Snapshot Isolation
|15:30 - 16:00||Coffee break|
|16:00 - 16:30|| Weizhen Yang.
Generalised Timed Choreography
|16:30 - 17:00|| Rafael Martínez-Torres.
A Conformance Simulation Relation for Model Based Testing and Formal Methods
|17:00 - 17:30|| Antonio Brogi and Jacopo Soldani. (CANCELLED)
Modelling and Analysing the Management of Cloud Applications