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 |
|---|---|---|
| 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 |