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
10.07.2019 Michael Hanus "Some expressions are more equal than others"
(George Orwell: Animal Farm, Haskell edition)
19.06.2019 Sandra Dylus One Monad to Prove Them All -
Aktueller Stand und weitere Ideen
12.06.2019 Henning Schnoor Dynamic Software Metrics
05.06.2019 Marius Rasch Direkte Übersetzung von Curry-Nichtdeterminismus nach Erlang
15.05.2019 Finn Teegen Übersetzung funktionaler Muster mithilfe inverser Funktionen
24.04.2019 Rudolf Berghammer Ein effizienter Algorithmus zur Berechnung der grossen induktiven Dimension