BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:AI\, Formalization and Mathematics [Workshop]
DTSTART:20260616T070000Z
DTEND:20260717T130000Z
DTSTAMP:20260308T041700Z
UID:indico-event-1103@math-events.uni-bonn.de
CONTACT:friedman@math.uni-bonn.de\;0228732994
DESCRIPTION:Workshop as part of the Collaborative Research Grant on “On 
 Proofs and Partnerships: How AI\, Big Data\, and Proof Assistants are Tran
 sforming Mathematical Practices” (2026-27)\nOrganizers: Michael Friedman
  (Bonn University)\, Deborah Kent (University St. Andrews)\nFields medalli
 st Timothy Gowers recently observed how AI-based technologies produce “n
 on-obvious constructions” that require retroactive rather than anticipat
 ory explanation\, significantly altering the temporal structure of mathema
 tical insight and intuition. This statement reflects a broader and fundame
 ntal 21st-century transformation: the integration of proof assistants\, bi
 g data sets\, and AI technologies in mathematical practices. This workshop
  will contextualize these developments in a longer arc of debate about the
  relationship between human cognition and computational aids in mathematic
 al discovery.\nTime Schedule:\n16. Juni: 9:00 - 16:00 Uhr17. Juni: 9:00 - 
 14:00 Uhr\nExternal guests are welcome!\nParticipants:\n\nDeborah Kent (St
  Andrews\, UK)\nUrsula Martin (University of Oxford\, UK)\nDeniz Sarikaya 
 (Brussels Universität)\nEdwin Brady (St Andrews\, UK)\nChristopher Birkbe
 ck  (University of East Anglia\, UK)\nStefania Centrone (TU Munich)\nMark
 us Pantsar (RWTH\, Aachen)\nDaniel Wenz (RWTH\, Aachen)\nJim Portegies (Ei
 ndhoven University of Technology)\nHannes Junker (Bonn University)\nFloris
  van Doorn (Bonn University)\nMichael Friedman (Bonn University) \n\n \n
  \n\nhttps://math-events.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