D-CON Mai 2008

d-con@lists.rwth-aachen.de

1 Teilnehmer
1 Diskussionen

Call for Papers Young Researchers Workshop CONCUR 2008

von Joost-Pieter Katoen

[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 | +---------------------------------------------------------------+

15 Jahre, 11 Monate

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

D-CON Mai 2008