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 |