caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Deadline extension: DCM 2015 (Cali, Colombia / Co-located with ICTAC 2015)
@ 2015-07-31  7:51 Jorge A. Perez
  0 siblings, 0 replies; only message in thread
From: Jorge A. Perez @ 2015-07-31  7:51 UTC (permalink / raw)
  To: caml-list

======================================================
FINAL CALL FOR PAPERS -- DCM 2015

11th International Workshop on Developments in Computational Models

October 28, 2015, Cali, Colombia
http://dcm-workshop.org.uk/2015/

A satellite event of ICTAC 2015 - http://www.ictac2015.co

DEADLINE FOR SUBMISSION OF EXTENDED ABSTRACTS (5 pages):
AUGUST 17, 2015
======================================================

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 2015 is the eleventh 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 2015 will be a one-day satellite event of ICTAC 2015, the Twelfth
International Colloquium on Theoretical Aspects of Computing.

== 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;
- models of concurrency, including the treatment of mobility, trust, and
security;
- infinitary models of computation;
- information-theoretic ideas in computing.

== IMPORTANT DATES
- Submission Deadline for Extended Abstracts: August 17 (extended)
- Notification: 13 September
- Pre-proceedings version due: 5 October
- Workshop: 28 October
- Submission Deadline for EPTCS Proceedings: 7 December

== INVITED SPEAKERS
Mauricio Ayala Rincón, Universidade de Brasilia (Brazil).
Gilles Dowek, INRIA (France).

== SUBMISSIONS
Submit your paper in PDF format via the conference EasyChair submission
page:
https://www.easychair.org/conferences/?conf=dcm2015

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.

== PROGRAM COMMITTEE:
Mario Benevides (Brazil)
Luís Caires (Portugal)
Ugo Dal Lago (Italy)
Nachum Dershowitz (Israel)
Jérôme Feret (France)
Marcelo Frias (Argentina)
Russ Harmer (France)
Ivan Lanese (Italy)
Radu Mardare (Denmark)
Elvira Mayordomo (Spain)
César A. Muñoz (USA) - chair
Jorge A. Pérez (The Netherlands) - chair
Andrés Sicard-Ramírez (Colombia)
Alexandra Silva (The Netherlands)
Daniele Varacca (France)


--
Jorge A. Pérez
Assistant Professor
Johann Bernoulli Institute for Mathematics and Computer Science
University of Groningen
Groningen, The Netherlands
URL: http://www.jorgeaperez.net

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2015-07-31  7:52 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-07-31  7:51 [Caml-list] Deadline extension: DCM 2015 (Cali, Colombia / Co-located with ICTAC 2015) Jorge A. Perez

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).