HIGHLIGHTS26: HIGHLIGHTS 2026
Scope

Representative HIGHLIGHT'26 areas include, but are not restricted to:

  • Algebraic and categorical models of computation
  • Algorithmic model theory
  • Automata theory
  • Databases
  • Games for logic, verification, and semantics 
  • Logic
  • Verification