[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] DCM 2009, Rhodes, Greece - EXTENDED DEADLINE: 7 MAY, 2009
Final Call for Papers
5th International Workshop on Developments in Computational Models
- Computational Models From Nature
Saturday, 11 July 2009
** EXTENDED DEADLINE: 7 MAY, 2009 **
A satellite event of ICALP 2009 - http://icalp09.cti.gr/
DCM 2009 is the fifth 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 2009 will be a one-day satellite event of ICALP 2009, with a special
focus on the theme 'Computational Models From Nature'.
Prakash Panangaden (McGill University) "Computing with Anyons"
Amin Coja-Oghlan (Edinburgh) "Random Constraint Satisfaction Problems"
Damien Woods (Seville) "Two Notions of Uniformity in Natural Computing"
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,
- information-theoretic ideas in computing.
PLEASE SUBMIT an extended abstract (of around 10 pages or less) in PDF
format to the conference EasyChair submission page:
by the EXTENDED DEADLINE:
7 MAY, 2009.
Accepted contributions will appear in a special issue of the EPTCS
(Electronic Proceedings in Theoretical Computer Science).
After the workshop, full versions of selected papers will be considered
for a special issue of the IJSI (International Journal of Software and
Submission deadline: 7 May, 2009
Notification: 25 May
Workshop: 11 July, 2009
S. Barry Cooper (Leeds, Co-chair)
Vincent Danos (Edinburgh, Co-chair)
Paola Bonizzoni (Milan)
Alessandra Carbone (Paris)
Luca Cardelli (Microsoft Research)
Robert Coecke (Oxford)
Mariangiola Dezani (Turin)
Ellie D'Hondt (Brussels)
Lionel Dupuy (SCRI, Dundee)
Jerome Feret (INRIA, ENS Paris)
Maribel Fernandez (King's College, London)
Mark Hogarth (Cambridge)
Jean-Pierre Jouannaud (Tsinghua, CNRS)
Zoran Konkoli (Chalmers)
Angsheng Li (CAS, Beijing)
Ian Mackie (Ecole Polytechnique)
Gheorghe Paun (Bucharest)
Simon Perdrix (Paris)
Grzegorz Rozenberg (Leiden)
Peter Selinger (Dalhousie)
Jiri Wiedermann (Prague)
Damien Woods (Seville)
Further information: Barry Cooper, firstname.lastname@example.org
Vincent Danos, email@example.com