QUROPE Quantum Information Processing and Communication in Europe

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

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:
-------------------

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 02, 2011
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 & 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 [dot] ed [dot] ac [dot] uk
Jean Krivine jkrivine [at] pps [dot] jussieu [dot] fr
Femke van Raamsdonk femke [at] cs [dot] vu [dot] nl =========================================================================

Location