A

• Agent-based financial modelling
• Algorithms At Large

B

• Bayesian Deep Learning

C

• Complexity and equilibria
• Compositional Distributional Models of Meaning
• Computational game theory
• Computational Linguistics
• Computational social choice
• Concurrency in games

D

• Databases
• Deep Learning
• Deep Reinforcement Learning

K

• Knowledge Representation and Reasoning

L

• Logics for strategic reasoning

M

• Machine Learning Systems

P

• Program Induction

R

• Rational verification

S

• Software Engineering