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