**Monday, 5th September, room 108 (1st floor)**

10:00 – 11:00 – **Laura Fontanella – Invited Lecture 1 (The Choice of New Axioms in Set Theory I)**

11:00 – 11:15 – discussion

11:15 – 11:35 – Coffee Break

11:35 – 12:15 – **Zuzana Rybaříková – Logic and Ontology of A. N. Prior**

12:15 – 12:25 – Commentary 1 (Valerie Lynn Therrien)

12:25 – 12:35 – Commentary 2 (Tomasz Zyglewicz)

12:35 – 12:45 – discussion

12:45 – 13:45 – **Jacek Wawer – Invited Lecture 1 (Branching Time and the Semantics of Future Contingents I)**

13:45 – 14:00 – discussion

14:00 – 15:30 – Lunch Break

15:30 – 16:30 – **Zalan Gyenis – Invited Lecture 1 (General properties of Bayesian learning as statistical inference determined by conditional expectations I)**

16:30 – 16:45 – discussion

16:45 – 17:15 – Coffee Break

17:15 – 17:55 – **Tomasz Steifer – Optimal Predictors and what does it mean to better predict?**

17:55 – 18:05 – Commentary 1 (Paulina Piękoś, Agnieszka Proszewska)

18:05 – 18:15 – Commentary 2 (Michał Tomasz Godziszewski)

18:15 – 18:25 – discussion

## Tuesday, 6th September, room 4 (ground floor)

11:10 – 11:30 – Coffee Break

11:30 – 12:30 – **Jacek Wawer – Invited Lecture 2 (Branching Time and the Semantics of Future Contingents II)**

12:30 – 12:45 – discussion

12:45 – 13:45 – **Zalan Gyenis – Invited Lecture 2 (General properties of Bayesian learning as statistical inference determined by conditional expectations II)**

13:45 – 14:00 – discussion

14:00 – 15:30 – Lunch Break

15:30 – 16:30 – **Laura Fontanella – Invited Lecture 2 (The Choice of New Axioms in Set Theory II)**

16:30 – 16:45 – discussion

16:45 – 17:15 – Coffee Break

17:15 – 17:55 – **Paulina Piękoś, Agnieszka Proszewska – The evolution of a concept of feasible computation and its theoretical and practical implications**

17:55 – 18:05 – Commentary 1 (Dariusz Kalociński)

18:05 – 18:15 – Commentary 2 (Antonio Matamoros Ochman)

18:15 – 18:25 – discussion

## Wednesday, 7th September, room 108

10:00 – 11:00 –** Zalan Gyenis – Invited Lecture 3 (How much can a Bayesian agent learn?)**

11:00 – 11:15 – discussion

11:15 – 11:35 – Coffee Break

11:35 – 12:35 – **Neil Barton – Invited Lecture 1 (Independence and Maximality in Set Theory I)**

12:35 – 12:50 – discussion

12:50 – 13:30 – **Dariusz Kalociński – Effects of Game Length and Social Influence on Evolution of Semantics**

13:30 – 13:40 – Commentary 1 (Jonathan Mai)

13:40 – 13:50 – Commentary 2 (Ewa Kalinowska, Adam Izdebski)

13:50 – 14:00 – discussion

14:00 – 15:30 – Lunch Break

15:30 – 16:30 – **Laura Fontanella – Invited Lecture 3 (The Choice of New Axioms in Set Theory III)**

16:30 – 16:45 – discussion

16:45 – 17:15 – Coffee Break

17:15 – 17:55 – **Valerie Lynn Therrien – Wittgenstein and the Labirynth of “Actual Infinity”: The Critique of Transfinite Set Theory**

17:55 – 18:05 – Commentary 1 (Marek Czarnecki)

18:05 – 18:15 – Commentary 2 (Maciej Bednarski)

18:15 – 18:25 – discussion

## Thursday, 8th September, room 108

10:00 – 11:00 – **Neil Barton – Invited Lecture 2 (Independence and Maximality in Set Theory II)**

11:00 – 11:15 – discussion

11:15 – 11:35 – Coffee Break

11:35 – 12:15 – **Juliusz Doboszewski – On epistemic holes in relativistic spacetimes**

12:15 – 12:25 – Commentary 1 (Tomasz Steifer)

12:25 – 12:35 – Commentary 2 (Michał Tomasz Godziszewski)

12:35 – 12:45 – discussion

12:45 – 13:45 – **Jacek Wawer – Invited Lecture 3 (Branching Time and the Semantics of Future Contingents III)**

13:45 – 14:00 – discussion

14:00 – 15:30 – Lunch Break

15:30 – 16:30 – **Laura Fontanella – Invited Lecture 4 (The Choice of New Axioms in Set Theory IV)**

16:30 – 16:45 – discussion

16:45 – 17:15 – Coffee Break

17:15 – 17:55 – **Bartosz Wcisło – Compositional truth and conservativity**

17:55 – 18:05 – Commentary 1 (Juliusz Doboszewski)

18:05 – 18:15 – Commentary 2 (Rafał Urbaniak)

18:15 – 18:25 – discussion

## Friday, 9th September, room 108

10:00 – 11:00 – **Jacek Wawer – Invited Lecture 4 (Branching Time and the Semantics of Future Contingents IV)**

11:00 – 11:15 – discussion

11:15 – 11:55 – **Marek Czarnecki – Approximate truth for finite models and modal logic**

11:55 – 12:05 – Commentary 1 (Bartosz Wcisło)

12:05 – 12:15 – Commentary 2 (Mateusz Łełyk)

12:15 – 12:30 – discussion

12:30 – 13:00 – Coffee Break

13:00 – 13:40 – **Jonathan Mai – Resistant Rigidity**

13:40 – 13:50 – Commentary 1 (Zuzana Rybaříková)

13:50 – 14:00 – Commentary 2 (Tadeusz Ciecierski)

14:00 – 14:10 – discussion

14:10 – 15:10 – **Neil Barton – Invited Lecture 3 (Independence and Maximality in Set Theory III)**

15:10 – 15:25 – discussion