Important Dates:
- EXTENDED DEADLINE FOR SUBMISSIONS:
9 April, 2010
- Notification: 26 April, 2010
- EPTCS Pre-proceedings version due: 14 May, 2010
- Early
registration closes: 17 May,
2010
- DCM Pre-FLoC Workshop: 9-10 July, 2010
|
|
|
Programme Committee:
S Barry
Cooper (Leeds, Co-chair)
Prakash Panangaden
(McGill, Co-chair)
Paola
Bonizzoni (Milan)
Olivier
Bournez (Paris)
Vincent Danos (Edinburgh,
CNRS)
Mariangiola
Dezani (Torino)
Andreas
Doering (Oxford)
Maribel
Fernández (London)
Joseph
Fitzsimons (Oxford)
Ivette
Fuentes-Schuller (Nottingham)
Simon
Gay (Glasgow)
Elham
Kashefi (Edinburgh)
Jean
Krivine (Paris)
Ian Mackie (Ecole Polytechnique)
Damian
Markham (Paris)
Daniel
Oi (Strathclyde)
Simon
Perdrix (Edinburgh and Paris)
Susan
Stepney (York)
John
Tucker (Swansea)
|
Organising Committee:
Elham
Kashefi (Edinburgh, Chair)
Barry Cooper (Leeds)
Lucas
Dixon (Edinburgh)
Patrik
Öhberg (Edinburgh)
Prakash Panangaden (McGill)
Shashank
Virmani (Strathclyde)
|
DCM
Steering Committee:
Vincent Danos (Edinburgh,
CNRS)
Mariangiola
Dezani (Torino)
Maribel Fernandez
(Kings College)
Jean-Pierre
Jouannaud (INRIA/Tsinghua University, Beijing)
Ian Mackie (Ecole Polytechnique)
|
Previous
DCM
Workshops:
DCM
2009
DCM+QPL 2008
DCM 2007
DCM 2006
DCM 2005
|
|
DCM 2010 aims to provide a forum for ideas about
new computing means and models, with a particular emphasis this
year on computational and causal models related to physics and biology.
We believe that bringing together different
approaches - in a
community with the strong foundational background
characteristic of FLoC -
will result in
inspirational cross-boundary exchanges, and innovative further research.
Day two of this pre-FLoC
2010
workshop will be given over to physics
and quantum related computation. The content of day one
will be more typical of past
DCM
workshops - covering a full spectrum
of topics related to the development of new computational models
or new features for traditional computational models.
DCM 2010 will foster interactions, and provide a forum for
presenting new ideas and work in progress. We also aim to enable newcomers
to learn about current activities in this area.
Submission:
Please submit an extended abstract of your talk (maximum 12 pages)
via the
EasyChair
DCM 2010 submission page. Those papers accepted will be
published in the
EPTCS online
pre-proceedings of DCM 2010.
All accepted authors will be eligible to submit a full version of their
paper to a special issue of
Mathematical
Structures in Computer
Science (MSCS).
Invited speakers:
|
All DCM 2010 talks will be in Room G.07A of the
Informatics
Forum, in the Central Area campus of the University of Edinburgh
|
QUISCO
|
|
|
|