皆様
CONCUR 2013 に併設されます、計算モデルに関するワークショップ DCM 2013 の 論文募集の案内をお送り致します。ご投稿・ご参加を検討して頂ければ幸いです。
廣川 直（JAIST）
====================================================================== Call for Papers
DCM 2013
Developments in Computational Models
http://www.dcm-workshop.org.uk/2013
Buenos Aires, Argentina
Monday August 26 2013
A satellite event of CONCUR 2013
======================================================================
Several new models of computation have emerged in the last 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.
Topics of interest include all abstract models of computation and their applications to the development of programming languages and systems:
- 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;
- infinitary models of computation;
- trust, and security; information-theoretic ideas in computing.
SUBMISSION ----------
Submit your paper in PDF format via the conference EasyChair submission page:
http://www.easychair.org/conferences/?conf=dcm2013
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:
http://eptcs.org/ http://style.eptcs.org/
A submission may contain an appendix, but reading the appendix should not be necessary to assess its merits.
PUBLICATION ----------- Accepted contributions will appear in EPTCS (Electronic Proceedings in Theoretical Computer Science).
After the workshop, full versions of selected papers will be invited for a special issue in an internationally leading journal.
IMPORTANT DATES ---------------
- Submission Deadline for Abstracts: 1 June 2013 - Notification: 1 July 2013 - Pre-proceedings version due: 1 August 2013 - Workshop: 26 August 2013
INVITED SPEAKER: Veronica Becher (Universidad de Buenos Aires, Argentina)
PROGRAMME COMMITTEE:
Pablo Arrighi (France) Mauricio Ayala Rincon (Brazil) co-chair Pablo Barcelo (Chile) Mario Benevides (Brazil) Eduardo Bonelli (Argentina) co-chair 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 (France) co-chair Cesar Munoz (USA) Carlos Olarte (Colombia) Femke van Raamsdonk (Netherlands) Camilo Rocha (Colombia) Nora Szasz (Uruguay) Rene Thiemann (Austria)