BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:What is... mathematical formalization? [Graduate Colloquium]
DTSTART:20251126T141500Z
DTEND:20251126T154500Z
DTSTAMP:20260417T214500Z
UID:indico-event-809@math-events.uni-bonn.de
DESCRIPTION:Speakers: María Inés de Frutos Fernández (MI)\n\nAbstract:\
 nMathematical formalization is the process of digitizing mathematical defi
 nitions and results using a "proof assistant" (e.g. Lean)\, that is\, a co
 mputer program capable of checking logical statements against a set of inf
 erence rules and some basic axioms. In recent years\, the community of mat
 hematicians working on formalization has grown rapidly and has reached mil
 estones that demonstrate the ability to formalize results at the frontier 
 of knowledge. In this talk\, I will give an introduction to formalization\
 , survey recent formalization projects\, and discuss applications to mathe
 matical research\, teaching\, and communication. No previous knowledge in 
 this area will be assumed.\n \nWebsite of the Hausdorff Colloquium\n\nhtt
 ps://math-events.uni-bonn.de/event/809/
LOCATION:Endenicher Allee 60\, Nebengebäude/N0-003 - Seminarraum (Matheze
 ntrum)
URL:https://math-events.uni-bonn.de/event/809/
END:VEVENT
END:VCALENDAR