Institute for
Formal Models
and Verification

Our BMC paper from TACAS'99 got the
most influential paper of 20 years of TACAS award.
We have seperate page on Bounded Model Checking
with more information on the award.

Mo Movahed, Fahim Rahim, Hans-Jörg Peter
Atrenta – Early Design Closure using Formal Methods
Thursday, March 13, Science Park 1, MT 226, 08:30 - 10:00

Helping to organize 8th conference on
Tests & Proofs (TAP'14).

Organizing HWMCC'14 CAV Edition affiliated to CAV'14.
Part of FLoC Olympic Games at Vienna Summer of Logic 2014.

Helping to organize 26th conference on
Computer Aided Verification (CAV'14)
part of Vienna Summer of Logic.

Helping to organize QBF Gallery 2014.

We are organizing an advanced winter shool on
reasoning engines for rigorous system engineering.

Talk by Andrei Voronkov on
Solving Systems of Linear Inequalities
by Bound Propagation
in our colloquium on October 9,
14:00 - 15:00, S3 055, Informatik.

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.

Public appearance May 21st (pictures, videos).

We are organizing the International Workshop on
Quantified Boolean Formulas 2013 QBF 2013
this July.