Logic and Complexity (2015/2016)

Organizers: Agata Ciabattoni (WPI c/o TU Wien), Reinhard Pichler (TU Wien), Stefan Szeider (WPI c/o TU Wien), Helmut Veith (WPI c/o TU Wien), Stefan Woltran (WPI c/o TU Wien)

Events

Workshop on "Algebra and Coalgebra meet Proof Theory" (external website )
Location: TU Wien, Boecklsaal Time: 7. Apr 2016 (Thu) - 9. Apr 2016 (Sat); Opening: 9:00
Organisation(s) TU Wien & WPI Organiser(s) Agata Ciabattoni (WPI c/o TU Wien)

ARTEMATICA 2015 - Wolfgang Pauli Lectures
Location: Künstlerhaus, Karlsplatz 5, 1010 Vienna Time: 12. Oct 2015 (Mon) - 12. Oct 2015 (Mon); Opening: 15:00
Organisation(s) WPI Organiser(s) Georg Gottlob (WPI c/o TU Wien & U. Oxford) Norbert Mauser (WPI c/o U.Wien)
Remark: Click here for further information

Talks in the framework of this thematic program... (by date) , (by name)

Visitors