Abstracts

Here is the titles of invited talks:
  • Riccardo Bruni, "Some remarks on the finite theory of revisions."
  • Andrea Cantini, TBA.
  • Cezary Cieśliński, "Weak and strong notions of truth."
  • Sebastian Eberhard, "A natural feasible theory of truth."
  • Martin Fischer, "Truth: Expressivity and Minimality."
  • Kentaro Fujimoto, "Axiomatic theories of truth for set theory."
  • Leon Horsten, "Truth theories: virtues and vices"
  • Reinhard Kahle, "Truth, sets, and recursion."
  • Jeffrey Ketland, "Conservativeness, coding and concatenation."
  • Graham Leigh, "Intuitionistic theories of truth."
  • Thomas Strahm, "Weak theories of truth and explicit mathematics."
Their abstracts will be soon uploaded...

Timetable

 

 Sep 19 (Mon)
 Sep 20 (Tue)
9:30-10:30
 Leon Horsten
 Jeffrey Ketland
10:30-10:45
 Break (15 minutes)
 Break (15 minutes)
10:45-11:45
 Kentaro Fujimoto
 Graham Leigh
11:45-13:30
 Lunch
 Lunch
13:30-14:30
 Cezary Cieśliński
 Martin Fischer
14:30-15:30
 Riccardo Bruni
 Sebastian Eberhard
15:30-16:00
 Break  (30 minutes) 
 Break (30 minutes)
16:00-17:00
 Thomas Strahm
 Andrea Cantini
17:00-18:00
 Reinhard Kahle
 
19:00-
 Speakers' Dinner
The timetable is subject to change.