Our group has co-organized the Vienna Summer of Logic.

Research

Fundamental research topics include software model checking, test case generation, static analysis, protocol verification, and formal methods for distributed and concurrent systems. Industrial research is focusing on low level software, and embedded systems in the avionics and automotive sector.

Learn more

Teaching

We are offering courses in Formal Methods, Model Checking, Computer-Aided Verification, Abstract Interpretation, and Decision Procedures. We are always looking for enthusiastic young people who are interested in a research project or thesis in the Bachelor, Master, and PhD programs.

Learn more

Talks (details)

VCLA
Alexey Ignatiev
Efficient Model Based Diagnosis with Maximum Satisfiability
Fri, Aug 14 at 10:15
Freihaus, green area, 5th floor, Hörsaal SEM 104
details

VCLA
Caterina Urban
Abstract Interpretation as Automated Deduction
Fri, Aug 14 at 09:30
Freihaus, green area, 5th floor, Hörsaal SEM 104
details

VCLA
Stephan Holzer
New Algorithms and Lower Bounds in Distributed Computing
Tue, Aug 04 at 16:00
Menger room, Favoritenstrasse 11, 3rd floor
details

VCLA
Sarah Kirchner
Appointment scheduling in hospitals - sequencing and scheduling using time aggregation
Tue, Aug 04 at 10:30
Menger room, Favoritenstrasse 11, 3rd floor
details

VCLA
Peter Stadler
Dynamic Programming for Lazy Bastards
Wed, Jul 08 at 16:00
EI 2 Pichelmayer Hörsaal
details

VCLA
Alexandru Popa
Algorithmic and Hardness Results for the Colorful Components Problems
Tue, Jul 07 at 14:00
Seminarroom E186 (Favoritenstrasse 9-11, 5th floor)
details

VCLA
Paolo Papotti
Beyond declarative data cleaning
Thu, Jul 02 at 11:00
Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
details

VCLA
Dana S. Scott
Can Modalities Save Naive Set Theory?
Mon, Jun 29 at 18:00
Lecture hall EI10, Gußhausstraße 27-29, 1040 Vienna
details

VCLA
Wolfgang Gatterbauer
The Linearization of Pairwise Markov Random Fields
Wed, Jun 24 at 13:00
Seminar room Goedel, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
details

VCLA
Tomas Vojnar
From Pointers to List Containers
Wed, Jun 10 at 16:00
Lecture hall EI2, Gußhausstraße 25, 2.Stock, Stiege VIII
details

Latest News

Helmut Veith receives CAV Award

The 2015 CAV Award is given to Edmund Clarke, Orna Grumberg, Ron Hardin, Zvi Harel, Somesh Jha, Robert Kurshan, Yuan Lu, and Helmut Veith for the development and implementation of the localization-reduction technique and the formulation of counterexample-guided abstraction refinement (CEGAR).

Continue reading

FRIDA’15

We had great talks at FRIDA’15 workshop in Grenoble. The slides of some of the talks are available online.

Continue reading

FRIDA’15 Program

Check the program of the 2nd workshop on Formal Reasoning in Distributed Algorithms at FORTE. We have a nice program this year.

Continue reading

Full news archive