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)

RiSE seminar
András Vörös
Saturation-based incremental LTL model checking with inductive proofs
Thu, May 21 at 17:00
TU Wien
details

RiSE seminar
Ventsislav Chonev
TBA
Thu, May 07 at 17:00
IST
details

RiSE seminar
Yoram Moses
TBA
Thu, Apr 30 at 17:00
TU Wien
details

RiSE seminar
Igor Konnov
TBA
Thu, Apr 16 at 17:00
IST Austria
details

VCLA
Hannes Strass
Abstract Argumentation and Approximation Fixpoint Theory
Tue, Mar 24 at 16:00
Seminar Room Goedel, Favoritenstraße 9-11, 1040 Vienna
details

RiSE seminar
Mahsa Shirmohammadi
Decidability and Expressiveness of Synchronizing Markov Decision Processes and Synchronizing Probabilistic Automata
Thu, Mar 19 at 17:00
IST Austria
details

RiSE seminar
Arshia Cont
DataMill: Rigorous Performance Evaluation Made A Cyber-Physical System Approach to Automatic Music Accompaniment
Tue, Mar 10 at 14:30
Salzburg
details

VCLA
Roopsha Samanta
Succinct Representation of Concurrent Trace Sets
Thu, Feb 19 at 17:00
Seminar Room Zemanek
details

RiSE seminar
Roopsha Samanta
Succinct Representation of Concurrent Trace Sets
Thu, Feb 19 at 17:00
TU Wien
details

VCLA
Iyad Kanj
On Bounded-Degree Plane Geometric Spanners
Wed, Feb 18 at 14:00
Seminarroom E186 (Favoritenstrasse 9-11, 5th floor)
details

VCLA
Helmut Seidl
Parametric Strategy Iteration
Tue, Jan 27 at 17:30
El 4, TU Wien
details

RiSE seminar
Helmut Seidl
Parametric Strategy Iteration
Tue, Jan 27 at 17:30
TU Wien
details

RiSE seminar
Ras Bodik
Program Synthesis for Executable Biology
Mon, Jan 19 at 17:30
IST Austria
details

VCLA
Gordon Cichon
Formal Semantics of Synchronous Transfer Architecture
Thu, Dec 18 at 17:00
Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
details

VCLA
Christian Scheideler
Towards a rigorous base for the design of P2P systems
Thu, Dec 04 at 17:00
Semina room Zemanek, Favoritenstraße 9-11, 1040 Vienna
details

VCLA
Pavithra Prabhakar
Algorithmic Verification of Stability of Hybrid Systems
Thu, Nov 27 at 17:00
details

RiSE seminar
Lenore D. Zuck
Parameterized Verification: Theory and Practice
Thu, Nov 27 at 15:30
TU Vienna
details

VCLA
Lenore D. Zuck
Parameterized Verification: Theory and Practice
Thu, Nov 27 at 15:30
details

VCLA
Vinay K. Chaudhri
An Architecture for Intelligence Using Prototypes, Composition and Analogy
Mon, Nov 24 at 12:00
Seminar room Goedel, Favoritenstraße 9-11
details

VCLA
Nathan Wasser
Abstraction On-Demand: Automatically Generating Invariants for Loops and Recursive Method Calls
Thu, Nov 20 at 17:00
details

Latest News

Full news archive