Jonas Conneryd försvarar sin avhandling i Datavetenskap med titeln "On the Algebraic Proof Complexity of Constraint Satisfaction".

Opponent är professor Alexander Razborov, University of Chicago, USA.

Disputationen kommer realtidsströmmas, men del av lokalen är undantagen realtidsströmningen.