Algorithms and Networks
This theme addresses emerging research challenges in networks and distributed computing, graph theory, scheduling, reachability, and, more recently, the underpinning area of data structures and complexity theory.
Economics and Computation
This theme addresses research challenges in algorithmic game theory and mechanism design.
Artificial Intelligence
This theme addresses research challenges in autonomous systems, argumentation, and multi-agent systems, and has significantly expanded into machine learning and data mining and its applications in natural language processing, vision, and robotics.
Logical methods in Computer Science
This theme addresses research challenges in the logical foundations of computing, automated reasoning, formal verification, and knowledge representation.