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:

• Faculty of Mathematics WebNotices
• CPI Events
• Computer Science weekly announcements
• scs-grads mailing list
• cpi-seminars mailing list