Disputation: Herr Harry Vinall-Smeeth, M.Sc.
"How Small Can You Go? Lower bounds on representations in knowledge compilation, finite model theory and beyond"
- https://www.informatik.hu-berlin.de/de/events/disputation-herr-harry-vinall-smeeth-m-sc
- Disputation: Herr Harry Vinall-Smeeth, M.Sc.
- 2026-01-12T10:00:00+01:00
- 2026-01-12T23:59:59+01:00
- "How Small Can You Go? Lower bounds on representations in knowledge compilation, finite model theory and beyond"
- Wann 12.01.2026 ab 10:00 Uhr
- Wo Rudower Chaussee 25,12489 Berlin, Humboldt-Kabinett 3.116
- Name des Kontakts Prof. Dr. Nicole Schweikardt
-
iCal
Die Disputation wird mit der Möglichkeit einer Online-Teilnahme für Mitglieder der Kommission und für Gäste (auf Antrag) durchgeführt. Interessierte melden sich bitte bis spätestens 05.01.26, 13.00 Uhr bei Prof. Schweikardt per E-Mail (schweikn@informatik.hu-berlin.de)