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
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 https://www.logicolympiad
