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).
Organizing HWMCC'14 CAV
Edition affiliated to CAV'14.
Part of FLoC Olympic Games
at Vienna Summer of Logic 2014.
Results presented in
second FLoC'14 Olympic Games ceremony.
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