[no_toc]
Talks
[list_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
- Roderick Bloem, Graz University of Technology, Austria
- Edmund M. Clarke, Carnegie Mellon University, US
- Thomas A. Henzinger, Institute of Science and Technology Austria
- Fedor V. Fomin, University of Bergen, Norway
- Georg Weissenbacher, Princeton University, US
- Joao Marques-Silva, University College Dublin / IST/INESC-ID
Workshop on non-classical Logics
- Libor Behounek, Academy of Sciences of the Czech Republic
- Marta Bilkova, Charles University, Prague, Czech Republic
- Felix Bou, Artificial Intelligence Research Institute (IIIA-CSIC), Bellaterra, Spain
- Leonardo Cabrer, University of Bern, Switzerland
- Karel Chvalovsky, Academy of Sciences of the Czech Republic
- Petr Cintula, Academy of Sciences of the Czech Republic
- Jose Gil Ferez, University of Barcelona, Spain
- Tommaso Flaminio, Artificial Intelligence Research Institute (IIIA-CSIC), Bellaterra, Spain
- Lluis Godo, Artificial Intelligence Research Institute (IIIA-CSIC), Bellaterra, Spain
- Zuzana Hanikova, Academy of Sciences of the Czech Republic
- Rotislav Horcik, Academy of Sciences of the Czech Republic
- Tomas Kroupa, Academy of Sciences of the Czech Republic
- Roman Kuznets, University of Bern, Switzerland
- Paolo Maffezioli, University of Florence, Italy
- Enrico Marchioni, Artificial Intelligence Research Institute (IIIA-CSIC), Bellaterra, Spain
- George Metcalfe, University of Bern, Switzerland
- Richard McKinley, University of Bern, Switzerland
- Nicola Olivetti, Paul Cézanne University, Aix-Marseille, France
- Christoph Roethlisberger, University of Bern, Switzerland
- Jiri Velebil, Czech Technical University, Prague, Czech Republic
- Thomas Vetterlein, Johannes Kepler University, Linz, Austria
- Martin Vita, Prague, Czech Republic
- Anna Zamansky, Vienna University of Technology / Tel Aviv University
WorKer 2011
- Faisal Abu-Khzam, Lebanese American University, Lebanon
- Rémy Belmonte, University of Bergen, Norway
- Armin Biere, Johannes Kepler University, Linz, Austria
- Sourav Chakraborty, Chennai Mathematical Institute, India
- Robert Crowston, Royal Holloway, University of London, UK
- Michael R. Fellows, Charles Darwin University, Australia
- Henning Fernau, Universität Trier, Germany
- Fedor Fomin, University of Bergen, Norway
- Archontia Giannopoulou, National and Kapodistrian University of Athens, Greece
- Jiong Guo, University of Saarland, Germany
- Gregory Gutin, Royal Holloway, University of London, UK
- Sepp Hartung, TU Berlin, Germany
- Pinar Heggernes, University of Bergen, Norway
- Marijn Heule, Delft University of Technology, The Netherlands
- Pim van ‘t Hof, University of Bergen, Norway
- Falk Hüffner, TU Berlin, Germany
- Bart Jansen, Utrecht University, the Netherlands
- Matti Järvisalo, University of Helsinki, Finland
- Mark Jones, Royal Holloway, University of London, United Kingdom
- Eunjung Kim, CNRS, France
- Stefan Kratsch, Utrecht University, The Netherlands
- Daniel Lokshtanov, University of California, San Diego, USA
- Dániel Marx, Humboldt-Universität zu Berlin, Germany
- Ramanujan Maadapuzhi Sridharan, The Institute of Mathematical Sciences, India
- Pierre Marquis, Université d’Artois & CRIL-CNRS, France
- Jesper Nederlof, University of Bergen, Norway
- Rolf Niedermeier, TU Berlin, Germany
- Christophe Paul, CNRS – LIRMM (Montpellier), France
- Marcin Pilipczuk, University of Warsaw, Poland
- Michał Pilipczuk, University of Warsaw, Poland
- Arash Rafiey, IDSIA, Switzerland
- Venkatesh Raman, Institute of Mathematical Sciences, Chennai, India
- Frances A. Rosamond, Charles Darwin University, Australia
- Saket Saurabh, The Institute of Mathematical Sciences, India
- Martina Seidl, Johannes Kepler Universität Linz, Austria
- Hadas Shachnai, Technion, Israel
- Narges Simjour, University of Waterloo, Canada
- Karolina Soltys, Max Planck Institute, Germany
- Ondra Suchy, Saarland University, Saarbrucken, Germany
- Jan Arne Telle, University of Bergen, Norway
- Dimitrios Thilikos, National and Kapodistrian University of Athens, Greece
- Erik Jan van Leeuwen, University of Bergen, Norway
- Angelina Vidali, University of Vienna, Austria
- Yngve Villanger, University of Bergen, Norway
- Magnus Wahlström, Max Planck Institute for Informatics, Germany
- Mathias Weller, TU Berlin, Germany
- Anders Yeo, Royal Holloway, University of London, UK