Webbläsaren som du använder stöds inte av denna webbplats. Alla versioner av Internet Explorer stöds inte längre, av oss eller Microsoft (läs mer här: * https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Var god och använd en modern webbläsare för att ta del av denna webbplats, som t.ex. nyaste versioner av Edge, Chrome, Firefox eller Safari osv.

28

nov

Andy Oertel's Licentiate Seminar

28 november 2025 13:30 | Seminarium

Welcome to Andy Oertel's licentiate thesis seminar on Friday November 28th at 13:30-15:45 in E:1406

  • Thesis title: Certifying Combinatorial Optimization Using Pseudo-Boolean Reasonings
  • Author: Andy Oertel, Department of Computer Science, Lund University
  • Faculty opponent: Associate Professor Marco Chiarandini, University of Southern Denmark
  • Examiner: Professor Jacek Malec, LTH
  • Supervisor: Professor Jakob Nordström, LTH
  • Co-supervisor: Assistant Professor Susanna de Rezende, LTH
  • Date and time: Friday 28 November at 13:30
  • Location: E:1406, E-huset, LTH, Klas Anshelms väg 10/Ole Römers väg 3, Lund
  • A link to download the thesis will be added later

 

Abstract

An abstract will be added later

 

Om evenemanget

Plats:

E:1406, E-huset, LTH, Ole Römers väg 3, Lund

Kontakt:

andy [dot] oertel [at] cs [dot] lth [dot] se