ICMS 2018 - Invited Speakers/Talks

• Folkmar Bornemann Short of Proof: How Many Digits are Nonetheless Correct?(slides)
• Thomas C. Hales Formal Abstracts (slides)
• William Stein: COCALC: Making open source mathematical software easily available on the web (slides)