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/2025/newsitem/15419/5-
 February-2025-KdVI-General-Mathematics-Colloquium-
 Johan-Commelin
DTSTAMP:20250124T034236
SUMMARY:KdVI General Mathematics Colloquium, Johan
  Commelin
ATTENDEE;ROLE=Speaker:Johan Commelin
DTSTART;TZID=Europe/Amsterdam:20250205T160000
DTEND;TZID=Europe/Amsterdam:20250205T170000
LOCATION:Room C0.110, Science Park 904, Amsterdam
DESCRIPTION:Humanity has developed many different 
 ways to communicate mathematics, ranging from the 
 very intuitive to the rigorous and precise. In thi
 s talk I will explore how we communicate mathemati
 cs. Using various examples, I will explain how for
 mal proof languages and computers can enhance the 
 mathematical ecosystem, thereby allowing us to exp
 and the ways in which we practice mathematics.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Humanity has d
 eveloped many different ways to communicate mathem
 atics, ranging from the very intuitive to the rigo
 rous and precise. In this talk I will explore how 
 we communicate mathematics. Using various examples
 , I will explain how formal proof languages and co
 mputers can enhance the mathematical ecosystem, th
 ereby allowing us to expand the ways in which we p
 ractice mathematics.</p>\n
URL:https://kdvi.uva.nl/news-and-events/colloquia/
 general-mathematics-colloquium.html
CONTACT:Jeroen Zuiddam at j.zuiddam at uva.nl
END:VEVENT
END:VCALENDAR