Jonas Conneryd's PhD defence
25 September 2026 13:00 | Thesis defence The public defence of the thesis takes place on Friday September 25th, 2026 at 13:00 in E:1406 Thesis title: On the Algebraic Proof Complexity of Constraint SatisfactionAuthor: Jonas Conneryd, Department of Computer Science, Lund UniversityFaculty opponent: Professor Alexander Razborov, University of Chicago, USAExamination Committee:Professor Johan Wästlun
https://www.cs.lth.se/en/calendar/jonas-conneryds-phd-defence - 2026-07-25
