Juliane Auerböck

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.

The new version 0.9.3 of CBMC-GC is now available online: http://forsyte.at/software/cbmc-gc/

FWF has approved a doctoral college for Logical Methods in Computer Science. Details are available on the LogiCS website.