Mittwoch, 9. Oktober 2024

• 16:00 Uhr, CORE Oldenburg

  Antrittsvorlesung: "Formale Methoden"

  Logik und (maschinelles) Lernen

  mit Prof. Dr. Heike Wehrheim.

  Veranstalter: Carl von Ossietzky Universität Oldenburg, Department für Informatik