BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/902
0/12-May-2017-Proof-meets-Truth-An-Informal-Bath-B
ristol-Workshop-on-Foundations-of-Mathematics-and-
Computer-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/Events/Conferences/newsitem/902
0/12-May-2017-Proof-meets-Truth-An-Informal-Bath-B
ristol-Workshop-on-Foundations-of-Mathematics-and-
Computer-Science-Bath-England
CONTACT:c.baskent at bath.ac.uk
END:VEVENT
END:VCALENDAR