News

iPrA Workshop on Interpolation

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

SAT/SMT Summer School 2014

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

Imagine Josef Widder

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

Funded 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.

Master’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.

CAV Workshop FRIDA

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

New CBMC-GC version online

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

15 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.

Janos 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.

Vienna Summer of Logic 2014

Our group is coorganizing the Vienna Summer of Logic, the largest conference in the history of logic. http://vsl2014.at

« First
...
«
3
4
5
6
7
»
...
Last »

Helmut Veith 1971-2016

It is with the deepest sadness that we announce Helmut Veith’s passing on March 12, 2016. Helmut was a brilliant researcher, an inspiring collaborator, a stimulating teacher, a generous friend, and a wonderful father and husband. He leaves a void that will be impossible to fill. Our thoughts are with his family and friends.

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.

The 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.

Profil 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.