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 2012 is a satellite workshop of CONCUR 2012 and will be held on Monday, September 3, 2012. 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 2012 or any of its other satellite workshops).
09:25 - 09:30 | Welcome |
09:30 - 10:00 | Kamila Agata Barylska and Łukasz Mikulski. On Persistent Reachability in Petri Nets |
10:00 - 10:30 | Hernan Ponce de Leon. A Conformance Relation for Input-Output Event Structures |
10:30 - 11:00 | Coffee break |
11:00 - 11:30 | Tri Minh Ngo. Confidentiality and Quantitative Analysis for Multi-threaded Programs |
11:30 - 12:00 | Srikanth Sastry. A New Modeling Framework for Asynchronous Failure Detectors |
12:00 - 12:30 | Marcin Piątkowski and Łukasz Mikulski. Square-free words over partially commutative alphabets |
12:30 - 14:00 | Lunch |
14:00 - 14:30 | Artur Męski, Wojciech Penczek and Maciej Szreter. BDD-based Bounded Model Checking for LTLK over Two Variants of Interpreted Systems |
14:30 - 15:00 | Normann Decker and Daniel Thoma. Trigger-Obligation Properties |
15:00 - 15:30 | Coffee break |
15:30 - 16:00 | Dimitrios Vekris. Operational Semantics for EB3 |
16:00 - 16:30 | Stephan Mennicke, Tobias Prehn and Tsvetelina Yonova-Karbe. A Compositional Encoding of the Asynchronous Pi-calculus into the Join Calculus |
16:30 - 17:00 | Ramūnas Gutkovas. Psi-Calculi Workbench |