2026
Speaker: Luis Felipe Vargas (IDSIA, University of Applied Sciences and Arts of Southern Switzerland)
Title: On the Automatability of Sum-of-Squares Proofs
Date: Wednesday, February 11
Speaker: Ben Bals (Vrije Universiteit Amsterdam)
Title: Shortcut Sets: Reducing the Diameter of Directed Graphs
Date: Wednesday, January 28
