posted by user: mayalarincon || 3656 views || tracked by 7 users: [display]

DCM 2013 : 9th International Workshop on Developments in Computational Models

FacebookTwitterLinkedInGoogle

Link: http://www.dcm-workshop.org.uk/2013/
 
When Aug 26, 2013 - Aug 26, 2013
Where Buenos Aires
Submission Deadline Jun 1, 2013
Notification Due Jul 1, 2013
Final Version Due Aug 1, 2013
Categories    theory   logic   formal methods   semantics
 

Call For Papers

======================================================================
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;

- 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)

Related Resources

IJCNN 2021   International Joint Conference on Neural Network
FM 2021   Formal Methods 2021
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
IEEE SSCI 2021   2021 IEEE Symposium Series on Computational Intelligence
ITCSE 2021   10th International Conference on Information Technology Convergence and Services
CLNLP 2021   2021 2nd International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2021)
ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods
DLT 2021   25th International Conference on Developments in Language Theory
SI: Adaptive HAR in smart spaces 2022   Special issue : Adaptive Human Activity and Behaviour Recognition Models for Context Awareness in Intelligent Environments