Skip to main content


ICM 2018 Panels

CEIC is organizing 2 Panels at ICM 2018 in Rio: 

  • August 7, 14:45 - 16:15 : Machine-Verified Proof: State of the Art

  • August 7, 16:30-18:00 : International Mathematical Knowledge Trust (IMKT): an Update on the Global Digital Mathematics Library

These follow upon 3 panels CEIC organized at ICM 2014 in Seoul

Rewriting the 2001 document "Copyright Recommendations":

Comments to Tim Cole: 

Updating the 2010 document "Best Current Practices for Journals" to cover overlay journals

Comments to James Davenport:

Global Mathematical Libraries activities

Comments to Patrick Ion:

Past Initiatives