12 May 2017, "Proof meets Truth": An Informal Bath-Bristol Workshop on Foundations of Mathematics and Computer Science, Bath, England
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 May 12th 2017, Friday.
The "Proof meets Truth" Workshop will include 10 talks from philosophers and computer scientists in order to enrich and reinforce the connections between truth theoretical and proof theoretical approaches. Please see the schedule below.
The workshop is open to all, but please let us know at c.baskent at bath.ac.uk for logistics reasons if you plan to attend.
University of Bath
Room: CB 3.15