Institute for
Formal Models
and Verification

We are helping to organize the
Haifa Verification Conference HVC'12 this November,
submission deadline July 18.

HWMCC'12 affiliated to FMCAD'12.

We are helping to organize a Workshop on
Comparative Empirical Evaluation of Reasoning Systems
COMPARE'12 affiliated to IJCAR'12,
submission deadline April 16.

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.

Older Events