The Vienna Center for Logic and Algorithms (www.VCLA.at) is an initiative of Vienna University of Technology (TU Vienna). Located at the Faculty of Informatics, the Center promotes international scientific collaboration in logic and algorithms.
The Center celebrates its opening through the following three events:
SYMPOSIUM "LOGIC AND ALGORITHMS: A SCIENTIFIC PERSPECTIVE"
Wednesday, 25th January 2012, 9:00-15:00, Festsaal, TU Vienna
Invited Speakers:
* Edmund M. Clarke, Carnegie Mellon University
* Fedor V. Fomin, University of Bergen
* Thomas A. Henzinger, IST Austria
* Joao Marques-Silva, University College Dublin & IST/INESC-ID
* Georg Weissenbacher, Princeton University
OFFICIAL OPENING CEREMONY
Wednesday, 25th January 2012, 15:00-16:00, Festsaal, TU Vienna
Speakers:
* 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
AWARD OF A HONORARY DOCTORATE TO E.M. CLARKE
Thursday, 26th January 2012, 10:00, Boecklsaal, TU Vienna
For details see the Center's website at http://www.VCLA.at
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
