Loading Events

« All Events

  • This event has passed.

PhD defense: Certifying Combinatorial Optimization : A Unified Approach Using Pseudo-Boolean Reasoning

May 29 @ 13:30 - 23:59

Welcome to the doctoral defense of Andy Oertel

Date and time: May 29, 13:30

Location: Lecture Hall E:1406, building E, Ole Römers väg 3, Faculty of Engineering LTH, Lund University, Lund. The dissertation will be live streamed, but part of the premises is to be excluded from the live stream. Zoom

Doctoral student: Andy Oertel

Title:Certifying Combinatorial Optimization : A Unified Approach Using Pseudo-Boolean Reasoning

Original location: Lecture Hall E:1406, building E, Ole Römers väg 3, Faculty of Engineering LTH, Lund University, Lund and via Zoom

Details

  • Date: May 29
  • Time:
    13:30 - 23:59
  • Event Category:

Venue