Universiteit van Amsterdam


Institute for Logic, Language and Computation

12 May 2017, "Proof meets Truth": An Informal Bath-Bristol Workshop on Foundations of Mathematics and Computer Science, Bath, England

Date: Friday 12 May 2017
Location: 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 for logistics reasons if you plan to attend.

University of Bath
Room: CB 3.15

10:00-10.10     Introduction
10:10-10.40     Can Baskent - Paradoxes in Games
10:40-11.00     Johannes Stern - Supervaluational style truth
11.00-11.30     Break
11:30-12.00     John Power - Logic Programs as Coalgebras
12.00-12.30     Leon Horsten - Structure and computation
12.30-2.00     Lunch
2.00-2.30     Alessio Gugliemi - What Is Wrong with Analyticity in Gentzen's Proof Theory and How to Fix It
2.30-3.00     Philip Welch - A Church's thesis for polynomial time computation on omega-strings
3.00-3.10     Break
3.10-3.40     Guy McCusker - Incomplete information and uniformity in game semantics
3.40-4.10     Kentaro Fujimoto - TBC
4.10-4.30     Break
4.30-5.00     Jim Laird - Games and dependent type theory
5.00-5.30     Catrin Campbell-Moore - Self-Referential Probability