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