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
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 readingFORSYTE 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.
