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
Sven Schewe
TBA
Thu, Oct 22 at 17:00
IST Austria
details

RiSE seminar
Arjun Radhakrishna
Synthesis through Unification
Wed, Jun 03 at 17:00
IST
details

RiSE seminar
Tomáš Vojnar
From Pointers to List Containers
Thu, May 28 at 16:00
TU Wien
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

VCLA
András Vörös
Saturation-based incremental LTL model checking with inductive proofs
Thu, May 21 at 17:00
Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
details

RiSE seminar
Franz Franchetti
Formal Software Synthesis of Computational Kernels
Tue, May 19 at 16:00
IST Austria
details

VCLA
Wolfgang Dvorak
Welfare Maximization with Friends-of-Friends Network Externalities
Mon, May 18 at 15:00
Seminar room Goedel, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
details

RiSE seminar
Ventsislav Chonev
Reachability Problems for Linear Dynamical Systems
Thu, May 07 at 17:00
IST
details

VCLA
Hubie Chen
The Logic of Counting Query Answers: A Study via Existential Positive Queries
Wed, May 06 at 11:15
Seminarroom E186 (Favoritenstrasse 9-11, 5th floor)
details

VCLA
Yoram Moses
Principles of Coordination in Multi-agent Systems
Thu, Apr 30 at 17:00
Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
details

VCLA
Neng-Fa Zhou
The Picat Language and System
Tue, Apr 28 at 11:00
Seminar room von Neumann, Favoritentstraße 9-11, 1040 Vienna
details

VCLA
Andrej Bauer
An Introduction to Algebraic Effects and Handlers
Mon, Apr 27 at 11:00
Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
details

VCLA
James Anderson
Graph Decomposition for Large-Scale Dynamical System Analysis
Fri, Apr 24 at 11:30
Seminar room Goedel, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
details

RiSE seminar
Igor Konnov
SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms
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

Latest News

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