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
Guillermo A. Pérez
Minimising Regret in Discounted-Sum Games
Thu, Mar 10 at 17:00
IST Austria
details

RiSE seminar
Cliff B. Jones
TBA
Tue, Mar 08 at 17:30
TU Wien
details

RiSE seminar
John Rushby
TBD
Tue, Mar 08 at 17:00
IST Austria
details

RiSE seminar
Dan Alistarh
Solving Memory Reclamation Automatically and Efficiently
Tue, Feb 16 at 17:00
IST Austria
details

RiSE seminar
Keren Censor-Hillel
Distributed Algorithms as Combinatorial Structures
Tue, Feb 16 at 13:00
TU Wien
details

VCLA
Maria Gorinova
Termination proving
Mon, Feb 08 at 14:00
Menger room, Favoritenstrasse 11, 3rd floor, TU Wien
details

RiSE seminar
Christoph Matheja
Tree-Like Grammars and Separation Logic
Thu, Jan 21 at 17:00
TU Wien
details

RiSE seminar
Luca Laurenti
Stochastic Approximations For Biochemical Systems
Thu, Jan 14 at 17:00
IST Austria
details

RiSE seminar
Martin Suda
Resolution-based Methods for Linear Temporal Reasoning
Tue, Jan 12 at 17:00
TU Wien
details

VCLA
Martin Suda
Resolution-based Methods for Linear Temporal Reasoning
Tue, Jan 12 at 17:00
Menger room, Favoritenstrasse 11, 3rd floor, TU Wien
details

RiSE seminar
Mooly Sagiv
Reasoning about Program Data Structure Shape: from the Heap to Distributed Systems
Mon, Jan 11 at 17:00
IST Austria
details

RiSE seminar
Ronald de Haan
Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics
Thu, Dec 17 at 17:00
TU Wien
details

VCLA
Sayan Mitra
Automating invariant and progress proofs for distributed systems
Thu, Dec 10 at 17:30
Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
details

VCLA
Bertrand Meyer
A Theory of Programs
Mon, Oct 12 at 10:00
Theresianumgasse 27, HS 1, 1040 Vienna
details

VCLA
Miroslav Truszczynski
Abstract Perspectives on Modularity in Knowledge Representation
Tue, Oct 06 at 13:30
Seminar room Goedel, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
details

VCLA
Piero Bonatti
DL^N: a utilitarian nonmonotonic description logic
Tue, Sep 22 at 10:00
Seminar room Goedel, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
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

Latest News

Profil article on women in logic

A recent article in the Austrian weekly Profil about female logicians in Austria is featuring Agata Ciabattoni, Martina Seidl, Laura Kovacs, Magdalena Ortiz, Marijana Lazic, Shqiponja Ahmetaj, and Neha Lodha. All women are affiliated with the Doctoral College Logical Methods in Computer Science.  

Continue reading

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

Full news archive