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
23.05.2018 Sandra Dylus Call-Time-Choice als Effekt
16.5.2018
Achtung! Raumänderung!LMS2 - R.Ü1
Thomas Wilke Kryptoboxen
25.04.2018 Rudolf Berghammer Ein einfacher Beweis des Dedekindschen Rekursionssatzes durch Scott-Induction