BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:How will we do mathematics in 2030?
DTSTART;VALUE=DATE-TIME:20210930T143000Z
DTEND;VALUE=DATE-TIME:20210930T153000Z
DTSTAMP;VALUE=DATE-TIME:20211019T225858Z
UID:indico-event-1077061@indico.cern.ch
DESCRIPTION:\n\n\nWe make the case that over the coming decade\, computer
assisted reasoning will become far more widely used in the mathematical sc
iences. This includes interactive and automatic theorem verification\, sym
bolic algebra\, and emerging technologies such as formal knowledge reposit
ories\, semantic search and intelligent textbooks.\n\nAfter a short review
of the state of the art\, we survey directions where we expect progress\,
such as mathematical search and formal abstracts\, developments in comput
ational mathematics\, integration of computation into textbooks\, and orga
nizing and verifying large calculations and proofs. For each we try to ide
ntify the barriers and potential solutions.\n\n\n\n\nColloquium 30 Septemb
er 2021: https://cern.zoom.us/j/68464784384?pwd=Z2tQNHdnSEI0am9qVSt2Q2NUeU
tGdz09\n\nhttps://indico.cern.ch/event/1077061/
LOCATION:CERN Video only
URL:https://indico.cern.ch/event/1077061/
END:VEVENT
END:VCALENDAR