Address:
Juliane Auerböck
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria
| Room: | HD 03 19 (how to get there) |
| Phone: | +43 (1) 58801 – 184 03 |
| Fax: | +43 (1) 58801 – 184 93 |
| Email: | ta.etysrofnull@eobreua |
| Web: | http://forsyte.at/~auerboeck/ |
Josef Widder is invited to talk tomorrow at Imagine 14 about how research funding started his IT career.
Continue readingTU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS.
Continue readingThe 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 readingIgor Konnov and Josef Widder are organizing the CAV Workshop FRIDA.
Continue readingThe new version 0.9.3 of CBMC-GC is now available online: http://forsyte.at/software/cbmc-gc/
Continue readingFWF has approved a doctoral college for Logical Methods in Computer Science. Details are available on the LogiCS website.
Continue reading
