FRIDA’17 at DISC
We have a great program at FRIDA’17 that takes place in Vienna
Continue readingkonnov@forsyte.at
POPL’17 artifact is now available
We have uploaded an artifact for our POPL’17 paper, which has been improved after the successful artifact evaluation.
Continue readingPaper at VMCAI’17
Our paper “Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms” is accepted at VMCAI’17
Continue readingInvited talk at the Vericlub seminar
Igor 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 readingArtifact evaluation at POPL’17
Our 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 readingTalk at FMCAD’16
Igor Konnov gave a talk in the memorial session for Helmut Veith at FMCAD’16, Silicon Valley.
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 readingOur paper at POPL’17
Our 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 readingInvited talk at EPFL
Igor Konnov gave an invited talk at EPFL, Lausanne on “Model checking of fault-tolerant distributed algorithms: safety & liveness”.
Continue readingQuestions answered by Leslie Lamport
Leslie 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 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.
