Armin Biere received the
for the most influential work in the last five years
in formal verification, simulation, and testing.
In our our doctoral college
Logical Methods in Computer
and in our national research network RiSE
we have several open
affiliated to FMCAD'15.
We have a new major release for Boolector,
as well as minor updates for PicoSAT and Quantor.
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.