Helping to organize 26th conference on
part of Vienna Summer of Logic.
affiliated to FMCAD'13.
We are organizing the International Workshop on
Quantified Boolean Formulas 2013 QBF 2013
First source code release of JNuke.
A program analysis framework for Java.
We support a student
between Austria and Ukraine.
We helped to organize the
Haifa Verification Conference HVC'12.
affiliated to FMCAD'12.
In last year's SMT
competition, our SMT-solver
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.