AG Programmiersprachen und Übersetzerkonstruktion

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
Verification - Application Demo and Result Presentation

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