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
John D. Barrow
100 Years of Universes
Fri, Jul 26 at 18:30
Universität Wien, Großen Festsaal, Universitätsring 1, 1010 Wien
details

VCLA
Juliet Floyd
In and Out of Mind: Wittgenstein and Gödel, Post and Turing
Thu, Jul 25 at 17:00
Universität Wien, Großen Festsaal, Universitätsring 1, 1010 Wien
details

VCLA
Alessio Gizzi
Multiphysics modeling of nonlinear cardiac dynamics: Experiments, Theory and Simulations
Thu, Jul 11 at 12:45
Library 191-1 (Treitlstrasse 3, 3rd Floor)
details

VCLA
Andrea Cali
Querying Web Data: A Computational Perspective
Mon, Jul 08 at 17:00
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details

VCLA
Andreas Pieris
Counting Database Repairs under Primary Keys Revisited
Mon, Jul 08 at 16:00
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details

VCLA
Peter Stuckey
The Multi-Agent Path Finding Problem
Mon, Jul 01 at 15:00
Seminarraum FAV 01 B (Seminarraum 187/2) (Favoritenstrasse 9-11 - 1. Obergeschoß Room Number: HF0109)
details

VCLA
Olivia Erdélyi
Why Bother With Regulation and Ethics? We Just Develop the Technology...
Tue, Jun 25 at 13:00
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
details

RiSE seminar
Mateus de Oliveira Oliveira
Some Width Measures for Proofs
Mon, Jun 24 at 16:00
TU Wien, Favoritenstr. 9-11, FAV Hörsaal 2
details

VCLA
Mateus de Oliveira Oliveira
Some Width Measures for Proofs
Mon, Jun 24 at 16:00
FAV Hörsaal 2 (room FAV HS 2), Favoritenstrasse 9-11, 1040, Vienna
details

VCLA
Daniel Le Berre
Recursive Explore and Check Abstraction Refinement (RECAR)
Tue, Jun 18 at 14:00
Library of the Algorithms and Complexity Group, HB 04 08 (Favoritenstrasse 9-11)
details

VCLA
Anne Schreuder
Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
Mon, Jun 17 at 10:00
FORSYTE/RiSE seminar talk by Mateus de Oliveira Oliveira (U. Bergen, http://unitslice.org/
details

RiSE seminar
Anne Schreuder
Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
Mon, Jun 17 at 10:00
TU Wien, Favoritenstr. 9-11, FAV Hörsaal 2
details

RiSE seminar
Aleksandar Nanevski
Type and Proof Structures for Concurrent Software Verification
Thu, Aug 16 at 17:00
TU Wien, Favoritenstr. 9-11, Seminarraum Gödel
details

RiSE seminar
Joost-Pieter Katoen
Bayes meets Dijkstra -- Exact Inference by Program Verification
Wed, Jun 06 at 17:00
TU Wien, Seminarraum 127 (Gußhausstr. 25-29 - Stiege 1 - 3.Stock)
details

RiSE seminar
Warren Hunt
Industrial Hardware and Software Verification with ACL2
Wed, May 30 at 17:00
TU Wien, Seminarraum 127 (Gußhausstr. 25-29 - Stiege 1 - 3.Stock)
details

RiSE seminar
Joel Ouaknine
Program Invariants
Tue, May 29 at 15:45
IST, Mondi Seminar Room 2, Central Building
details

RiSE seminar
Alexey Bakhirkin
Towards Fast Parametric Identification for STL
Wed, May 23 at 17:00
IST Austria, Mondi 2
details

RiSE seminar
Stefan Schmid
Polynomial-Time What-If Analysis for Communication Networks: An Automata-Theoretic Approach
Wed, May 09 at 17:00
IST, Mondi 2
details

RiSE seminar
Stefan Ratschan
Counter-example Guided Inductive Synthesis in the Continuous World
Tue, May 08 at 15:00
IST Austria, Mondi 2
details

RiSE seminar
Oded Padon
Deductive verification of distributed protocols in first-order logic
Wed, Apr 18 at 17:00
IST Austria, Mondi 2
details

Latest News

WWTF ICT project awarded to Igor Konnov

Igor Konnov (PI), together with Josef Widder (co-PI) and Helmut Veith (core team), are awarded an ICT research project APALACHE “Abstraction-based Parameterized TLA Checker” by the Vienna Science and Technology Fund WWTF.

Continue reading

Austrian Computer Science Day 2015

The Austrian Computer Science Day 2015, which takes place on October 15, features a range of talks by leading Austrian computer scientists, including topics such as computer games, augmented reality, aware systems, semantic web, business processes, and reliable systems. Register for free by October 7, 2015! This year’s speakers are: Alois Ferscha (JKU Linz) Tom […]

Continue reading

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