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 2013 is a satellite workshop of CONCUR 2013 and will be held on Saturday, August 31, 2013. 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 2013 or any of its other satellite workshops).
|08:55 - 09:00||Welcome|
|09:00 - 9:30||Luis Pino, Filippo Bonchi and Frank Valencia.
Efficient Computation of Program Equivalence for Confluent Concurrent Constraint Programming
|9:30 - 10:00||Dominik Bucher, Ilias Garnier, Ricardo Honorato and Vincent Danos.
Decomposition of Strongly Coupled Systems
|10:00 - 10:30||Silvia Pelozo.
Quantitative verification framework for distributed random protocols
|10:30 - 11:00||Coffee break|
|11:00 - 11:30||Christian J. Bell.
Sound Loop Paralellization
|11:30 - 12:00||Gervasio Perez and Sergio Yovine.
Formal Design and Implementation of a Platform-Agnostic Template Library for Concurrent Programming
|12:00 - 12:30||Paulin Fournier.
Parameterized verification of networks with many identical probabilistic timed processes
|12:30 - 14:00||Lunch|
|14:00 - 14:30||Paul Hunter, Guillermo Perez and Jean-Francois Raskin.
Mean-payoff games with incomplete information
|14:30 - 15:00||Andrey Gorlin.
Probabilistic Model Checking via Logic Programming
|15:00 - 15:30||Carlos E. Budde.
A theory for the semantics of continuous systems with stochastic and structural non-determinism