Official Opening

The Vienna Center for Logic and Algorithms (VCLA) celebrates its official opening:

Wednesday, January 25, 2012

09:00

Symposium »Logic and Algorithms: A Scientific Perspective«

Thomas A. Henzinger, IST Austria
Fedor V. Fomin, University of Bergen
Georg Weissenbacher, Princeton University
Joao Marques-Silva, University College Dublin & IST/INESC-ID
Edmund M. Clarke, Carnegie Mellon University

event details

15:00 

Official Opening of the Vienna Center for Logic and Algorithms

Sabine Seidler, Rector of the TU Vienna
Gerald Steinhardt, Dean of the Faculty of Informatics, TU Vienna
Stefan Szeider and Helmut Veith, VCLA, Co-chairs, TU Vienna

The opening event takes place at Festsaal (1040 Wien, Karlsplatz 13, Stiege I, 1. Stock).

Thursday, January 26, 2012

10:00

Award of the Honorary Doctorate to
Edmund M. Clarke, Carnegie Mellon University

event details

The award ceremony takes place at Boecklsaal (1040 Wien, Karlsplatz 13, Stiege I, 1. Stock).

Photos

Photos by Nadja Meister.

Comments are closed.