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, pattern-calculi, combinatory logic, term and graph rewriting;

•  Object calculi;

•  Interaction-based systems: interaction nets, games, agent and multi-agent systems;

•  Concurrent models: process calculi, action graphs, distributed systems;

•  Calculi expressing locality, mobility, and active data;

•  Quantum computational models;

•  Biological or chemical models of computation.