FRIDA 2016 in Marocco
We had nice talks at the workshop on Formal Reasoning in Distributed Algorithms (FRIDA) this year. Look at the workshop web page.
Continue readingNews
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 readingSpring 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 reading
Latest News
Helmut Veith Stipend
The first recipient of the Helmut Veith Stipend for excellent female master’s students in computer science will be presented on March 14 at the following event: "More female students in computer science. Who cares?" Panel discussion with renowned scientists about diversity in STEM Studies March 14, 5:30pm, TU Wien The Helmut Veith Stipend is dedicated […]
Continue readingCongratulations, 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 readingFull news archive
See all news.
