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.
Comments to Tim Cole: t-cole3@illinois.edu
Comments to James Davenport: J.H.Davenport@bath.ac.uk
Comments to Patrick Ion: pion@umich.edu
ICM 2010 Round Table The Use of Metrics in Evaluating Research (John M. Ball)