Skip to main content

Initiatives

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:  t-cole3@illinois.edu 

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

Comments to James Davenport: J.H.Davenport@bath.ac.uk

Global Mathematical Libraries activities

Comments to Patrick Ion: pion@umich.edu

Past Initiatives