[TYPES/announce] YR-CONCUR 2010 (Call for Papers)
Bas Luttik
s.p.luttik at tue.nl
Fri May 28 09:04:58 EDT 2010
[We apologize for multiple copies.]
================================================================
CALL FOR PAPERS: YR-CONCUR 2010
Young Researchers Workshop on Concurrency Theory
September 4, 2010
Paris, France
http://www.win.tue.nl/~luttik/YR-CONCUR10/
=================================================================
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 2010 is a satellite workshop of CONCUR 2010, and will
be held on Saturday September 4, 2010. It is anticipated that many
CONCUR participants will attend the YR-workshop (and vice versa).
Presentations are based on a four page abstract (incl. references).
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 2010 or any of its
other satellite workshops).
IMPORTANT DATES
Deadline for 4-page abstracts: July 2, 2010
Notification of acceptance: July 19, 2010
Workshop: September 4, 2010.
SUBMISSION: see instructions on the workshop's webpage.
PROGRAM COMMITTEE
Benedikt Bollig (ENS Cachan, France)
Michele Boreale (Universita' di Firenze, Italy)
Bas Luttik (TU Eindhoven and VU Amsterdam, The Netherlands, chair)
Nir Piterman (Imperial College London, United Kingdom)
Pawel Sobocinski (University of Southampton, United Kingdom)
Jiri Srba (Aalborg University, Denmark)
Frank Valencia (LIX, CNRS & Ecole Polytechnique, France)
Verena Wolf (Saarland University, Germany)
More information about the Types-announce
mailing list