Zoom Virtual Meeting Room

CICM will be held fully on-line via Zoom using the meeting data you receive via email.

Session 1 (Jul 27 12:45-13:00) Opening of CICM 2020
Session 2 (Jul 27 13:00-14:30) Mathematical Knowledge Management
Session 3 (Jul 27 15:00-16:00) Formalized Mathematics
Session 4 (Jul 27 16:30-18:30) Formalized Mathematics
Session 5 (Jul 28 13:00-14:30) Formalization Languages, Ontologies
Session 6 (Jul 28 15:00-16:00) Formally Verified Tools
Session 7 (Jul 28 16:30-18:30) Managing Mathematical Libraries and Data
Session 8 (Jul 29 13:00-14:30) Automated Theorem Proving
Session 9 (Jul 29 15:00-16:00) Machine Learning, Theorem Proving and AI
Session 10 (Jul 29 16:30-17:45) Machine Learning and Theorem Proving
Session 11 (Jul 29 17:45-18:45) Business Meeting
Session 12 (Jul 30 09:30-12:00) Doctoral Programme
Session 13 (Jul 30 13:00-14:30) NFM - Natural Formal Mathematics Workshop
Session 14 (Jul 30 15:00-16:00) NFM - Natural Formal Mathematics Workshop
Session 15 (Jul 30 16:30-18:30) NFM - Natural Formal Mathematics Workshop