Seminar: Infinite State Model Checking

Seminar im Sommersemester 2020 an der Westfälischen Wilhelms-Universität Münster

Veranstalter: Prof. Dr. Markus Müller-Olm, Jens Gutsfeld, Christoph Ohrem

Eintrag für das Seminar im HIS/LSF

Learnweb-Kurs zu dieser Veranstaltung

Hinweise:

• Weitere Informationen finden Sie im Learnweb-Kurs zu dieser Veranstaltung. Die Teilnehmer wurden bereits für den Learnweb-Kurs registriert. Eine Selbsteinschreibung ist deshalb nicht vorgesehen.
• Die Vorbesprechung mit der verbindlichen Anmeldung und der Themenvergabe ist am 22.01.2020 um 15:15 Uhr im Lichthof in der 7. Etage.
• Die Folien aus der Vorbesprechung stehen zum Download zur Verfügung.

Vorträge:

• 11.05.2020 18.05.2020, 14:15-15:45 Uhr
  Vortragender: Ole Köpcke
  Betreuer: Jens Gutsfeld
  Thema: A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes

• 18.05.2020 25.05.2020, 14:15-15:45 Uhr
  Vortragender: Markus Konetzny
  Betreuer: Jens Gutsfeld
  Thema: Collapsible Pushdowm Automata and Recursion Schemes

• 25.05.2020 08.06.2020, 14:15-15:45 Uhr
  Vortragender: Philip Tasche
  Betreuer: Christoph Ohrem
  Thema: Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking

• 15.06.2020, 14:15-15:45 Uhr
  Vortragender: Severin Schmitz
  Betreuer: Jens Gutsfeld
  Thema: The Power of Well-Structured Systems

• 22.06.2020, 14:15-15:45 Uhr
  Vortragender: Leon Pernak
  Betreuer: Jens Gutsfeld
  Thema: Decidability Results for Well-Structured Transition Systems with Auxiliary Storage

Wegen der Corona-Pandemie finden die Vorträge im Rahmen von Videokonferenzen statt. Weitere Informationen dazu finden Sie im Learnweb-Kurs.

Die schriftlichen Ausarbeitungen müssen zwei Wochen vor Beginn des Vortrags beim entsprechenden Betreuer abgegeben werden.