IMDEA Software

IMDEA initiative

Home > Events > Invited Talks > 2023 > Formal Vindication

Guillermo Errezil

Tuesday, June 27, 2023

12:00pm Meeting room 302 & Zoom3 https://zoom.us/j/3911012202 (pass: @s3)

Guillermo Errezil, CEO of Formal Vindication, Formal Vindication

Formal Vindication

Abstract:

Guillermo Errezil will talk about the work, goals and collaborations of Formal Vindication.