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/13873/20
 ---22-September-2022-Proofs-and-Formalization-in-L
 ogic-Mathematics-and-Philosophy-Utrecht
DTSTAMP:20220912T141348
SUMMARY:Proofs and Formalization in Logic, Mathema
 tics and Philosophy , Utrecht
DTSTART;TZID=Europe/Amsterdam:20220920T093000
DTEND;TZID=Europe/Amsterdam:20220922T160000
LOCATION:Utrecht
DESCRIPTION:On 20-22 September the workshop Proofs
  and Formalization in Logic, Mathematics and Philo
 sophy takes place at Utrecht University, the Nethe
 rlands.  The workshop aims to bring together resea
 rchers from various areas whose work either direct
 ly concerns the role of proofs or formalization in
  logic, mathematics and philosophy, or is relevant
  for these topics in a more indirect way, e.g. by 
 being an example of the role proofs or formalizati
 on play in these fields.  There is no registration
  fee, but if you wish to attend (part of) the work
 shop, please send an email to Rosalie Iemhoff and 
 Robin Martinot: r.iemhoff at uu.nl, r.a.martinot a
 t uu.nl.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>On 20-22 Septe
 mber the workshop <em>Proofs and Formalization in 
 Logic, Mathematics and Philosophy</em> takes place
  at Utrecht University, the Netherlands.</p>\n  <p
 >The workshop aims to bring together researchers f
 rom various areas whose work either directly conce
 rns the role of proofs or formalization in logic, 
 mathematics and philosophy, or is relevant for the
 se topics in a more indirect way, e.g. by being an
  example of the role proofs or formalization play 
 in these fields.</p>\n  <p>There is no registratio
 n fee, but if you wish to attend (part of) the wor
 kshop, please send an email to Rosalie Iemhoff and
  Robin Martinot: <a class="email" href="#">r.iemho
 ff<span class="at">&nbsp;at&nbsp;</span>uu.nl</a>,
  <a class="email" href="#">r.a.martinot<span class
 ="at">&nbsp;at&nbsp;</span>uu.nl</a>.</p>\n
URL:https://uwptlp.sites.uu.nl/
END:VEVENT
END:VCALENDAR