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."
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.