Juliane Auerböck

Laura Kovács and Georg Weissenbacher are the organizers of the second workshop on Craig interpolation and its applications.

The Forsyte group co-organises this year’s edition of the SAT/SMT Summer School.

Josef Widder is invited to talk tomorrow at Imagine 14 about how research funding started his IT career.

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS.

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.

Igor Konnov and Josef Widder are organizing the CAV Workshop FRIDA.