Topics of interest include but are not limited to:

Track A: Algorithms and Complexity

• algorithms and data structures

• algorithmic coding theory

• algorithmic graph theory and combinatorics

• approximation algorithms

• computational complexity

• computational geometry

• computational geometry

• computational learning theory

• economics and algorithmic game theory

• fixed parameter algorithms

• machine learning

• optimization

• parallel and distributed algorithms

• quantum computing

• randomness in computing

• theoretical cryptography

Track B: Logic Semantics and Programming Theory

• algebra and co-algebra in computer science

• concurrency theory

• coordination languages

• formal verification and model-based testing

• logic in computer science

• methods models of computation and reasoning for embedded hybrid and cyber-physical systems

• stochastic and probabilistic specification and reasoning

• theoretical aspects of other CS-related research areas eg computational science databases information retrieval and networking

• theory of programming languages and

• type theory and its application in program verification