Upcoming Events
This page lists upcoming events that will be of interest to CrySP members. This list does
not include the weekly CrySP meetings—those can be found in the
Speaker Schedule.
Gray events will only be of interest to some CrySPers.
Date |
Time |
Location |
Type |
Presenter |
Title |
Link |
2023-12-18 |
11:30 AM |
Online |
Master's presentation |
Ru Ji |
Finding False Assurance in Formal Verification of Software Systems |
WebNotice |
Always |
Always |
Everywhere |
Pandemic |
SARS-CoV-2 |
Be careful and stay safe |
Health Canada |
Sources
These events are assembled from various mailing lists and websites, including the following: