Conference topics include but are not limited to the following:
- Admissible sets
- Analog computation
- Artificial intelligence
- Automata theory
- Classical computability and degree structures
- Computability theoretic aspects of programs
- Computable analysis and real computation
- Computable structures and models
- Computational and proof complexity
- Computational complexity
- Computational learning and complexity
- Concurrency and distributed computation
- Constructive mathematics
- Cryptographic complexity
- Decidability of theories
- Derandomization
- Domain theory and computability
- Dynamical systems and computational models
- Effective descriptive set theoryv
- Finite model theory
- Formal aspects of program analysis
- Formal methods
- Foundations of computer science
- Games
- Generalized recursion theory
- History of computation
- Hybrid systems
- Higher type computability
- Hypercomputational models
- Infinite time Turing machines
- Kolmogorov complexity
- Lambda and combinatory calculi
- L-systems and membrane computation
- Mathematical models of emergence
- Molecular computation
- Natural computing
- Neural nets and connectionist models
- Philosophy of science and computation
- Physics and computability
- Probabilistic systems
- Process algebra
- Programming language semantics
- Proof mining
- Proof theory and computability
- Quantum computing and complexity
- Randomness
- Reducibilities and relative computation
- Relativistic computation
- Reverse mathematics
- Swarm intelligence
- Type systems and type theory
- Uncertain reasoning
- Weak arithmetics and applications