Univ. Prof. Armin Biere, head of the Institute for Formal Models and Verification at the JKU, was presented with distinguished CAV Award for his work, especially in the field of "Applied Formal Methods". Prof. Biere is extremely pleased about the honor and remarked, "The CAV is a very renowned verification conference and was also the flagship of the FLoC'18 conference.”

One day earlier, the former head of the Software Park, Bruno Buchberger, had been presented with the prestigious Herbrand Award at the IJCAR.

Thomas Henzinger, President of the Institute of Science and Technology Austria, had nothing but praise for the outstanding accomplishments: "What an exciting day for Linz!"