Nos tutelles

CNRS

Rechercher

Accueil > Conférences & écoles connexes > Conférences & Workshops > 2011

DCM 2011 - 7th International Workshop on Developments in Computational Model, July 3 2011, Zurich, Switzerland

par Sebastien_Tanzilli - publié le , mis à jour le

=========================================================================
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...

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

Deadline for submissions : 15 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/conference...

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.

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