[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

                  Deadline for submissions: 02 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 02, 2011
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 <ekash...@inf.ed.ac.uk>
                      Jean Krivine <jkriv...@pps.jussieu.fr>
                      Femke van Raamsdonk <fe...@cs.vu.nl>

Reply via email to