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/15346/15
 -January-2025-Formalize-–-5-A-philosophical-educat
 ional-perspective-on-formalization-in-mathematics-
 Online
DTSTAMP:20241219T134437
SUMMARY:Formalize!(?) – 5: A philosophical & educa
 tional perspective on formalization in mathematics
 , Online
DTSTART;VALUE=DATE:20250115
LOCATION:Online
DESCRIPTION:We are organizing a one-day online wor
 kshop to commemorate World Logic Day 2025 (which i
 s actually a day before this event). Registration 
 is free of charge and everybody is welcome to atte
 nd.  This series of events began with the theme of
  foundations in the context of automated theorem p
 roving: What are the chances and problems of the a
 ct of formalization in the context of mathematics?
  After three years on the topic, we have realized 
 that this context is too narrow to understand form
 alization and thus we have we added a yearly theme
  (although not all talks are necessarily aligned w
 ith it). This year we focus on ethical perspective
 s: Are there ethical aspects of the practices of f
 ormal sciences (including math), which role play f
 ormal arguments in politca  contexts, what about a
 spects of ethical AI ...  Speakers: Jordi Fairhurs
 t (UIB), Seunghyun Song (Tilburg University), Robe
 rt Naylor (Manchester), Colin Rittberg (Vrije Univ
 ersiteit Brussels) and Aleksandra Vuèkoviæ (Belgra
 de).
X-ALT-DESC;FMTTYPE=text/html:\n  <p>We are organiz
 ing a one-day online workshop to commemorate World
  Logic Day 2025 (which is actually a day before th
 is event). Registration is free of charge and ever
 ybody is welcome to attend.</p>\n  <p>This series 
 of events began with the theme of foundations in t
 he context of automated theorem proving: What are 
 the chances and problems of the act of formalizati
 on in the context of mathematics? After three year
 s on the topic, we have realized that this context
  is too narrow to understand formalization and thu
 s we have we added a yearly theme (although not al
 l talks are necessarily aligned with it). This yea
 r we focus on ethical perspectives: Are there ethi
 cal aspects of the practices of formal sciences (i
 ncluding math), which role play formal arguments i
 n politca&nbsp; contexts, what about aspects of et
 hical AI ...</p>\n  <p>Speakers: Jordi Fairhurst (
 UIB), Seunghyun Song (Tilburg University), Robert 
 Naylor (Manchester), Colin Rittberg (Vrije Univers
 iteit Brussels) and Aleksandra Vuèkoviæ (Belgrade)
 .</p>\n
URL:https://sites.google.com/view/wldzurich2025
CONTACT:José Antonio Pérez Escobar at jperez at fs
 of.uned.es
CONTACT:Deniz Sarikaya at deniz.sarikaya at vub.be
END:VEVENT
END:VCALENDAR