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/2022/newsitem/13005/15
 -January-2022-Workshop-Formalize-2-Virtual
DTSTAMP:20210925T153757
SUMMARY:Workshop "Formalize!(?) 2", Virtual
DTSTART;TZID=Europe/Amsterdam:20220115T151500
DTEND;TZID=Europe/Amsterdam:20220115T194500
LOCATION:Virtual
DESCRIPTION:We are organizing a one-day online wor
 kshop to commemorate the World Logic Day, on the t
 opic of formalization in mathematics. Registration
  is free of charge and everybody is welcome to att
 end.  Topic: What are the chances and problems of 
 the act of formalization in the context of mathema
 tics? It is often said, that all of mathematics ca
 n be reduced to first-order logic and set theory. 
 The derivation indicator view says that all proofs
  stand in some relation to a derivation, i.e. a me
 chanically checkable syntactical objects following
  fixed rules, that would not have any gaps. For a 
 long time this was a mere hope. There may have bee
 n proofs of concepts from early logicists but deri
 vation never played a big role in mathematical pra
 ctice. The modern computer might change this. Inte
 ractive and automated theorem provers promise to m
 ake the construction of a justification without an
 y gaps feasible for complex mathematics. Is this p
 romise justified? Will the future of mathematical 
 practice shift to more formal mathematics? Should 
 it? We hope to illuminate such questions and focus
  especially on what these developments mean for th
 e future of the curriculum of university students.
  This event features speakers speaking about both 
 concrete projects and reflections on such endeavou
 rs in general.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>We are organiz
 ing a one-day online workshop to commemorate the W
 orld Logic Day, on the topic of formalization in m
 athematics. Registration is free of charge and eve
 rybody is welcome to attend.</p>\n\n  <p>Topic: Wh
 at are the chances and problems of the act of form
 alization in the context of mathematics? It is oft
 en said, that all of mathematics can be reduced to
  first-order logic and set theory. The derivation 
 indicator view says that all proofs stand in some 
 relation to a derivation, i.e. a mechanically chec
 kable syntactical objects following fixed rules, t
 hat would not have any gaps. For a long time this 
 was a mere hope. There may have been proofs of con
 cepts from early logicists but derivation never pl
 ayed a big role in mathematical practice. The mode
 rn computer might change this. Interactive and aut
 omated theorem provers promise to make the constru
 ction of a justification without any gaps feasible
  for complex mathematics. Is this promise justifie
 d? Will the future of mathematical practice shift 
 to more formal mathematics? Should it? We hope to 
 illuminate such questions and focus especially on 
 what these developments mean for the future of the
  curriculum of university students. This event fea
 tures speakers speaking about both concrete projec
 ts and reflections on such endeavours in general.<
 /p>\n
URL:https://sites.google.com/view/wldzurich2022/
CONTACT:jose.perez at gess.ethz.ch
END:VEVENT
END:VCALENDAR