Üniversite Düzeyi Matematiksel Mantık ve İspat Yöntemleri Yarışması - Tek Kişilik Bilgi Yarışması: Bu yarışma, matematiksel mantık, temel ispat teknikleri ve biçimsel sistemler üzerine ileri düzey sorular içermektedir. Lisans düzeyindeki matematik öğrencileri için tasarlanmıştır.