concur-logo 9th International Workshop on
Developments in Computational Models
DCM 2013
A satellite event of CONCUR 2013
26 August 2013, Buenos Aires - Argentina

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 top

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 top

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 top

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 top

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 top

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 top

co-chairs

Workshop web page: http://www.dcm-workshop.org.uk/2013







photo

end