List of Visitors

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