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/2024/newsitem/14542/15
 -January-2024-Formalize-–-4-A-philosophical-educat
 ional-perspective-on-formalization-in-mathematics-
 Online
DTSTAMP:20231016T142725
SUMMARY:Formalize!(?) – 4: A philosophical & educa
 tional perspective on formalization in mathematics
 , Online
DTSTART;VALUE=DATE:20240115
LOCATION:Online
DESCRIPTION:A Zoom workshop to celebrate the World
  Logic Day 2024 (which is actually a day before th
 is event. Registration is free of charge and every
 body is welcome to attend.  This series of events 
 began with the theme of foundations in the context
  of automated theorem proving: What are the chance
 s and problems of the act of formalization in the 
 context of mathematics? After three years on the t
 opic, we have realized that this context is too na
 rrow to understand formalization and thus we have 
 we added a yearly theme (although not all talks ar
 e necessarily aligned with it). This year we focus
  on historical perspectives: How were different fo
 rmal systems implemented ? How much choice was the
 re? Is our current view an ironed out history, wri
 tten by the winner of the debate?
X-ALT-DESC;FMTTYPE=text/html:\n  <p>A Zoom worksho
 p to celebrate the World Logic Day 2024 (which is 
 actually a day before this event. Registration is 
 free of charge and everybody is welcome to attend.
 </p>\n  <p>This series of events began with the th
 eme of foundations in the context of automated the
 orem proving: What are the chances and problems of
  the act of formalization in the context of mathem
 atics? After three years on the topic, we have rea
 lized that this context is too narrow to understan
 d formalization and thus we have we added a yearly
  theme (although not all talks are necessarily ali
 gned with it). This year we focus on historical pe
 rspectives: How were different formal systems impl
 emented ? How much choice was there? Is our curren
 t view an ironed out history, written by the winne
 r of the debate?</p>\n
URL:https://sites.google.com/view/wldzurich2024
CONTACT:Jose Antonio Perez Escobar at jose.antonio
 .perez.escobar at ens.psl.eu
CONTACT:Deniz Sarikaya at Deniz.Sarikaya at vub.be
END:VEVENT
END:VCALENDAR