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 |
|---|---|---|
| 12.04.2017 | Insa Stucke | Verification of a relational program in Isabelle/HOL |
| 19.04.2017 | Rudolf Berghammer | Tool-based relational investigation of closure-interior relatives for finite topological spaces |
| 03.05.2017 | Sandra Dylus | Freie Modellierung funktionaler Programme |
| 10.05.2017 | - entfällt - | |
| 17.05.2017 | - entfällt - | |
| 24.05.2017 | - entfällt - | |
| 31.05.2017 | Michael Hanus | Eliminating Irrelevant Non-determinism in Functional Logic Programs |
| 07.06.2017 | - entfällt - | |
| 14.06.2017 | Marcellus Siegburg | Formalising a language for requirement |
| 21.06.2017 | - entfällt - | |
| 28.06.2017 | Henning Schnoor | |
| 05.07.2017 | Finn Teegen | |
| 12.07.2017 | Jan Tikovsky | |
| 19.07.2017 | Jan Christiansen | |