Category Archives: ICM2022

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

Posted on July 17, 2022 by Gil Kalai

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 | 11 Comments

ICM 2022: Langlands Day

Posted on July 13, 2022 by Gil Kalai

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)

Posted on July 6, 2022 by Gil Kalai

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 | 5 Comments

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

Posted on June 30, 2022 by Gil Kalai

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

Posted on May 6, 2021 by Gil Kalai

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

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