Logo der Universität Wien

Invited keynote at the 44th International Colloquium on Automata, Languages, and Programming (ICALP):

Jul 19 2017

Monika Henzinger gave a keynote on "Efficient algorithms for graph-related problems in computer-aided verification" at ICALP 2017.

Contact us
Faculty of Computer Science
University of Vienna

Währinger Straße 29
A-1090 Vienna