Loading Events

« All Events

PhD Defense: On the Algebraic Proof Complexity of Constraint Satisfaction

September 25 @ 13:00 16:00

Welcome to the doctoral defense of Jonas Conneryd

Date and time: September 25, 13:00

Location: E:1406, E-huset, Klas Anshelms väg 10/Ole Römers väg 3, Lund

Doctoral student: Jonas Conneryd

Title: On the Algebraic Proof Complexity of Constraint Satisfaction

Klas Anshelms väg 10 223 63 Sweden + Google Map