Tuesday - 29 June
  • Invited Talk - Martin Grohe
    Title: The logic of graph neural networks
    15:00 - 16:00
  • Break
    16:00 - 16:30
  • Polynomial time, games, and complexity
    16:30 - 17:30
  • Security
    16:30 - 17:30
  • Break
    17:30 - 18:00
  • CSP
    18:00 - 19:00
  • Types I
    18:00 - 19:00
  • Probabilistic Aspects
    18:00 - 19:00
Wednesday - 30 June
  • Invited Talk - Maurizio Lenzerini
    Title: Abstraction in data integration
    15:00 - 16:00
  • Break
    16:00 - 16:30
  • Automata
    16:30 - 17:30
  • Lambda-calculus
    16:30 - 17:30
  • Logic and Proof
    16:30 - 17:30
  • Break
    17:30 - 18:00
  • Invited Talk - Nadia Polikarpova
    Title: Synthesis of Safe Pointer-Manipulating Programs
    18:00 - 19:00
Thursday - 01 July
  • Invited Talk - Ryan Williams
    Title: Complexity Lower Bounds from Algorithm Design
    15:00 - 16:00
  • Break
    16:00 - 16:30
  • Graphs and words
    16:30 - 17:30
  • Concurrency and formal aspects of program analysis
    16:30 - 17:30
  • Quantum programs and circuits
    16:30 - 17:30
  • Break
    17:30 - 18:00
  • Awards+Business
    18:00 - 19:00
Friday - 02 July
  • Invited Talk - Luca Aceto
    Title: In search of lost time: Axiomatising parallel composition in process algebras
    15:00 - 16:00
  • Break
    16:00 - 16:30
  • Algebra, arithmetic, and logic
    16:30 - 17:30
  • Reasoning about processes
    16:30 - 17:30
  • Types II
    16:30 - 17:30
  • Break
    17:30 - 18:00
  • Modal Logic
    18:00 - 19:00
  • Categories
    18:00 - 19:00