Institute for
Formal Models
and Verification

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