In this page you can find all the events organized by the Software and System Verification group at Ca’ Foscari University of Venice.
Date | What |
June 29th 2022 | Software and System Verification semestral workshop |
May 20th 2022 | Workshop on “Challenges of Software Verification” and Patrick Cousot’s PhD honoris causa ceremony |