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
02.11.2016 Rudolf Berghammer Column-wisely extendible vector expressions and the       relational computation of sets of sets
16.11.2016 Sandra Dylus Relativ gute Variablennamen
30.11.2016 Michael Hanus Verifying Non-Deterministic Programs with Agda
07.12.2016 Walter Guttmann Relationenalgebraische Verifikation von Prims                 Algorithmus für Minimale Spannbäume
14.12.2016    
21.12.2016    
28.12.2016 - unterrichtsfrei -
04.01.2017 - unterrichtsfrei -
11.01.2017    
18.01.2017    
26.01.2017    
01.02.2017    
08.02.2017