YR-CONCUR 2012



Young Researchers Workshop on Concurrency Theory



September 3, 2012



Newcastle upon Tyne, UK



http://www.lsv.ens-cachan.fr/~bollig/YR-CONCUR12/





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.


Format

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


History

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 edition YR-CONCUR 2011 was organized by Benedikt Bollig as a satellite workshop of CONCUR 2011 in Aachen, Germany.


Programme

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

Registration

Please register via the CONCUR registration page. Deadline for early registration is August 3, 2012.

Important Dates

  • Deadline for 4-page abstracts: June 29, 2012
  • Notification of acceptance: July 23, 2012
  • Final version: August 6, 2012
  • Workshop: September 3, 2012

Submission

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

Organizer


Program Committee