Archived Events

Organized HWMCC'13 affiliated to FMCAD'13.

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

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.

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.

We were helping to organize a Workshop on
Design and Implementation
of Formal Tools and Systems
DIFTS'11 affiliated to FMCAD'11.

HWMCC'11 affiliated to FMCAD'11.
Related new 1.9 series versions of AIGER.
Results and benchmarks available.

National research network RiSE funded by FWF.
Several open PhD and Post-Doc positions.
Local jobs announcement.

Workshop on Rigourous Systems Engineering.
WRiSE'11 affiliated to EUROSYS'11.

Lingeling 2nd main track SAT Race 2010.
Plingeling 1st parallel track SAT Race 2010.
Published source code under GPL.

Talk by Vijay Ganesh (MIT) on
Solvers for SW Reliability and Security
in our colloquium on July 28.

HWMCC'10 affiliated to HWVW'10.
Results presented at HWVW'10.

Austrian Society of
Rigorous Systems Engineering

Award winning SMT solver
Boolector 1.3 released under GPL.

Hardware Verification Workshop
at last FLOC'10 in Edinburgh.

Source code of DepQBF available,
our new search-based QBF solver.
Ranked first last QBF competition.

We were involved in organizing FMCAD'09.
Pictures, Slides available.

Daniel Kröning (Oxford University) on
Model Checking C++ Programs that use the STL.

In last year's SMT competition, our SMT-solver
Boolector won the second place in the division
of bit-vectors and the first place in the division
of bit-vectors and arrays.

Three prizes for our SAT solver PrecoSAT.

Video presented at SAT'08.

We organized a talk about
Satisfiability Modulo Theories @ Microsoft.