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.
Continue readingNews
Spring School on Logic and Verification
The Spring School on Logic and Verification (LOVE 2016) is going to take place in Vienna from April 15 to 17 – early registration ends on March 25. Details are available on our webpage.
Continue readingHelmut Veith 1971-2016
It is with the deepest sadness that we announce Helmut Veith’s passing on March 12, 2016. Helmut was a brilliant researcher, an inspiring collaborator, a stimulating teacher, a generous friend, and a wonderful father and husband. He leaves a void that will be impossible to fill. Our thoughts are with his family and friends.
Continue readingCFP: Formal Reasoning in Distributed Algorithms (FRIDA’16)
Josef Widder and Igor Konnov are co-organizing the third workshop on Formal Reasoning in Distributed Algorithms. Check the workshop page.
Continue readingThe paper following the invited talk by Helmut Veith at PSI’15
If you wanted to know anything about model checking of fault-tolerant distributed algorithms, then check our follow-up paper after the invited talk by Helmut Veith at PSI’15.
Continue readingProfil 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 readingPanel discussion on research funding in Austria
Helmut Veith was a panelist in a public discussion on research funding in Austria.
Continue readingCongratulations, Dr. Annu Gmeiner
Annu Gmeiner defended her PhD thesis on parameterized verification of fault-tolerant distributed algorithms. Congratulations!
Continue readingThe book on “Decidability of Parameterized Verification” is published
The book by Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, and Josef Widder on Decidability of Parameterized Verification has just been published.
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 reading
Latest News
Congratulations, Dr. Mitra Tabaei Befrouei
Mitra Tabaei Befrouei successfully defended her doctoral thesis on "Effective Error Explanation Techniques for Concurrent Software" on December 6, 2016. The FORSYTE group congratulates the newly-minted Doctor!
Continue readingWAIT 2016 in Vienna
The third WAIT workshop on induction is held between 17-18 November at the TU Wien. Details are available on the workshop page.
Continue readingTwo papers at POPL’17
Two papers co-authored by researchers from our group have been accepted for POPL’17: “Coming to Terms with Quantified Reasoning” by Simon Robillard, Andrei Voronkov, and Laura Kovacs; and “A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms” by Igor Konnov, Marijana Lazic, Helmut Veith, and Josef Widder
Continue readingHelmut Veith Stipend
Outstanding female students in the field of computer science who pursue (or plan to pursue) one of the master‘s programs in Computer Science at TU Wien taught in English are invited to apply for the Helmut Veith Stipend
Continue readingLogicLounge 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.
Continue readingMarijana 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 readingFull news archive
See all news.
