Institute for
Formal Models
and Verification

Helping to organize 26th conference on
Computer Aided Verification
part of Vienna Summer of Logic.

Talk by Andrei Voronkov on
Solving Systems of Linear Inequalities
by Bound Propagation
in our colloquium on October 9,
14:00 - 15:00, S3 055, Informatik.

Organizing HWMCC'13 affiliated to FMCAD'13.

Lingeling, Plingeling, and Treengeling
awarded 7 medals: 4 gold, 3 silver.
3 medals in the configuration challenge.

Public appearance May 21st (pictures, videos).

We are organizing the International Workshop on
Quantified Boolean Formulas 2013 QBF 2013
this July.

First source code release of JNuke.
A program analysis framework for Java.

Lecture by Egon Börger at FH Hagenberg
also open to JKU students.

We support a student exchange program
between Austria and Ukraine.

We helped to organize the
Haifa Verification Conference HVC'12.

Organized HWMCC'12 affiliated to FMCAD'12.

In last year's SMT competition, our SMT-solver
Boolector won first places for bit-vectors and also
for bit-vectors with arrays.

We helped to organize a Workshop on
Comparative Empirical Evaluation
of Reasoning Systems COMPARE'12
which was affiliated to IJCAR'12.