From: 2025-05-08 10:30 to 13:00
Place: E:C, E-huset, LTH, Ole Römers väg 3, Lund
Contact: jonas [dot] conneryd [at] cs [dot] lth [dot] se

Welcome to Jonas Conneryd's licentiate thesis seminar on Thursday May 8th at 10:30-13:00 in E:C

Thesis title: On the Average-Case Proof Complexity of Graph Coloring

Author: Jonas Conneryd, Department of Computer Science, Lund University

Faculty opponent: Ass. Prof. Nutan Limaye, IT University of Copenhagen

Examiner: Prof. Jacek Malec

Supervisor: Prof. Tatyana Turova, LU

Co-supervisor: Senior Lecturer Michael Doggett, LTH

Date and time: Thursday 8 May at 10:30

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

Link to download thesis: To be added

Abstract

To be added