SAT/SMT Summer School 2014
The Forsyte group co-organises this year’s edition of the SAT/SMT Summer School.
Continue readingNews
Imagine Josef Widder
Josef Widder is invited to talk tomorrow at Imagine 14 about how research funding started his IT career.
Continue readingFunded Doctoral Positions in Computer Science
TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS.
Continue readingMaster’s thesis topic on automated SAT-based cryptanalysis available
The topic of this thesis is to improve an automated SAT-based cryptanalsis approach. There is the opportunity to work on this thesis during an internship at a large financial institution. If you are interested please contact Andreas Holzer.
Continue readingCAV Workshop FRIDA
Igor Konnov and Josef Widder are organizing the CAV Workshop FRIDA.
Continue readingNew CBMC-GC version online
The new version 0.9.3 of CBMC-GC is now available online: http://forsyte.at/software/cbmc-gc/
Continue reading15 FWF funded PhD positions in doctoral college “Logical Methods in Computer Science”
FWF has approved a doctoral college for Logical Methods in Computer Science. Details are available on the LogiCS website.
Continue readingJanos Makowsky visiting in spring 2014
Prof. Janos Makowsky from Technon will be a visiting professor of the European Master Program in Computational Logic. He will teach a course on Graph Polynomials.
Continue readingVienna Summer of Logic 2014
Our group is coorganizing the Vienna Summer of Logic, the largest conference in the history of logic. http://vsl2014.at
Continue readingFacebook group for Austrian computer scientists
There is a new facebook group for communication among Austrian computer scientists: https://www.facebook.com/groups/AustrianComputerScience/ For those who are skeptical about facebook, we created a read-only mirror (beta version): http://forsyte.at/acs/
Continue reading
Latest News
CFP: 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 readingFull news archive
See all news.
