[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
================================================================
Final 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: 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:
-------------------
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 30, 2011
Notification: June 15, 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 SPEAKER: Matthias Christandl, Swiss Federal Institute of
Technology, Switzerland
-----------------
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 <ekash...@inf.ed.ac.uk>
Jean Krivine <jkriv...@pps.jussieu.fr>
Femke van Raamsdonk <fe...@cs.vu.nl>
================================================================
