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/2017/newsitem/9020/12-
 May-2017-Proof-meets-Truth-An-Informal-Bath-Bristo
 l-Workshop-on-Foundations-of-Mathematics-and-Compu
 ter-Science-Bath-England
DTSTAMP:20170504T144749
SUMMARY:"Proof meets Truth": An Informal Bath-Bris
 tol Workshop on Foundations of Mathematics and Com
 puter Science, Bath, England
DTSTART;VALUE=DATE:20170512
DTEND;VALUE=DATE:20170512
LOCATION:Bath, England
DESCRIPTION:The Mathematical Foundations group at 
 the Computer Science department at the University 
 of Bath and the Foundational Studies group of the 
 Philosophy department at the University of Bristol
  are organising an informal workshop at Bath on Ma
 y 12th 2017, Friday.  The "Proof meets Truth" Work
 shop will include 10 talks from philosophers and c
 omputer scientists in order to enrich and reinforc
 e the connections between truth theoretical and pr
 oof theoretical approaches. The workshop is open t
 o all, but please let the organizers know if you p
 lan to attend.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The Mathematic
 al Foundations group at the Computer Science depar
 tment at the University of Bath and the Foundation
 al Studies group of the Philosophy department at t
 he University of Bristol are organising an informa
 l workshop at Bath on May 12th 2017, Friday.</p>\n
 \n  <p>The &quot;Proof meets Truth&quot; Workshop 
 will include 10 talks from philosophers and comput
 er scientists in order to enrich and reinforce the
  connections between truth theoretical and proof t
 heoretical approaches. The workshop is open to all
 , but please let the organizers know if you plan t
 o attend.</p>\n
URL:/NewsandEvents/Archives/2017/newsitem/9020/12-
 May-2017-Proof-meets-Truth-An-Informal-Bath-Bristo
 l-Workshop-on-Foundations-of-Mathematics-and-Compu
 ter-Science-Bath-England
CONTACT:c.baskent at bath.ac.uk
END:VEVENT
END:VCALENDAR