News
Oberseminar: Nils' Research
Oberseminar: Nils' Research Place: R 210, Am Regenbogen 15Nils will speak about "Modelling Coalitions: ATL + Argumentation".
Nils and Wojtek in Braunschweig
Nils and Wojtek in Braunschweig Nils and Wojtek represent our group at "Logik in der Informatik 14".-Logik in der Informatik 14-