Young Researchers Workshop on Concurrency Theory

August 31, 2013

Buenos Aires, Argentina


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 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).


The first edition YR-CONCUR 2009 was organized by Joost-Pieter Katoen as a satellite workshop of CONCUR 2009 in Bologna, Italy. The second edition YR-CONCUR 2010 was organized by Bas Luttik as a satellite workshop of CONCUR 2010 in Paris, France. The third and fourth editions YR-CONCUR 2011 and YR-CONCUR 2012 were organized by Benedikt Bollig as satellite workshops of CONCUR 2011 and CONCUR 2012.


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


Please register via the CONCUR registration page.

Important Dates

  • Deadline for 4-page abstracts: June 22June 29, 2013
  • Notification of acceptance: July 20, 2013
  • Final version: August 3, 2013
  • Workshop: August 31, 2013


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

Organizer and PC Chair

Program Committee