[TYPES/announce] Final Call for Papers - Developments in Computational Models 2011

S Barry Cooper pmt6sbc at maths.leeds.ac.uk
Mon May 16 06:45:01 EDT 2011

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

               Extended Deadline for submissions: 30 May, 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  30, 2011
Notification:          June 15, 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.

INVITED SPEAKER: Matthias Christandl, Swiss Federal Institute of
Technology, Switzerland

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 & Universite Paris Diderot, France
Helene Kirchner, INRIA, France
Heinz Koeppl, ETH Zurich, Switzerland
Jean Krivine, CNRS & Universite 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 Mathematiques 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