BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Follow-up WS to TP "Prospects of Formal Mathematics" [HIM Follow-U
 p Workshop]
DTSTART:20280828T063000Z
DTEND:20280831T220000Z
DTSTAMP:20260514T072200Z
UID:indico-event-1294@math-events.uni-bonn.de
CONTACT:him-administration@hcm.uni-bonn.de\;+49-228-734885
DESCRIPTION:Speakers: Petra Serr (Hausdorff Research Institute for Mathema
 tics der Universität Bonn)\n\n\nDesciption\nFormal Mathematics\, the prog
 ram to formalize\, check\, and manage mathematical knowledge\, statements 
 and proofs with computer support\, is about to reach a critical threshold 
 where it can efficiently support mathematical research and teaching. It ha
 s the chance to profoundly change practices in pure mathematics\, as compu
 ter algebra systems have already changed computational and experimental ma
 thematics. Computer-checked formalizations of mathematical theories can b
 e seen as the kind of complete presentations that Euclid or Bourbaki were 
 aiming for. Formalized results are absolutely correct (modulo remote chanc
 es of computer failures) and can be verified by simple "mechanical'' metho
 ds independent of high-level mathematical intuitions\, abilities or tradit
 ions. They constitute a solid canon of results on which further work can b
 e founded.\nScientific Organizers:\n\nKevin Buzzard (Ldndon)\nJacques Care
 tte (Hamilton)\nMichael Kohlhase (Erlangen)\nValeria de Paiva (Berkeley)\n
 Josef Urban (Praha)\n\n\nhttps://math-events.uni-bonn.de/event/1294/
LOCATION:Poppelsdorfer Allee 45 (HIM)
URL:https://math-events.uni-bonn.de/event/1294/
END:VEVENT
END:VCALENDAR