Public appearance at JKU
on May 21st.
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.