Joint PUMA/ARiSE Workshop in Traunkirchen
From October 3–7 2011 PUMA and ARiSE held a joint workshop in Traunkirchen.
Further information is available from the workshop’s website.
Photos by Damien Zufferey (full gallery):
From October 3–7 2011 PUMA and ARiSE held a joint workshop in Traunkirchen.
Further information is available from the workshop’s website.
Photos by Damien Zufferey (full gallery):
We 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 readingMitra Tabaei Befrouei and her co-authors from MPI-SWS Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Filip Niksic, received an OOPSLA’18 Distinguished Paper Award for their contribution “Randomized Testing of Distributed Systems with Probabilistic Guarantees” (Open Access article). Congratulations!
Continue readingProf. Zvonimir Rakamiric from the School of Computing at the University of Utah is spending his sabbatical with the FORSYTE group at TU Wien. He is generously sponsored by the Wolfgang Pauli Institute and a Pauli Fellow.
Continue reading