CritLab at RVCase 2025 and NDTR

CritLab head Dr. Sean Kauffman co-organized and co-led the first ever Runtime Verification Case Studies Workshop (RVCase) at RV 2025 at TU Graz in Graz, Austria on September 15.

After an excellent series of talks, many of the RVCase participants returned in the late afternoon for a discussion on the future of the workshop and how to best serve the community. There was good discussion and some actionable decisions!

September 30th was the National Day for Truth and Reconciliation, when we come together as a nation to recognize and honour the victims and survivors of Canada’s residential schools. CritLab continued our tradition of attending Queen’s Sacred Fire ceremony as a group. We took this photo to commemorate the occasion afterwords in front of Walter Light Hall, where CritLab is located.