Calendar
Upcoming events
10 June 2026 12:00 to 17:00 | SeminarLocation: E:1406, E-building LTH, Klas Anshelms väg 10 /Ole Römers väg 10, Lund, SwedenMachine Learning and Formal Methods
The browser you are using is not supported by this website. All versions of Internet Explorer are no longer supported, either by us or Microsoft (read more here: https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).
Please use a modern browser to fully experience our website, such as the newest versions of Edge, Chrome, Firefox or Safari etc.