CritLab at ETAPS 2025

Four CritLab members (Sean, Nastaran, Amir, and Nick) attended ETAPS 2025 at McMaster University in Hamilton, Ontario between May 3 and May 8.

Dr. Sean Kauffman co-organized the Fourth Workshop on Reproducibility and Replication of Research Results (RRRR 2025) held on May 3 as part of ETAPS and gave a talk on a project to create a database of Runtime Verification tools. He also co-organized the 2nd annual ETAPS Industry Day.

The banquet was a highlight of the conference, as was the social event where we played researcher bingo.