25 Apr. 2022, 15:30-16:30 COPLAS Talk: Liam O'Connor, Quickstrom: Property-based Acceptance Testing with LTL Specifications On 25 April, COPLAS will host a talk by Liam O'Connor of Edinburgh University titled 'Quickstrom:…
26 Aug. 2025, 14:30 PhD defence - Diego Andrés Farías Hinojosa Characterizing the diversity of Supernovae Ibn
28 Aug. 2025, 13:00-16:00 PhD defence - Li Quan Quality Bounds and Efficient Samplers for Data Availability Sampling
