[Hol-info] International Logic Olympiad

INTERNATIONAL LOGIC OLYMPIAD We are pleased to announce the International Logic Olympiad 2024 (ILO2024) – a world-wide contest on Logic for high school students. Register & learn more at

[Hol-info] ITP 2024, Interactive Theorem Proving: Last Call For Papers

https://www.viam.science.tsu.ge/itp2024/ The international conference on Interactive Theorem Proving (ITP 2024) will take place on September 9-14, 2024 in Tbilisi, Georgia. It is planned as a hybrid meeting.  It will mostly be a face-to-face (physical) meeting but facilities will be provided for