Important Dates:
  • 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.


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
Quantum Information Science Scotland (QUISCO) will be organising the second day of DCM 2010, with support from SUPA, SICSA and plenty of interested local physicists to help the organisation and also to promote the meeting to a wider base. The QUISCO day is chaired by Elham Kashefi.

Maintained by: S.B. Cooper