44
cities from Murmansk to Karaganda produced participants for the Radio HSE Olympiad, a joint project between the Higher School of Economics and Radio of Russia.
Friday, September 12
Saturday, September 13
Sergei Artemov's talk 'The Consistency of Peano Arithmetic PA Is Provable in PA, After All'
cities from Murmansk to Karaganda produced participants for the Radio HSE Olympiad, a joint project between the Higher School of Economics and Radio of Russia.
Applications are submitted until August 17, 2025