Events

In this page you can find all the events organized by the Software and System Verification group at Ca’ Foscari University of Venice.

DateWhat
June 29th 2022Software and System Verification semestral workshop
May 20th 2022Workshop on “Challenges of Software Verification” and
Patrick Cousot’s PhD honoris causa ceremony