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
Jan Strejček
TBA
Thu, Nov 03 at 17:00
IST Austria
details

VCLA
Jörg Rothe
Economics and Computation: Five Challenges in Algorithmic Game Theory, Computational Social Choice, and Fair Division
Tue, Sep 20 at 11:00
EI 1 Petritsch lecture hall, Gußhausstr. 25-29, 2. Stock (CF 02 42)
details

RiSE seminar
Pavol Cerny
Event-driven network programming
Fri, Jul 01 at 15:00
IST Austria
details

RiSE seminar
Martin Schäf
Classifying Bugs with Interpolants
Thu, Jun 30 at 17:00
TU Wien
details

VCLA
Martin Schäf
Classifying Bugs with Interpolants
Thu, Jun 30 at 17:00
Seminar Room 351 (room number CA0138), Gusshausstrasse 25-29, 1040 Vienna
details

VCLA
Igor Razgon
Lower bounds for branching programs of bounded repetition computing CNFs of bounded treewidth: an overview
Thu, Jun 23 at 16:00
Seminar room von Neumann, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
details

VCLA
Leslie Lamport
A Mathematical View of Computer Systems – Q&A
Tue, May 31 at 18:00
Informatikhörsaal, Treitlstraße 3, 1040 Vienna
details

RiSE seminar
Erika Abraham
SMT Solving for Non-Linear Arithmetic Theories
Tue, May 17 at 16:00
IST Austria
details

RiSE seminar
Idit Keidar
Transactional Data Structure Libraries
Thu, May 12 at 17:00
TU Wien
details

VCLA
Idit Keidar
Transactional Data Structure Libraries
Thu, May 12 at 17:00
Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
details

RiSE seminar
Branislav Bošanský
Computing Optimal Strategies in Dynamic Games with Finite Horizon
Tue, May 10 at 15:00
IST Austria
details

RiSE seminar
João Sousa Pinto
Solvability of Matrix-Exponential Equations
Wed, May 04 at 17:00
IST Austria
details

VCLA
Tom van Dijk
Workers in forests: developments in parallel decision diagrams
Thu, Apr 28 at 17:00
Seminar room Zemanek, Favoritenstraße 9-11, 1040 Vienna
details

RiSE seminar
Tom van Dijk
Workers in forests: developments in parallel decision diagrams
Thu, Apr 28 at 17:00
TU Wien
details

RiSE seminar
Stanley Bak
High-level Analysis and the Verification of Hybrid Automata
Mon, Apr 18 at 14:00
IST Austria
details

VCLA
Joseph Sifakis
Rigorous System Design in BIP
Tue, Apr 12 at 10:00
EI 10 Fritz Paschke lecture room, Gußhausstraße 27-29, Vienna
details

RiSE seminar
Joseph Sifakis
Rigorous System Design in BIP
Tue, Apr 12 at 10:00
TU Wien
details

VCLA
O-Joung Kwon
Deletion problems regarding graphs of bounded rank-width
Mon, Mar 14 at 11:00
Seminar room von Neumann, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)
details

VCLA
Cliff B. Jones
Reasoning about Interference (or Lack Thereof)
Tue, Mar 08 at 17:30
Lecture hall EI10, Gusshausstraße 27-29, 1040 Vienna, ground floor
details

VCLA
Evgenia Ternovska
An Algebra of Modular Systems
Thu, Mar 03 at 15:30
Seminarroom 188/2, Favoritenstraße 9-11, 1040 Vienna, stairway 3, 4th floor
details

Latest News

LogicLounge in memoriam Helmut Veith

Will robots take away your job? In memory of Helmut Veith, this year’s Conference on Computer Aided Verification (CAV), which takes place in Toronto, will feature a LogicLounge on the effect of automation and artificial intelligence on our jobs. The LogicLounge discussion series was initiated during the Vienna Summer of Logic 2014 and aims to […]

Continue reading

Marijana Lazić wins ZONTA mobility stipend

Marijana Lazić won the “ZONTA CLUB WIEN I – TU-Mobilitätsstipendium” for her research in the intersection of computer-aided verification and distributed computing theory. The stipend will support her in attending international conferences in the concerned research areas. Supported by ZONTA, she is already on a trip to the US and Canada to attend this year’s […]

Continue reading

Questions answered by Leslie Lamport

Leslie Lamport is going to answer questions about a Mathematical View of Computer Systems in Informatikhörsaal on Tuesday at 6pm. Check the announcement at the VCLA website and do not forget to watch the lecture beforehand.

Continue reading

Laura Kovács joins FORSYTE as full professor

We welcome Laura Kovács, who joined the FORSYTE group as a full professor of computer science in April 2016. Laura also holds a part-time associate professorship at the Chalmers University of Technology, Sweden. Her research deals with the design and development of new theories, technologies, and tools for program analysis, with a particular focus on […]

Continue reading

Full news archive