ERC Consolidator Grant 2020 for Laura Kovacs
Laura Kovács has been awarded with an ERC Consolidator Grant 2020, for her project “ARTIST: Automated Reasoning with Theories and Induction for Software Technology”.
Continue reading
Online group retreat 2020
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.
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.
Talks (details)
VCLA
Georg Gottlob
Knowledge Processing, Logic, and the Future of AI
Thu, Jan 14 at 17:00
Online (Vienna)
detailsVCLA
Torsten Schaub
Dynamic Answer Set Programming
Fri, Dec 13 at 14:15
Seminarraum FAV 01 C, Favoritenstraße 9-11, 1040 Wien, RoomNo.: HE 01 08
detailsRiSE seminar
Joost-Pieter Katoen
Probabilistic Programming: Machine Learning for the Masses?
Wed, Dec 04 at 10:30
Kontaktraum, Gußhaustrasse 27-29, 6th floor (new EI building, Stiege I), TU Wien
detailsVCLA
Joost-Pieter Katoen
Probabilistic Programming: Machine Learning for the Masses?
Wed, Dec 04 at 10:30
Kontaktraum, Gußhausstraße 27-29, 1040 Vienna
detailsVCLA
Ringo Baumann
An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms
Thu, Nov 28 at 12:00
Seminarraum FAV EG C (Seminarraum Gödel), Favoritenstraße 9-11, 1040 Wien, RoomNo.: HB EG 10 (ground floor, access from yard)
detailsVCLA
Dominique Larchey-Wendling
Hilbert’s Tenth Problem in Coq
Wed, Nov 27 at 16:30
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
detailsVCLA
Tommaso Moraschini
Profinite Heyting algebras and the representation problem for Esakia spaces
Wed, Nov 20 at 16:30
Seminarraum FAV EG C (Seminarraum Gödel), Favoritenstraße 9-11, 1040 Wien, RoomNo.: HB EG 10 (ground floor, access from yard)
detailsVCLA
Prafullkumar Tale
Lossy Kernels for Graph Contraction Problems
Mon, Nov 11 at 14:00
Library of the Algorithms and Complexity Group, HB 04 08 (Favoritenstrasse 9-11)
detailsVCLA
Davide Grossi
Credulous Acceptability, Poison Games and Modal Logic
Wed, Nov 06 at 16:30
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
detailsVCLA
David Cerna
A Mobile Application for Self-Guided Study of Formal Reasoning
Wed, Oct 16 at 16:30
Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10)
detailsRiSE seminar
Tanja Schindler
A DPLL(T) theory solver for quantified formulas
Mon, Sep 16 at 11:00
TU Wien, Favoritenstr. 9-11, FAV Hörsaal 1 (Ground Floor)
detailsRiSE seminar
Mateus de Oliveira Oliveira
Some Width Measures for Proofs
Mon, Jun 24 at 16:00
TU Wien, Favoritenstr. 9-11, FAV Hörsaal 2
detailsRiSE seminar
Anne Schreuder
Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
Mon, Jun 17 at 10:00
TU Wien, Favoritenstr. 9-11, FAV Hörsaal 2
detailsRiSE seminar
Aleksandar Nanevski
Type and Proof Structures for Concurrent Software Verification
Thu, Aug 16 at 17:00
TU Wien, Favoritenstr. 9-11, Seminarraum Gödel
detailsRiSE seminar
Joost-Pieter Katoen
Bayes meets Dijkstra -- Exact Inference by Program Verification
Wed, Jun 06 at 17:00
TU Wien, Seminarraum 127 (Gußhausstr. 25-29 - Stiege 1 - 3.Stock)
detailsRiSE seminar
Joel Ouaknine
Program Invariants
Tue, May 29 at 15:45
IST, Mondi Seminar Room 2, Central Building
detailsRiSE seminar
Alexey Bakhirkin
Towards Fast Parametric Identification for STL
Wed, May 23 at 17:00
IST Austria, Mondi 2
detailsRiSE seminar
Stefan Schmid
Polynomial-Time What-If Analysis for Communication Networks: An Automata-Theoretic Approach
Wed, May 09 at 17:00
IST, Mondi 2
detailsRiSE seminar
Stefan Ratschan
Counter-example Guided Inductive Synthesis in the Continuous World
Tue, May 08 at 15:00
IST Austria, Mondi 2
detailsVCLA
Cory Doctorow
Working as Intended -- Surveillance Capitalism is not a Rogue Capitalism
Thu, Jan 01
VIRTUAL
details▾
Latest News
FORSYTE member Marcel Moosbrugger receives the EPILOG Distinguished Young Alumni award of the TU Wien
Our PhD student Marcel Moosbrugger won the EPILOG Distinguished Young Alumni award of the TU Wien, awarding the best master thesis of master students of the Faculty of Informatics at the TU Wien in the 2020 winter semester. Congratulations!
Continue readingPavol Cerny joins FORSYTE as full professor
We welcome Pavol Černý, who joins the FORSYTE group as a full professor of computer science in September 2019.
Continue reading3 Forsyte papers accepted at CAV 2019
Papers co-authored by Jure Kukovec, Marijana Lazić, and Josef Widder were accepted to be presented at the 31st International Conference on Computer-Aided Verification. […]
Continue readingDeadline for Applications: Helmut Veith Stipend for Female Master´s Students in CS
Motivated female students in the field of computer science (CS) who plan to pursue (or pursue) one of the master‘s programs in Computer Science at the Vienna University of Technology – TU Wien taught in English are invited to apply for the annually awarded Helmut Veith Stipend. The Helmut Veith Stipend is dedicated to the […]
Continue readingFORSYTE’s 2018 paper awards
FORSYTE has had a quite successful year: Adrian Rebola Pardo and his co-authors received the IJCAR best paper award for their paper Extended Resolution Simulates DRAT, Mitra Tabaei Befrouei and her co-authors received an OOPSLA 2018 Distinguished Paper award for their paper Randomized Testing of Distributed Systems with Probabilistic Guarantees, and Thomas Pani received the […]
Continue readingFull news archive
See all news.
