| |||||||||||||
DCM 2015 : 11th International Workshop on Developments in Computational Models | |||||||||||||
Link: http://dcm-workshop.org.uk/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) |
|