Aktuelle Themen aus der Theorie der Programmierung

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

Veranstalter: Prof. Dr. Markus Müller-Olm, Sebastian Kenter, Benedikt Nordhoff, Jens Gutsfeld 

Eintrag für das Seminar im HIS/LSF

---

Ort und Zeit

Vorträge im Semester dienstags 14:15-15:45 Uhr im SRZ 115

---

Inhalt

Anhand von Originalartikeln werden ausgewählte Themen aus dem Gebiet der Theorie der Programmierung von den Teilnehmern erarbeitet und vorgestellt.

• Folien der Vorbesprechung

---

Termine

• 29. Mai - Timo Speer - A new proof rule for almost-sure termination
• 12. Juni - Hanna Schulze Dieckhoff - What is decidable about string constraints with the ReplaceAll function
• 19. Juni - Artur Marks - Thread modularity at many levels: a pearl in compositional verification
• 26. Juni - Stefanie Drerup - A fixpoint calculus for local an global program flows
• 3. Juli - Jan Staggenborg - Temporal reasoning about program executions