List of Visitors

Talks

Alexey Gotsman: Abstraction for Weakly Consistent Systems (details)
Doron Peled: Concurrent Software Synthesis: Old Challenge - New Ideas (details)
Donald Knuth: All questions answered (details)
Peter Robinson: Sublinear Bounds for Randomized Leader Election (details)
Andre Platzer: How to Prove Your Robot Safe (details)
Hubie Chen: Meditations on Quantified Constraint Satisfaction (details)
Wilfried Steiner: Model-Checking Fault-Tolerant Clock Synchronization Protocols (details)
Reiner Hähnle: Abstract Symbolic Execution (details)
Torsten Schaub: Potassco, the Potsdam Answer Set Solving Collection. (details)
EunJung Kim: Linear kernels and single-exponential algorithms via protrusion decompositions (details)
Diego Calvanese: Verification of Relational Data-Centric Dynamic Systems with External Services (details)
Pietro Baroni: Abstract argumentation semantics: from limits to perspectives (details)
Loris Bozzato: CKR: a general framework for context in Semantic Web (details)
Samanta Roopsha: Robustness Analysis of Networked Systems (details)
Javier Esparza: Parameterized Verification of Asynchronous Shared-Memory Systems (details)
Alexander Pretschner: Model-Based Security Testing: From Models to the Real World (details)
Andrey Rybalchenko: Program verification as constraint solving (also for existential and universal CTL properties) (details)
Tomer Kotek: Applications of logic in graph theory: definability of graph invariants (details)
Madalina Erascu
Christoph Lenzen: Fast Routing Table Construction Using Small Messages (details)
Miroslaw Truszczynski: Connecting first-order ASP and the logic FO(ID) through reducts (details)
James Delgrande: Revising Horn Theories (details)
Andreas Griesmayer: Model checking Business Processes with Multi-Agent Systems (details)
Leonid Libkin: Graph Logics and Relations on Words (details)
Robert Ganian: Generalizing vertex cover as a graph parameter (details)
Xavier Rival: MemCAD, a Modular Abstract Domain for Reasoning on Memory States (details)
Workshop on Logic and Algebra: Workshop on Logic and Algebra (details)
Florent Madelaine: On the complexity of the model checking problem for syntactic fragments of first-order logic (details)
Iyad Kanj: What makes normalized weighted satisfiability tractable (details)
Ruslan L. Smeliansky: Computer Systems Laboratory – Skills, Experience, Main Research Directions (details)
Werner Dietl: Verification Games: Making Verification Fun (details)
Ana Sokolova: Quantitative Relaxation of Concurrent Data Structure (details)
Vladimir Zakharov: Automata-theoretic approach to the equivalence checking problem for sequential programs (details)
Vladimir Zakharov: Equivalence Checking Problem: 1953 - 2011 (survey) (details)
Stefan Szeider: Mini-Workshop on Logic, Proofs and Algorithms (details)
Nikolaj Bjorner: Taking Satisfiability to the Next Level with Z3 (details)
Byron Cook
Justyna Petke: On the bridge between Constraint Satisfaction and Boolean Satisfiability (details)
Neeldhara Misra: From FVS to F-deletion: the Story of a Simple Algorithm (details)
Hubie Chen: Decomposing First-Order Logic (details)
Christoph Lenzen: Improved Bounds for Byzantine Self-stabilizing Clock Synchronization (details)
Workshop: Concepts and Meaning: Concepts and Meaning -- Workshop in honour of Alexander Leitsch's 60th Birthday (details)
Meghyn Bienvenu: On the compexity of querying data through ontologies (details)
D. Eckert, C. Klamler: TUTORIAL: Social Choice - problems, results, tools and recent extensions (details)
Simone Bova: Expression Complexity of Conjunctive Queries (details)
Giorgio Levi: Abstract interpretation: from theory to applications (details)
Jasmin Fisher: From Coding the Genome to Algorithms Decoding Life (details)
Laura Kovacs: Playing in the Grey Area of Proofs (details)
Ana Sokolova: Course on Coalgebra in Computer Science (details)
Johannes Fürnkranz: Course on Inductive Rule Learning (details)
Daniel Paulusma: Lift Contractions (details)
Olga Tveretina: Relative Efficiency of Propositional Proof Systems Based on Resolution and OBDDs (details)
Edmund M. Clarke: 30 Years of Model Checking (details)
Joao Marques-Silva: Practical Algorithms for Minimal Unsatisfiable Core Extraction (details)
Georg Weissenbacher: Battling Bugs with Interpolants (details)
Fedor V. Fomin: Kernelization Algorithms (details)
Thomas A. Henzinger: Formal Specification and Verification of Markovian Population Models (details)
Moritz Müller: On lower bounds for Res(k) (details)
Daniel Lokshtanov: Generalization and Specialization of Kernelization (details)
Anders Yeo: Simultaneously Satisfying Linear Equations Over F_2: Parameterized Above Average (details)
Pierre Marquis: A Few Words about Knowledge Compilation (details)
Bart Jansen: Kernelization for a Hierarchy of Structural Parameters (details)
Michael R. Fellows: Kernelization and the Larger Picture of Practical Algorithmics, in Contemporary Context (details)
Sourav Chakraborty: Property Testing: Sublinear Algorithms for Promise Problems (details)
Armin Biere: Preprocessing and Inprocessing Techniques in SAT (details)
Fedor V. Fomin: Protrusions in graphs and their applications (details)

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