[TYPES/announce] DCM 2011: call for papers

Femke van Raamsdonk femke at cs.vu.nl
Mon May 9 09:11:50 EDT 2011

                          Second Call for Papers

                                 DCM 2011
                      7th International Workshop on
                   Developments in Computational Models

                               July 3, 2011
                           Zurich, Switzerland

         A satellite event of ICALP 2011 - http://icalp11.inf.ethz.ch/

                              MAY 15, 2011

DCM 2011 is the seventh 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. The goal of DCM is 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 2011 will be a one-day satellite event of ICALP 2011
in Zurich, Switzerland.

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 modeling 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;
- comparisons of different models of computations; 
- information-theoretic ideas in computing.

Paper Submission:      May 15, 2011  (EXTENDED DEADLINE)
Notification:          May 25, 2011
Final Version:        June 03, 2011
Workshop              July 03, 2011

Please submit a paper via the conference
EasyChair submission page:


Submissions should be at most 12 pages, in PDF format.
Please use the EPTCS macro package and follow the 
instructions of EPTCS:


A submission may contain an appendix, but reading the
appendix should should not be necessary to assess the 
merits of a submission.

Accepted contributions will appear in EPTCS 
(Electronic Proceedings in Theoretical Computer Science).

After the workshop, quality permitting full versions of selected 
papers will be invited for a special issue in an internationally 
leading journal.


Erika Andersson, Heriot-Watt University, UK 
Nachum Dershowitz, Tel Aviv University, Israel 
Eleni Diamanti, CNRS & Telecom ParisTech, France 
Lucas Dixon, Google, USA 
Elham Kashefi, University of Edinburgh, UK (Co-chair) 
Delia Kesner, CNRS & Université Paris Diderot, France 
Hélène Kirchner, INRIA, France 
Heinz Koeppl, ETH Zurich, Switzerland 
Jean Krivine, CNRS & Université Paris Diderot, France (Co-chair)
Michael Mislove, Tulane University, USA 
Mio Murao, University of Tokyo, Japan 
Vincent van Oostrom, Utrecht University, The Netherlands 
Femke van Raamsdonk, VU University Amsterdam, The Netherlands (Co-chair) 
Paul Ruet, CNRS & Institut de Mathématiques de Luminy, France 
Aaron Stump, University of Iowa, USA

Further information:  Elham Kashefi <ekashefi at inf.ed.ac.uk>
                       Jean Krivine <jkrivine at pps.jussieu.fr>
                       Femke van Raamsdonk <femke at cs.vu.nl>

More information about the Types-announce mailing list