12 May 2017
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. "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@bath.ac.uk<mailto:c.baskent@bath.ac.uk> for logistics reasons if you plan to attend. Can Proof meets Truth An Informal Bath-Bristol Workshop on Foundations of Mathematics and Computer Science 12th May 2017 Friday 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 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam