lu.se

Datavetenskap

Lunds Tekniska Högskola

2019 och senare

22 October

MIAO video seminar: Verified proof checkers

Tid: 2021-10-22 14:00 till 16:00 Typ: Seminarium

[Läs mer]

15 October

MIAO video seminar: Logic-based explainable AI

Tid: 2021-10-15 10:00 till 12:00 Typ: Seminarium

[Läs mer]

04 October

01 October

CS MSc Thesis Zoom Presentation 1 October 2021

Tid: 2021-10-01 13:15 till 14:00 Typ: Föreläsning

[Läs mer]

23 September

CS MSc Thesis Zoom Presentation 23 September 2021

Tid: 2021-09-23 13:00 till 14:00 Typ: Föreläsning

[Läs mer]

20 September

MIAO video seminar: KRW composition theorems via lifting

Tid: 2021-09-20 14:00 till 16:00 Typ: Seminarium

[Läs mer]

17 September

06 September

MIAO video seminar: Lifting with sunflowers

Tid: 2021-09-06 14:00 till 16:00 Typ: Seminarium

[Läs mer]

27 August

26 August

CS MSc Thesis Presentation Day August 26

Tid: 2021-08-26 10:15 till 12:00 Typ: Föreläsning

[Läs mer]

21 June

Additional CS MSc Thesis Zoom Presentations 21 June 2021

Tid: 2021-06-21 13:15 till 14:00 Typ: Föreläsning

[Läs mer]

CS MSc Thesis Presentation Day June 21

Tid: 2021-06-21 09:15 till 15:00 Typ: Föreläsning

[Läs mer]

11 June

CS BSc Thesis Zoom Presentation 11 June 2021

Tid: 2021-06-11 11:15 till 12:00 Typ: Föreläsning

[Läs mer]

10 June

CS MSc Thesis Presentation Day June 10

Tid: 2021-06-10 09:15 till 18:00 Typ: Föreläsning

[Läs mer]