Our group is co-organizing 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
Son Cao Tran
Combining ASP and Prolog
Tue, Mar 25 at 12:00
lecture room FH HS7 (Wiedner Hauptstr. 8, yellow area, second floor)
details

RiSE seminar
Arnd Hartmanns
TBA
Thu, Mar 13 at 17:00
IST Austria
details

VCLA
M. S. Ramanujan
Parameterized Algorithms to Preserve Connectivity
Mon, Mar 03 at 17:00
Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
details

RiSE seminar
Daniel Gebler
Compositional Metric Reasoning with Probabilistic Process Calculi
Thu, Feb 06 at 17:00
IST Austria
details

RiSE seminar
Roland Meyer
Verification of Concurrent Programs under Relaxed Memory Models
Fri, Jan 31 at 16:30
IST Austria
details

VCLA
Franz Wotawa
Test automation – How far shall we go?
Thu, Jan 09 at 17:00
Zemanek seminar room (ground floor), Favoritenstraße 9-11, 1040 Vienna
details

RiSE seminar
Franz Wotawa
Test automation – How far shall we go?
Thu, Jan 09 at 17:00
TU Wien
details

VCLA
Matthias Mnich
A Complexity Dichotomy for the Steiner Multicut Problem
Wed, Jan 08 at 11:30
Zemanek seminar room (ground floor), Favoritenstraße 9-11, 1040 Vienna
details

VCLA
Adam Rogalewicz
The Tree Width of Separation Logic with Recursive Definitions
Tue, Dec 17 at 16:00
Zemanek seminar room (ground floor), Favoritenstraße 9-11, 1040 Vienna
details

VCLA
Explicit State Model Checking with DIVINE
Fri, Dec 06 at 11:00
Seminar room Menger (Favoritenstrasse 9-11, 3rd floor)
details

VCLA
Mira Mezini
From Active to Reactive Objects
Thu, Dec 05 at 17:00
Zemanek seminar room (ground floor), Favoritenstraße 9-11, 1040 Vienna
details

RiSE seminar
Sergiy Bogomolov
Guided Search for Hybrid Systems
Thu, Nov 28 at 17:00
IST Austria
details

VCLA
George Metcalfe
Proof Theory for Lattice-Ordered Groups
Wed, Nov 27 at 17:00
Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
details

RiSE seminar
Jakob Ruess
Moment-based methods for parameter inference and experimental design for stochastic biochemical reaction networks.
Thu, Nov 21 at 17:00
IST Austria
details

VCLA
Esko Turunen
Pavelka style fuzzy logic over Chang's MV-algebra
Wed, Nov 20 at 17:00
Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
details

VCLA
Alfons Laarman
Multi-Core Model Checking
Thu, Nov 14 at 17:00
Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)
details

RiSE seminar
Aniello Murano
Enriched Modal Logics
Thu, Nov 07 at 17:00
TU Wien
details

RiSE seminar
Sicun Gao
Models, Decisions, and Better Cyber-Physical Systems
Thu, Sep 19 at 16:00
IST Austria
details

RiSE seminar
Sicun Gao
Delta-Decisions over the Reals
Wed, Sep 18 at 15:00
TU Wien
details

RiSE seminar
Marcus Gelderie
Strategy Composition in Compositional Games
Tue, Sep 17 at 16:00
IST Austria
details