Mo Movahed, Fahim Rahim, Hans-Jörg Peter
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).
Helping to organize 26th conference on
Computer Aided Verification
part of Vienna Summer of Logic.
Helping to organize QBF Gallery 2014.
affiliated to FMCAD'13.
Lingeling, Plingeling, and Treengeling
medals: 4 gold, 3 silver.
Additional 3 medals in the
We are organizing the International Workshop on
Quantified Boolean Formulas 2013 QBF 2013