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
18.07.2018 Jan Tikosvky QuickChance - Applying Probabilistic Programming for Property-based Testing
11.07.2018 Marcellus Siegburg Yesod - Livecoding am Mitarbeitermonitor
20.06.2018 Marius Rasch Einführung in Session Types
13.06.2018 Finn Teegen Synthesizing Set Functions
06.06.2018 Jan Bracker Was ich über Kategorientheorie weiß
30.05.2018 Michael Hanus Equivalence Checking of Non-deterministic Operations
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