Institute for
Formal Models
and Verification

DIFTS'11 Workshop

Workshop on Design and Implementation
of Formal Tools and Systems
DIFTS'11 affiliated to FMCAD'11.

Hardware Model Checking Competition

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

Rigourous Systems Engineering (RiSE)

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

WRiSE'11 Workshop

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

Older Events