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  
30.01.2019 Rudolf Berghammer  
23.01.2019 Marcellus Siegburg  
09.01.2019 Jan Tikovsky  
19.12.2018 Finn Teegen  
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