posted by user: hossein_haeri || 758 views || tracked by 3 users: [display]

DCM 2015 : 11th International Workshop on Developments in Computational Models


When Oct 28, 2015 - Oct 28, 2015
Where Cali, Colombia
Submission Deadline Aug 17, 2015
Notification Due Sep 13, 2015
Final Version Due Oct 5, 2015

Call For Papers

Call for Papers
October 28, 2015, Cali - Colombia
Satellite event of ICTAC 2015 (
The DCM workshop aims 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.
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;
- Models of concurrency, including the treatment of mobility, trust,
and security;
- Infinitary models of computation;
- Information-theoretic ideas in computing.
- Submission Deadline for Extended Abstracts (5 pages): 3 Aug 2015
- Notification:13 Sep 2015;
- Pre-proceedings version due: 5 Oct 2015
- Workshop: 28 Oct 2015
- Deadline for EPTCS Proceedings : 7 Dec 2015
- Cesar Munoz, NASA (USA)
- Jorge A. Perez, University of Groningen (NL)

Related Resources

ACL 2017   The 55th annual meeting of the Association for Computational Linguistics
ESANN 2017   25th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning
OSBMRM 2016   The Second International Conference on Organizational Strategy, Business Models, and Risk Management (OSBMRM2016)
IWCLUL 2017   International Workshop for Computational Linguistics of Uralic Languages
EvoMUSART 2017   6th International Conference on Computational Intelligence in Music, Sound, Art and Design
CVIU 2016   Special Issue on Vision and Computational Photography and Graphics
Call for Chapters 2017   Technological Developments for Cultural Heritage and eTourism Applications
EACL-Short 2017   EACL 2017 : the 15th Conference of the European Chapter of the Association for Computational Linguistics (Short)
BICOB 2017   9th International Conference on Bioinformatics and Computational Biology (BICOB)
MEMOCODE 2016   ACM-IEEE International Conference on Formal Methods and Models for System Design