AG Informatik, Logik und Mathematik

Hier finden Sie die aktuellen Termine der Arbeitsgemeinschaft.

Vorträge finden statt im Raum CAP 4 R. 715 jeweils mittwochs 12.15-13.45 Uhr.

 

  Termin   
Vortragende/r 
Titel
20.11.2013 Rudolf Berghammer
Berechnung und Visualisierung von Banks-Mengen von Dominanz-Relationen mittels Relationenalgebra und RelView
27.11.2013 Nikita Danilenko
Funktoren, Fixpunkte und Faltungen
04.12.2013
Insa Stucke
Automated Verification of a Relational Matching Program
11.12.2013
Julius Angres
Einfache Spiele und Automaten
18.12.2013
Henning Schnoor
Dynamic Noninterference
08.01.2014
Jan Tikovsky
 
15.01.2014
Björn Peemöller
 
22.01.2014
Frank Huch
 
29.01.2014
Michael Hanus
 
05.02.2014
Fabian Skrlac