37.5%
of Russian research organizations that transferred the results of their work to companies for implementation helped to create entirely new products, manufacturing processes and services for the global market.
Friday, September 12
Saturday, September 13
Sergei Artemov's talk 'The Consistency of Peano Arithmetic PA Is Provable in PA, After All'
of Russian research organizations that transferred the results of their work to companies for implementation helped to create entirely new products, manufacturing processes and services for the global market.
Applications are submitted until August 17, 2025