Category Archives: ICM2022

ICM 2022. Kevin Buzzard: The Rise of Formalism in Mathematics

In this post I would like to report on Kevin Buzzard’s spectacular lecture on moving mathematics toward formal mathematical proofs.  (Here are the slides.) The picture above is based on images from the other spectacular Saturday morning lecture by Laure … Continue reading

Posted in Computer Science and Optimization, ICM2022, Logic and set theory, Mathematics and Computers, Number theory, What is Mathematics | 12 Comments

ICM 2022: Langlands Day

ICM 2022 is running virtually and you can already watch all the videos of past lectures at the IMU You-Tube channel, and probably even if you are not among the 7,000 registered participants you can see them “live” on You-Tube … Continue reading

Posted in Algebra, ICM2022, Number theory | Tagged , , , | Leave a comment

ICM 2022 awarding ceremonies (1)

Hugo Duminil-Copin, June Huh, James Maynard and Maryna Viazovska were awarded the Fields Medal 2022 and Mark Braverman was awarded the Abacus Medal 2022. I am writing from Helsinki where I attended the meeting of the General Assembly of the … Continue reading

Posted in Academics, Algebra, Applied mathematics, Combinatorics, Computer Science and Optimization, Convexity, Geometry, ICM2022, Probability | 7 Comments

ICM 2022 Virtual Program, Live events, and Dynamics Week in Jerusalem

ICM 2022 Next Tuesday, July 5 2022 will be the opening day of the International Congress of Mathematicians (ICM 2022) that, because of the war in Ukraine, will be fully virtual. Here is the link for the program for ICM … Continue reading

Posted in ICM2022, Updates | Tagged , | Leave a comment

Alef Corner: ICM2022

Alef’s new piece for ICM 2022 will surely cheer you up!

Posted in Art, Combinatorics, Geometry, ICM2022 | Tagged , | Leave a comment