Verification of Recursive Systems
Seminar im Wintersemester 2020/2021 an der Westfälischen Wilhelms-Universität Münster
Veranstalter: Prof. Dr. Markus Müller-Olm, Jens Gutsfeld, Christoph Ohrem
Eintrag für diese Veranstaltung im HIS/LSF
Ort und Zeit
Die Vorträge finden im Semester montags 14:15-15:45 Uhr statt.
Der Ort sowie die genauen Termine der einzelnen Vorträge werden noch bekannt gegeben.
Hinweise
- Folien der Vorbesprechung finden Sie im Learnwebkurs zur Vorstellung der Seminare und Projektseminare
- Bei der Vergabe von Vorträgen sind noch einige Themen offen geblieben. Falls Sie noch Interesse haben, an der Veranstaltung teilzunehmen, wenden Sie sich bitte per Mail an Jens Gutsfeld oder Markus Müller-Olm