Conferences Upcoming World Logic Day: 2026-01-14-2026-01-14 Past Conferences & Meetings CCC2025: 2025-09-1-2025-09-3 CCA: 2024-07-15-2024-07-18 Agda Implementators Meeting XXXVIII: 2024-05-13-2024-05-18 CiE 2022: 2022-07-11-2022-07-15 BCTCS 2022: 2022-04-11-2022-04-13 BCTCS 2020: 2020-04-06-2020-04-08 Proof Society Summer School: 2019-09-08-2019-09-08