BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:AI\, Formalization and Mathematics [Workshop]
DTSTART:20260616T070000Z
DTEND:20260617T130000Z
DTSTAMP:20260721T193400Z
UID:indico-event-1103@math-events.uni-bonn.de
CONTACT:friedman@math.uni-bonn.de\;0228732994
DESCRIPTION:AI\, Formalization and Mathematics: Workshop as part of the Co
 llaborative Research Grant on “On Proofs and Partnerships: How AI\, Big 
 Data\, and Proof Assistants are Transforming Mathematical Practices” (20
 26-27)\nOrganizers: Michael Friedman (Bonn University)\, Deborah Kent (Uni
 versity St. Andrews)\nFields medallist Timothy Gowers recently observed ho
 w AI-based technologies produce “non-obvious constructions” that requi
 re retroactive rather than anticipatory explanation\, significantly alteri
 ng the temporal structure of mathematical insight and intuition. This stat
 ement reflects a broader and fundamental 21st-century transformation: the 
 integration of proof assistants\, big data sets\, and AI technologies in m
 athematical practices. This workshop will contextualize these developments
  in a longer arc of debate about the relationship between human cognition 
 and computational aids in mathematical discovery.\nTime Schedule (see "mat
 erials" for program and abstracts):\n16. Juni: 9:00 - 16:00 Uhr17. Juni: 9
 :00 - 14:00 Uhr\nExternal guests are welcome!\nParticipants:\n \n\nUrsula
  Martin (University of Oxford\, UK)\nDeniz Sarikaya (Brussels Universität
 )\nEdwin Brady (St Andrews\, UK)\nChristopher Birkbeck  (University of Ea
 st Anglia\, UK)\nMarkus Pantsar (RWTH\, Aachen)\nDaniel Wenz (RWTH\, Aache
 n)\nJim Portegies (Eindhoven University of Technology)\nHannes Junker (Bon
 n University)\nFloris van Doorn (Bonn University)\nMichael Friedman (Bonn 
 University) \nDeborah Kent (St Andrews\, UK)\n\n \n \n\nhttps://math-ev
 ents.uni-bonn.de/event/1103/
LOCATION:Endenicher Allee 60/1-016 - Lipschitzsaal (Mathezentrum)
URL:https://math-events.uni-bonn.de/event/1103/
END:VEVENT
END:VCALENDAR