[TYPES/announce] DCM 2014 - Last Call for Papers

[Ugo Dal Lago]

=========================================================================
                        Last Call for Papers

                               DCM 2014
                      10th International Workshop on
                   Developments in Computational Models

                             July 13, 2014
                            Vienna, Austria
http://vsl2014.at/pages/DCM-index.html

                    A satellite event of CSL-LICS 2014
http://lii.rwth-aachen.de/lics/csl-lics14/

                        DEADLINE FOR SUBMISSIONS
                              MAY 16, 2014
=========================================================================

Several new models of computation have emerged in the last few years, 
and many developments of traditional computational models have been 
proposed with the aim of taking into account the new demands of computer 
systems users and the new capabilities of computation engines. A new 
computational model, or a new feature in a traditional one, usually is 
reflected in a new family of programming languages, and new paradigms of 
software development.

DCM 2014 is the tenth in a series of international workshops focusing on 
new computational models. The aim of this workshop is to bring together 
researchers who are currently developing new computational models or new 
features for traditional computational models, in order to foster their 
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 2014 will be a one-day satellite event of CSL-LICS 2014, 
in the context of VSL 2014.

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:

- functional calculi: lambda-calculus, rho-calculus, term and graph 
rewriting;
- 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;
- infinitary models of computation;
- information-theoretic ideas in computing.

IMPORTANT DATES
---------------
- Sumbission Deadline for Extended Abstracts: 16 May 2014
- Notification: 6 June 2014
- Workshop: 13 July 2014
- Submission Deadline for EPTCS Proceedings: 15 September 2014

SUBMISSIONS
-----------
Submit your paper in PDF format via the conference EasyChair submission 
page:

https://www.easychair.org/conferences/?conf=dcm2014

Submissions should be an abstract of at most 5 pages, written in 
English. Simultaneous submission to journals, conferences or other 
workshops is not permitted. Please use the EPTCS macro package and 
follow the instructions of EPTCS, following the EPTCS style:

http://style.eptcs.org/

A submission may contain an appendix, but reading the appendix should 
not be necessary to assess its merits. After the workshop authors are 
invited to submit a full paper of their presentation. Accepted 
contributions will appear in an issue of EPTCS.

INVITED SPEAKERS
----------------
Ian Mackie (joint with TERMGRAPH 2014), CNRS, France
Michele Pagani, Paris Nord, France

PROGRAMME COMMITTEE:
--------------------
Ugo Dal Lago (Università di Bologna) - chair
Nachum Dershowitz (Tel Aviv University)
Joerg Endrullis (Vrije Universiteit Amsterdam)
Jerome Feret (INRIA - Ecole normale supérieure)
Jasmin Fisher (Microsoft Research)
Russ Harmer (CNRS & ENS Lyon) - chair
Radu Mardare (Department of Computer Science, Aalborg University)
Damian Markham (CNRS)
Elvira Mayordomo (Universidad de Zaragoza)
Benoît Valiron (PPS - Université Paris Diderot)
Daniele Varacca (PPS - CNRS and University Paris Diderot)

=========================================================================
Further information:  Ugo Dal Lago <dallago at cs.unibo.it>
                       Russ Harmer <russell.harmer at ens-lyon.fr>
=========================================================================