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

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

FacebookTwitterLinkedInGoogle

Link: http://dcm-workshop.org.uk/2015/
 
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

11TH WORKSHOP ON DEVELOPMENTS IN COMPUTATIONAL MODELS (DCM 2015)
Call for Papers
October 28, 2015, Cali - Colombia
http://dcm-workshop.org.uk/2015/
Satellite event of ICTAC 2015 (http://www.ictac2015.co)
* AIM
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
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.
* IMPORTANT DATES
- 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
* CHAIRS
- Cesar Munoz, NASA (USA)
- Jorge A. Perez, University of Groningen (NL)

Related Resources

BIOINFORMATICS 2018   9th International Conference on Bioinformatics Models, Methods and Algorithms
IEEE SSCI 2017   2017 IEEE Symposium Series on Computational Intelligence
LREC 2018   Language Resources and Evaluation Conference
ICAISC 2018   International Conference on Artificial Intelligence and Soft Computing
ICACS - EI 2017   2017 International Conference on Algorithms, Computing and Systems (ICACS 2017)--Ei Compendex and Scopus
PDP 2018   The 26th Euromicro International Conference on Parallel, Distributed and Network-Based Processing
CIG 2018   2018 IEEE Conference on Computational Intelligence and Games
IES 2017   The 21st Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2017)
IEEE CISDA 2017   2017 IEEE Symposium on Computational Intelligence for Security and Defense Applications
NLPCC 2017   The Sixth Conference on Natural Language Processing and Chinese Computing (NLPCC 2017)