This website is on Icelandic servers that run on 100% renewable energy

YR-CONCUR 2015


Young Researchers Workshop on Concurrency Theory



September 5th, 2015


Madrid, Spain



http://cimini.info/yr-concur2015/




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


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 and fourth editions YR-CONCUR 2011 and YR-CONCUR 2012 were organized by Benedikt Bollig as satellite workshops of CONCUR 2011 and CONCUR 2012. The fifth edition YR-CONCUR 2013 was organized by Nicolas D'Ippolito as a satellite workshop of CONCUR 2013 in Buenos Aires, Argentina.


Programme

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


Important Dates

  • Deadline for (up-to 4-pages) abstracts: July 3rd, 2015
  • Notification of acceptance: Between July 21-23, 2015
  • Workshop: September 5th, 2015

Submission

Abstracts (up-to 4-pages, including references) should be submitted via the YR-CONCUR 2015 submission page on the EasyChair system:
https://easychair.org/conferences/?conf=yrconcur2015

Organizer and PC Chair


Program Committee