BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/current/newsitem/16105
 /11-March-2026-General-Mathematics-Colloquium-Jero
 en-Zuiddam-
DTSTAMP:20260309T104134
SUMMARY:General Mathematics Colloquium, Jeroen Zui
 ddam 
ATTENDEE;ROLE=Speaker:Jeroen Zuiddam 
DTSTART;TZID=Europe/Amsterdam:20260311T160000
DTEND;TZID=Europe/Amsterdam:20260311T170000
LOCATION:Nikhef colloquium zaal (ground floor), Sc
 ience Park 105, Amsterdam
DESCRIPTION:Mathematics is on the brink of excitin
 g and disruptive change. Recent developments in au
 tomatic formalisation (transforming human-readable
  proofs into machine-checkable proofs) open the do
 or to rapid mathematical verification and explorat
 ion. How does this impact our work? Through exampl
 es of my own and others, I will discuss capabiliti
 es of current AI/formalisation tools (tools that *
 you* can use, "off the shelf", right now) in the c
 ontext of mathematical research, and the challenge
 s and opportunities this presents. 
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Mathematics is
  on the brink of exciting and disruptive change. R
 ecent developments in automatic formalisation (tra
 nsforming human-readable proofs into machine-check
 able proofs) open the door to rapid mathematical v
 erification and exploration. How does this impact 
 our work? Through examples of my own and others, I
  will discuss capabilities of current AI/formalisa
 tion tools (tools that *you* can use, &quot;off th
 e shelf&quot;, right now) in the context of mathem
 atical research, and the challenges and opportunit
 ies this presents.&nbsp;</p>\n
URL:https://kdvi.uva.nl/content/events/2026/03/gen
 eral-math-colloquium-jeroen-zuiddam.html
CONTACT:Eni Musta at e.musta at uva.nl
END:VEVENT
END:VCALENDAR