List of Visitors

[no_toc]

Talks

Events

The following people have visited the Vienna Center for Logic and Algorithms for one or more of our events:

Winter School on Verification, 6-10 February 2012

  • Gábor Alagi, ELTE Budapest 
  • Simon Außerlechner, TU Graz
  • Armin Biere, JKU Linz
  • Frantisek Blahoudek, Masaryk University Brno
  • Roderick Bloem, TU Graz
  • Bart Bogaerts, KU Leuven
  • Brankica Bratic, University of Novi Sad
  • Petra Brosch, TU Vienna
  • Christian Cerncic, Austrian Institute of Technology
  • Krishnendu Chatterjee, IST Austria
  • Jelena Colic, University of Novi Sad
  • Yulia Demyanova, TU Vienna
  • Ioan Dragan, TU Vienna
  • Uwe Egly, TU Vienna
  • Andreas Fröhlich, JKU Linz
  • Sebastian Gabmeyer, TU Vienna
  • Karl Gmeiner, TU Vienna
  • Patrice Godefroid, Microsoft Research
  • Aleksandr Golovnev, St. Petersburg University
  • Alexandra Goultiaeva, University of Toronto
  • Radu Grosu, TU Vienna Emre Gul, Koc University
  • Alexandru Gyori, Politehnica University of Timisoara
  • Thomas A. Henzinger, IST Austria
  • Georg Hofferek, TU Graz
  • Milena Vujosevic Janicic, Belgrade University
  • Annu John, TU Vienna
  • Ioana Jucu, TU Vienna
  • Ayrat Khalimov, TU Graz
  • David Klaška, Masaryk University Brno
  • Miroslav Klimoš, Masaryk University Brno
  • Robert Koenighofer, TU Graz
  • Lubos Korenciak, Masaryk University Brno
  • Laura Kovacs, TU Vienna
  • Gergely Kovasznai, JKU Linz
  • Bernhard Kragl, TU Vienna
  • Jan Krcal, Masaryk University Brno
  • Kujtim Rahmani, SS Cyril and Methodius University of Macedonia
  • Ismail Kuru, KOC University
  • Jean-Marie Lagniez, JKU Linz
  • Sabine Laszakovits, TU Vienna
  • Michael Lippautz, University of Salzburg
  • Bojan Marinkovic, Serbian Academy of Sciences and Arts
  • Darko Martinovikj, SS Cyril and Methodius University of Macedonia
  • Martin Milata, Masaryk University Brno
  • Ada Neagu, TU Vienna
  • Aina Niemetz, JKU Linz
  • Petr Novotny, Masaryk University Brno
  • Thomas Pani, TU Vienna
  • Ivan Petrushenko, University of Kiev
  • Mathias Preiner, JKU Linz
  • Thomas Reinbacher, TU Vienna
  • Vikram Saralaya, TU Eindhoven
  • Ulrich Schmid, TU Vienna
  • Martina Seidl, JKU Linz
  • Kristina Spirovska, SS Cyril and Methodius University of Macedonia
  • Robert Stoegbuchner, TU Graz
  • Zlatka Trajcheska, SS Cyril and Methodius University of Macedonia
  • Helmut Veith, TU Vienna
  • Magdalena Widl, TU Vienna
  • Jakob Zwirchmayr, TU Vienna

VCLA Opening, January 2012

Workshop on non-classical Logics

WorKer 2011