[AI-announce] Lehrveranstaltungen der Arbeitsgruppe "Logik und formale Verifikation"

[Thomas Zeume]

Liebe Informatik-Studierende,

zum Beginn der Vorlesungen im Sommersemester möchten ich auf eine 
Veranstaltung unserer Arbeitsgruppe hinweisen. Nähere Informationen 
erhalten Sie auch in der ersten Vorlesung und im entsprechenden Moodle-Kurs.


## Vorlesung "Model Checking“
Vorlesung: Donnerstags 12:15-14 Uhr, Raum MC 1.30/31
Übung: Dienstags 14:15-16 Uhr, Raum MC 1.54
Erster Termin: Vorlesung, Donnerstag, 06.04.2023, 12:15 Uhr
https://moodle.ruhr-uni-bochum.de/course/view.php?id=51415


Alle Lehrveranstaltungen unserer Arbeitsgruppe finden Sie unter 
https://informatik.rub.de/logic-and-fv/teaching/courses/.


Viele Grüße und einen guten Start ins Sommersemester
Thomas Zeume

-- 
Prof. Dr. Thomas Zeume
Logic and formal verification

Faculty of Computer Science
Ruhr University Bochum
Universitätsstraße 150
44801 Bochum

Phone: +49 (0)234 32-19609
Mail: thomas.zeume at rub.de