The Committee regularly organizes panels and talks of general interest to the mathematical community at ICM’s. We present a selection of them here, including pertinent documents and links to the video streams when available.
Due to the events leading to virtualizing ICM 2022, the panel to be organized by CEIC was canceled. CEIC member Kevin Buzzard gave a Special Lecture on “The Rise of formalism in Mathematics”.
August 7, 14:45 - 16:15 : Panel on “Machine-Assisted Proofs”
(moderator: James Davenport, panelists: Luís Cruz-Filipe, Harald Helfgott, James Maynard, Bjorn Poonen, Pham Huu Tiep)
August 7, 16:30-18:00 : Panel on “International Mathematical Knowledge Trust (IMKT): an Update on the Global Digital Mathematics Library”
(moderator: Patrick Ion, panelists: Thierry Bouche, Gadadhar Misra, Alf A. Onshuus, Stephen M. Watt, Liu Zheng)
August 18, 18:00-19:30: Panel on “Mathematical Massive Open Online Courses”
(moderator: James Davenport, University of Bath, UK). Held in conjunction with the “How Can We Teach Better” panel/round table to be organized by ICMI.
August 19, 18:00-19:30: Panel on “The Future of Mathematical Publishing”
(moderator: Jean-Pierre Bourguignon, ERC, Brussels)
August 20, 18:00-19:30: The World Digital Mathematics Library" (WDML), moderator: Peter Olver, University of Minnesota, USA