Registration:
see CONCUR
2013 Registration
Programme
Pre-proceedings
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.
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 2013 will be a one-day satellite event
of CONCUR 2013. This is
the 9th event in the series since
2005 - see the DCM
website for details of previous events.
Topics of Interest
Topics of interest include all abstract models of computation and
their applications to the development of programming languages and
systems. This includes (but is not limited to):
- 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 modelling 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.
Submissions and Publication
Submit your paper in PDF format via the conference EasyChair
submission page.
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:
EPTCS, following the EPTCS
style.
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.
Important Dates
Submission Deadline for Extended Abstracts:
|
1 June 2013
|
Notification:
|
1 July 2013
|
Pre-proceedings version due:
|
1 August 2013
|
Workshop:
|
Monday 26 August 2013
|
Submission Deadline for
EPTCS Proceedings :
|
1 October 2013
|
Programme Committee
Pablo Arrighi |
France |
Mauricio Ayala Rincón (co-chair) |
Brazil |
Pablo Barcelo |
Chile |
Mario Benevides |
Brazil |
Eduardo Bonelli (co-chair) |
Argentina |
Paola Bonizzoni |
Italy |
Nachum Dershowitz |
Israel |
Ruben Gamboa |
USA |
Rajeev Gore |
Australia |
Holger Hermanns |
Germany |
Nao Hirokawa |
Japan |
Jean Krivine |
France |
Luis Lamb |
Brazil |
Ian Mackie (co-chair) |
France |
Cesar Munoz |
USA |
Carlos Olarte |
Colombia |
Femke van Raamsdonk |
Netherlands |
Camilo Rocha |
Colombia |
Nora Szasz |
Uruguay |
Rene Thiemann |
Austria |
Invited Speakers
Verónica Becher, Universidad de Buenos Aires y CONICET.
Turing's Normal Numbers: Towards Randomness.
Joos Heintz, Universidad de Buenos Aires y CONICET - Universidad de Cantabria.
Quiz games: a new approach to information hiding based algorithms in
scientific computing.
|
Contact
co-chairs
Workshop web page: http://www.dcm-workshop.org.uk/2013
|
|