Institute for
Formal Models
and Verification
Computer Science Colloquium
Computer Science Colloquium
CAV 2018 Award
Received prestigious CAV 2018 Award.
Computer Science Colloquium
Computer Science Colloquium
January 18, 2018, Science Park 3, 218, 10:15 - 11:00
Radu Mardare talks
about
Quantitative
Equational Reasoning
in our
colloquium
Hardware Model Checking Competition
2017
Organizing HWMCC'17
affiliated to FMCAD'17.
ETAPS'17 Test of Time Award
Computer Science Colloquium
March 1, 2017, Science Park 3, HS 19, 13:00 - 14:00
Sebastian Gabmeyer talks about
Symbolic
Verification of Graph Transformation Systems
with Hardware Model Checkers
in our
colloquium
Computer Science Colloquium
March 6, 2017, Science Park S2 Z74 13:00 - 14:00
Clifford Wolf talks about
Formal
Verification of Verilog HDL with
Yosys-SMTBMC and SymbiYosys
in our
colloquium
followed by a discussion session from 14:00 - 15:00
JAR Special Issue on Automated Reasoning
Systems
Special issue of JAR on engineering
aspects
of automated reasoning systems.
Submission
deadline is 3 April 2017.
[ webpage | journal ]
Computer Science Colloquium
Computer Science Colloquium
HVC'15 Award
Armin Biere received the
HVC'15 Award
for the most influential work in the last five years
in formal verification, simulation, and testing.
Open PhD and Post-Doc Positions
In our our doctoral college
Logical Methods in Computer
Science (LogiCS)
and in our national research network RiSE
we have several open
positions.
Hardware Model Checking Competition
2015
Organized HWMCC'15
affiliated to FMCAD'15.
New Software Releases
We have a new major release for Boolector,
as well as minor updates for PicoSAT and Quantor.
FLoC'14 Olympic Games
Most Influential Paper Award
Information Electronics Colloquium
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
TAP'14 Conference
Helping to organize 8th conference on
Tests & Proofs (TAP'14).
Hardware Model Checking Competition
2014
CAV'14 Edition
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.
CAV'14 Conference
Helping to organize 26th conference on
Computer Aided Verification
(CAV'14)
part of Vienna Summer of Logic.
QBF Gallery 2014
Helping to organize QBF Gallery 2014.
ReRISE'14 Winter School
Donald Knuth
older
events
|