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 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.

\n
\n The "Proof meets Truth" 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.

\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