Logic List Mailing Archive

DCM 2009: Developments in Computational Models

11 July 2009
Rhodes, Greece

=========================================================================
                           First Call for Papers

                                 DCM 2009
     5th International Workshop on Developments in Computational Models
                 ** Computational Models From Nature **

                 http://www.pps.jussieu.fr/~danos/dcm09/
                              Rhodes, Greece
                          Saturday, 11 July 2009

                   Deadline for abstracts: 30 April, 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'.

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
quantum protocols;
- 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
security;
- 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:

          https://www.easychair.org/login.cgi?conf=dcm2009

by the deadline:
                              30 April, 2009.

After the workshop authors will be invited to submit a full paper of their
presentation. Accepted contributions will appear in a special issue of the
EPTCS (Electronic Proceedings in Theoretical Computer Science). Selected
papers will be considered for a special issue of the IJSI (International
Journal of Software and Informatics) (to be confirmed).

IMPORTANT DATES:

Submission deadline for abstracts: 30 April, 2009
Notification: 22 May
Workshop: 11 July, 2009

PROGRAMME COMMITTEE:

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, pmt6sbc@leeds.ac.uk
=========================================================================