DCM'23: 13th International Workshop on Developments in Computational Models Rome, Italy, July 2, 2023 |
Conference website | https://sites.google.com/g.uporto.pt/dcm2023/ |
Submission link | https://easychair.org/conferences/?conf=dcm23 |
Several new models of computation have emerged in the last years, and many developments of traditional computation models have been proposed with the aim of taking into account the new demands of users of computer systems and the new capabilities of computation engines.
The aim of this workshop is to bring together researchers who are currently developing new computation models or new features for traditional computation 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. The proceedings are produced after the meeting, so that authors can incorporate the workshop feedback in the published papers.
Submission Guidelines
Authors are invited to submit a short paper (max 8 pages). Preliminary proceedings will be available at the workshop. Papers should be written in English, and submitted in PostScript or PDF format, using the EPTCS style files (http://style.eptcs.org/). Submission is through the Easychair website.
IMPORTANT DATES:
- Submission deadline: 9 April 2023
- Notification: 15 May 2023
- Pre-proceedings version: 5 June 2023
- Workshop: 2 July 2023
- Full version of paper: TBC
- Notification: TBC
- Final versions due: TBC
List of Topics
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, pattern-calculi, combinatory logic, term and graph rewriting;
- Object calculi;
- Interaction-based systems: interaction nets, games, agent and multi-agent systems;
- Concurrent models: process calculi, action graphs, distributed systems;
- Calculi expressing locality, mobility, and active data;
- Quantum computational models;
- Biological or chemical models of computation;
Program Committee
- Sandra Alves, University of Porto (PC co-chair)
- Ugo Dal Lago, University of Bologna/Inria
- Delia Kesner, Université Paris Cité
- Temur Kutsia, Johannes Kepler University Linz
- Ian Mackie, University of Sussex (PC co-chair)
- Daniele Nantes-Sobrinho, Imperial College London/University of Brasília
- Mehrnoosh Sadrzadeh, University College London
- Peter Selinger, Dalhousie University
- Peter Sestoft, IT University of Copenhagen
Invited Speakers
TBA
Publication
After the workshop authors are invited to submit a full paper taking into account the feedback given at their presentation. After a second round of refereeing, accepted contributions will appear in an issue of Electronic Proceedings in Theoretical Computer Science (www.eptcs.org).
Venue
The conference will be held in Rome, on July 2 2023, as a satellite event of FSCD/CADE 2023.
Contact
All questions about submissions should be emailed to the organisers of the event:
Ian Mackie and Sandra Alves (dcm2023 at easychair dot org)