3 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 readingwidder@forsyte.at
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.
Continue readingWWTF 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 readingFRIDA Progam Online
We have a great program for our workshop on formal reasoning in distributed algorithms. Join us at the workshop!
Continue readingImagine Josef Widder
Josef Widder is invited to talk tomorrow at Imagine 14 about how research funding started his IT career.
Continue readingCAV Workshop FRIDA
Igor Konnov and Josef Widder are organizing the CAV Workshop FRIDA.
Continue reading
Latest News
Katalin Fazekas receives Hertha Firnberg Fellowship
Katalin Fazekas received a Hertha Firnberg Fellowship and will (re-)join FORSYTE to perform research on Incremental SAT and SMT Reasoning for Scalable Verification. Congratulations!
Continue readingJens Pagel wins Bill McCune PhD Award
We congratulate Jens Pagel for receiving the 2021 Bill McCune PhD Award in Automated Reasoning! Jens graduated in 2020; his thesis on Decision procedures for separation logic: beyond symbolic heaps (supervised by Florian Zuleger) presents his substantial contributions to the theory of formal verification and automated reasoning, and to verifying heap-manipulating programs in particular.
Continue readingThanh-Hai Tran, Igor Konnov and Josef Widder win FORTE21 Best Paper Award
Thanh-Hai Tran, Igor Konnov and Josef Widder received the Best Paper Award at FORTE21 for their Case Study on Parametric Verification of Failure Detectors. Congratulations!
Continue readingEmmanuel Pescosta nominated for EPILOG Young Alumnus Award
Congratulations to FORSYTE alumnus Emmanuel Pescosta, who got nominated for the Distinguished Young Alumnus award for his master’s thesis on Bounded Model Checking of Speculative Non-Interference.
Continue readingERC 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 readingMarcel Moosbrugger wins the EPILOG Distinguished Young Alumnus award
Our PhD student Marcel Moosbrugger won the EPILOG Distinguished Young Alumnus 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 readingFull news archive
See all news.
