Topics
The ambition of this workshop is to set up a forum for ideas about new computing means and models:
- 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.
Contributions putting to test the logical or
algorithmic aspects of computing (eg, computing with dynamical
systems) would be welcome. We believe that bringing those efforts
together will result in inspirational cross-boundary exchanges, and
innovative further research.