FRIDA’17 at DISC
We have a great program at FRIDA’17 that takes place in Vienna
Continue readingWe have a great program at FRIDA’17 that takes place in Vienna
Continue readingWe have uploaded an artifact for our POPL’17 paper, which has been improved after the successful artifact evaluation.
Continue readingOur paper “Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms” is accepted at VMCAI’17
Continue readingIgor Konnov gave an invited talk “Model Checking of Threshold-guarded Distributed Algorithms: Beyond Reachability” at the Vericlub seminar organized by Bertrand Meyer in Toulouse.
Continue readingOur artifact at POPL’17 has met the expectations of the evaluation committee (with the scores: exceeds expectations (1) + meets expectations (1)). We will upload the virtual machine soon.
Continue readingIgor Konnov gave a talk in the memorial session for Helmut Veith at FMCAD’16, Silicon Valley.
Continue readingOur paper on “A Short Counterexample Property for Safety and Liveness Verification of Fault-Tolerant Distributed Algorithms” has been accepted to POPL 2017! Check the draft at arXiv.
Continue readingIgor Konnov gave an invited talk at EPFL, Lausanne on “Model checking of fault-tolerant distributed algorithms: safety & liveness”.
Continue readingLeslie Lamport is going to answer questions about a Mathematical View of Computer Systems in Informatikhörsaal on Tuesday at 6pm. Check the announcement at the VCLA website and do not forget to watch the lecture beforehand.
Continue readingWe had nice talks at the workshop on Formal Reasoning in Distributed Algorithms (FRIDA) this year. Look at the workshop web page.
Continue readingLaura 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 readingOur 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 readingWe welcome Pavol Černý, who joins the FORSYTE group as a full professor of computer science in September 2019.
Continue readingPapers 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 readingMotivated 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 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 reading