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