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/15666/11
 -June-2025-KdVI-General-Mathematics-Colloquium-Dhy
 an-Aranha
DTSTAMP:20250602T151615
SUMMARY:KdVI General Mathematics Colloquium, Dhyan
  Aranha
ATTENDEE;ROLE=Speaker:Dhyan Aranha
DTSTART;TZID=Europe/Amsterdam:20250611T160000
DTEND;TZID=Europe/Amsterdam:20250611T170000
LOCATION:KdVI Seminar Room F3.20, Science Park 107
 , Amsterdam
DESCRIPTION:Abstract:  In the fall of 2024, a coll
 ection of masters and PhD students, post-docs and 
 professors got together to learn about Lean and fo
 rmalizing mathematics. This led to an effort to fo
 rmalize a theorem of Monsky that there exist no od
 d dissections of a square by equal-area triangles,
  which was finally completed last month. In this t
 alk I'd like to reflect on the journey as well as 
 take the opportunity to do some live basic Lean co
 ding (there is nothing to install and all you'll n
 eed is an internet connection if you'd like to bri
 ng your laptop and code along with me!).
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Abstract:&nbsp
 ; In the fall of 2024, a collection of masters and
  PhD students, post-docs and professors got togeth
 er to learn about Lean and formalizing mathematics
 . This led to an effort to formalize a theorem of 
 Monsky that there exist no odd dissections of a sq
 uare by equal-area triangles, which was finally co
 mpleted last month. In this talk I'd like to refle
 ct on the journey as well as take the opportunity 
 to do some live basic Lean coding (there is nothin
 g to install and all you'll need is an internet co
 nnection if you'd like to bring your laptop and co
 de along with me!).</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