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
01.11.207 Michael Hanus Static Contract Verification with SMT Solvers
08.11.2017 Marius Rasch Secure Multi-Party Computation - A Protocol for an Online Survey with Several Independent Servers
22.11.2017 Rudolf Berghammer Topologische Dimension, Algorithmen und mathematische Experimente
29.11.2017 Henning Schnoor

Information-flow Security:
Definitions, Characterizations and Verification Complexity

06.12.2017 Finn Teegen Optimierung des Kompilationsschemas des KiCS2
13.12.2017 Sandra Dylus  
20.12.2017 Jan Bracker  
10.01.2018 Marcellus Siegburg  
17.01.2018 Hans Langmaack  
24.01.2018 Jan Rasmus Tikovsky  
31.01.2018    
07.02.2018 Jan Christiansen