================================================================ 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 Jean Krivine Femke van Raamsdonk ================================================================