[TYPES/announce] DCM 2011: call for papers

[Femke van Raamsdonk]

=========================================================================
                          Second Call for Papers

                                 DCM 2011
                      7th International Workshop on
                   Developments in Computational Models

                               July 3, 2011
                           Zurich, Switzerland
   http://www.pps.jussieu.fr/~jkrivine/conferences/DCM2011/DCM_2011.html

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

                    EXTENDED DEADLINE FOR SUBMISSIONS
                              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:
-------------------
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.

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

SUBMISSIONS:
------------
Please submit a paper via the conference
EasyChair submission page:

   http://www.easychair.org/conferences/?conf=dcm2011

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

    http://eptcs.org/
    http://style.eptcs.org/


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

PUBLICATION:
------------
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 SPEAKERS:    TBA
-----------------

PROGRAMME COMMITTEE:
--------------------
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>
=========================================================================