[FOM] Developments in Computational Models 2010 - EXTENDED DEADLINE!
S Barry Cooper
pmt6sbc at maths.leeds.ac.uk
Tue Mar 30 19:01:40 EDT 2010
** DCM 2010 - EXTENSION OF DEADLINE * DCM 2010 - EXTENSION OF DEADLINE **
Final Call for Papers
6th International Workshop on Developments in Computational Models
** Causality, Computation, and Physics **
9-10 July 2010
EXTENDED DEADLINE FOR SUBMISSIONS: FRIDAY 9th APRIL, 2010
A satellite event of FLoC - http://www.floc-conference.org/
Cristian Calude (Auckland, New Zealand)
Lucien Hardy (Perimeter Institute, Canada)
Russ Harmer (Paris/Harvard)
Gordon Plotkin (Edinburgh)
Vlatko Vedral (Oxford)
Submission deadline for extended abstracts: 9th April, 2010
Notification: 26 April
Workshop: 9-10 July, 2010
After the workshop, full versions of selected papers will be invited
for a special issue of the internationally leading journal
Mathematical Structures in Computer Science (MSCS).
DCM 2010 is the sixth in a series of international workshops focusing on new
computational models. It aims to bring together researchers who are
currently developing new computational models or new features of a
traditional one. And to foster interaction, to provide a forum for
presenting new ideas and work in progress, and to enable newcomers to learn
about current activities in this area.
DCM 2010 will be a two-day satellite event of FLoC 2010, with a special
focus on the theme 'Causality, Computation, and Physics'. Day 2 of
the Workshop will have an emphasis on quantum computation and
physics, held as Quantum Information Science Scotland (QUISCO), and
is co-sponsored by Scottish Universities Physics Alliance (SUPA) and
Scottish Informatics and Computer Science Alliance (SICSA).
Topics of interest include all abstract models of computation and their
properties, and their applications to the development of programming
languages and systems:
- quantum computation, including implementations and formal methods in
- probabilistic computation and verification in modelling situations;
- chemical, biological and bio-inspired computation, including spatial
models, self-assembly, growth models;
- general concurrent models including the treatment of mobility, trust, and
- information-theoretic ideas in computing.
PLEASE SUBMIT an extended abstract (of around 12 pages or less) in PDF
format to the conference EasyChair submission page:
by the deadline:
9th April, 2010.
Accepted contributions will appear in a pre-proceedings special issue
of the EPTCS (Electronic Proceedings in Theoretical Computer Science).
S Barry Cooper (Leeds, Co-chair) Prakash Panangaden (McGill,
Co-chair) Elham Kashefi (Edinburgh, Chair QUISCO 2010) Paola
Bonizzoni (Milan) Olivier Bournez (Paris) Vincent Danos (Edinburgh,
CNRS) Mariangiola Dezani (Torino) Andreas Doering (Oxford) Maribel
FernC!ndez (London) Joseph Fitzsimons (Oxford) Ivette
Fuentes-Schuller (Nottingham) Simon Gay (Glasgow) Jean Krivine
(Paris) Ian Mackie (Ecole Polytechnique) Damian Markham (Paris)
Daniel Oi (Strathclyde) Simon Perdrix (Edinburgh and Paris) Susan
Stepney (York) John Tucker (Swansea)
Further information: Barry Cooper, pmt6sbc at leeds.ac.uk,
Prakash Panangaden prakash at cs.mcgill.ca
__________ Information from ESET NOD32 Antivirus, version of virus
signature database 4986 (20100330) __________
The message was checked by ESET NOD32 Antivirus.
More information about the FOM