Skip to main content

Announcements, conferences, etc.

ICM 2018 Panels Organized by CEIC

PANEL 2 - Machine-Verified Proof: State of the Art

Location, Date & Time:
Room: 101-D (Pavilion 5)
August 07 | 14:45 - 16:15

Moderator: James H. Davenport (University of Bath, UK)

Panelists:
Luís Cruz-Filipe (University of Southern Denmark, Denmark)
Harald Helfgott (University of Gottingen, Germany and University of Paris, France)
James Maynard (Oxford University, UK)
Bjorn Poonen (MIT, USA)

PANEL 3 - International Mathematical Knowledge Trust (IMKT): an Update on the Global Digital Mathematics Library

Location, Date & Time:
Room: 101-D (Pavilion 5)
August 07 | 16:30 - 18:00

ModeratorPatrick D. F. Ion (GDML WG and University of Michigan, USA)

Panelists:
Thierry Bouche (Université de Grenoble Alpes, France)
Gadadhar Misra (Indian Institute of Science Bengaluru, India)
Alf A. Onshuus (Universidad de los Andes, Colombia)
Stephen M. Watt (University of Waterloo, Canada)
Liu Zheng (Chinese Academy of Sciences, National Science Library, China)

Other meetings

The GDML WG of the CEIC has organized two sessions at the North American Joint Mathematics Meetings (2016 and 2018) and a workshop (jointly with Wolfram Research and the institute) in 2016 at the Fields Institute, Toronto, Canada. Presentations concerning its efforts have also been made at other venues.

Special Session 83 at Joint Mathematics Meetings in San Diego (Mathematical Information in the Digital Age of Science ) Wednesday January 10, 2018, 8:00 a.m.-10:50 a.m.; Thursday January 11, 2018, 1:00 p.m.-3:50 p.m;Friday January 12, 2018, 8:00 a.m.-10:50 a.m.

Semantic Representation of Mathematical Knowledge workshop, February 3-5, 2016 at the Fields Institute, Toronto, Ontario.

Special Session 73 at Joint Mathematics Meetings in Seattle (Mathematical Information in the Digital Age of Science), Wednesday January 6, 2016, 8:00 a.m.-10:50 a.m.; 2:15 p.m.-6:05 p.m.; Thursday January 7, 2016, 8:00 a.m.-11:50 a.m.