[TYPES/announce] DCM 2009, Rhodes, Greece - EXTENDED DEADLINE: 7 MAY, 2009

S Barry Cooper pmt6sbc at maths.leeds.ac.uk
Fri May 1 21:04:37 EDT 2009


========================================================================
                           Final 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

                   ** 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'.

Plenary speakers:

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
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 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
Informatics).

IMPORTANT DATES:

Submission deadline: 7 May, 2009
Notification: 25 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 at leeds.ac.uk
                       Vincent Danos, vincent.danos at gmail.com
=========================================================================



More information about the Types-announce mailing list