Monday, January 11, 2010

[DMANET] DCM 2010 in Edinburgh - First Call for Papers

=========================================================================
First Call for Papers

DCM 2010
6th International Workshop on Developments in Computational Models
** Causality, Computation, and Physics **

http://www.amsta.leeds.ac.uk/~pmt6sbc/DCM10/
Edinburgh, Scotland
9-10 July 2010

Deadline for abstracts: 01 April, 2010

A satellite event of FLoC - http://www.floc-conference.org/
=========================================================================

DCM 2010 is the sixth in a series of international workshops focusing on new
computational models. It aims to bring together researchers who are
currently developing new computational models or new features of a
traditional one. And to foster 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 2010 will be a two-day satellite event of FLoC 2010, with a special
focus on the theme 'Causality, Computation, and Physics'. Day 2 of the
Workshop will have an emphasis on quantum computation and physics, held as
Quantum Information Science Scotland (QUISCO), and is co-sponsored by
Scottish Universities Physics Alliance (SUPA) and Scottish Informatics
and Computer Science Alliance (SICSA).

Topics of interest include all abstract models of computation and their
properties, 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.

PLEASE SUBMIT an extended abstract (of around 12 pages or less) in PDF
format to the conference EasyChair submission page:

https://www.easychair.org/login.cgi?conf=dcm2010

by the deadline:
01 April, 2010.

Accepted contributions will appear in a pre-proceedings special issue of
the EPTCS (Electronic Proceedings in Theoretical Computer Science).

After the workshop, full versions of selected papers will be invited for
a special issue of the internationally leading journal Mathematical
Structures in Computer Science (MSCS).

IMPORTANT DATES:

Submission deadline for abstracts: 01 April, 2010
Notification: 26 April
Workshop: 9-10 July, 2010

CONFIRMED INVITED SPEAKERS:

Cristian Calude (Auckland, New Zealand)
Russ Harmer (Paris/Harvard)
Gordon Plotkin (Edinburgh)
Vlatko Vedral (Oxford)

=========================================================================
Further information: Barry Cooper, pmt6sbc@leeds.ac.uk,
Prakash Panangaden prakash@cs.mcgill.ca
=========================================================================
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************