AG Informatik, Logik und Mathematik
Hier finden Sie die aktuellen Termine der Arbeitsgemeinschaft.
Vorträge finden im Raum R. 715 (CAP 4) jeweils mittwochs 12:15 - 13:45 Uhr statt:
| Termin | Vortragende/r | Titel |
|---|---|---|
| 06.02.2019 | Marius Rasch | Analyse von Sicherheitsprotokollen mit Konzepten aus Programmiersprachen |
| 30.01.2019 | Rudolf Berghammer | Ein einfacher und effizienter Algorithmus zur Berechnung der Ueberdeckungsdimension |
| 23.01.2019 | Marcellus Siegburg |
State Chart and Requirement Transformation and |
| 09.01.2019 | Jan Tikovsky | Ein Überblick über verschiedene Informatikausbildungen |
| 19.12.2018 | Finn Teegen | Algebraische Effekte - Eine Einführung |
| 12.12.2018 | Matthias Renz | Searching in Information Networks: Studies on Trend Flow, Information Flow, and Heterogeneous Information Network Analysis |
| 21.11.2018 | Sandra Dylus | Modellierung von Call-Time Choice durch Algebraische Effekte |
| 07.11.2018 | Michael Hanus | Nie wieder Fehlersuche! Verifikation fehlerfreier Programme |