[We apologize for multiple copies]
================================================================
CALL FOR PAPERS: YR-CONCUR 2008
Young Researchers Workshop on Concurrency Theory
August 18, 2008
Toronto, Canada
moves.rwth-aachen.de/Events/YR-CONCUR08/
=================================================================
AIMS AND OBJECTIVES
This one-day workshop aims to bring together PhD students, and
young researchers in concurrency theory who recently completed
their doctoral studies in the last few years. The workshop is
aimed at providing a platform where young researchers exchange
new results related to concurrency theory and receive feedback
on their research. Focus is on informal discussions.
FORMAT
YR-CONCUR is a satellite workshop of CONCUR 2008 (for more in-
formation, see http://www.cse.yorku.ca/concur08/). It is anti-
cipated that many CONCUR participants attend the YR-workshop
(and vice versa). YR-CONCUR presentations will be based on a
four page abstract (incl. references). The accepted abstracts
will be made available at the workshop. No formal proceedings
are planned. It is thus also allowed (and encouraged) to send
results that have been published at other conferences.
IMPORTANT DATES
Deadline for 4-page abstracts: July 4, 2008
Notification of acceptance: July 11, 2008
Workshop: August 18, 2008.
SUBMISSIONS
To submit an abstract to YR-CONCUR 2008, please send it in PDF
format via e-mail to
yr-concur08(a)informatik.rwth-aachen.de
ORGANISERS AND PC-CHAIRS
Joost-Pieter Katoen (RWTH Aachen University, D)
P. Madhusudan (University of Illinois Urbana-Champaign, USA)
PROGRAM COMMITEE (to be confirmed)
Dino Distefano (QMU London, UK)
Azadeh Farzan (CMU, USA)
Bas Luttik (TU Eindhoven and CWI, NL)
Nir Piterman (Imperial College, UK)
Shaz Qadeer (Microsoft Research, USA)
Koushik Sen (Berkeley, USA)
+---------------------------------------------------------------+
| Joost-Pieter Katoen email: my_last_name[at]cs.rwth-aachen.de |
| RWTH Aachen University URL: moves.rwth-aachen.de/~katoen |
| LS2: Software Modeling and Verification tel: +49 241 8021200 |
| D-52056 Aachen, Germany fax: +49-241 8022217 |
+---------------------------------------------------------------+
