Thursday 7 November
9.00-9.45 Registration Coffee
9.45 Opening Address: Michał Heller
Charmain: Jean-Pierre Marquis
10.00-11.00 Colin McLarty — Mathematics as Love of Wisdom
11.00-12.00 Zbigniew Semadeni — Creating New Concepts in Mathematics: Freedom and Limitations
12.00-13.30 Lunch
Charmain: Steve Awodey
13.30-14.30 Jean-Pierre Marquis — Bourbaki, Categories and Structuralism
14.30-15.30 Zbigniew Król — Ontology and Logic
15.30-16.00 Coffee break
Charmain: Wiesław Kubiś
16.00-17.00 Ryszard Kostecki — Two Layers of Inference
Friday 8 November
9.00-10.00 Morning Coffee
Charmain: Shahn Majid
10.00-11.00 Bob Coecke — Physics from Compositional Logic
11.00-12.00 Marek Kuś — No-Signaling in Categorical Formulation
12.00-13.30 Lunch
Charmain: Zbigniew Król
13.30-14.30 Michał Heller — The Robot Mind and Categorical Logic
14.30-15.00 Mariusz Stopa — Is There Any Place for Paraconsistent Logic in (Co-)Toposes?
15.00-15.30 Bartłomiej Skowron — Was Saunders Mac Lane a Platonic?
15.30-16.00 Coffee Break
Charmain: Bob Coecke
16.00-16.30 Marek Woszczek — Quantum Contextuality as a Topological Property, and the Ontology of Potentiality
16.30-17.00 Radosław Kycia — Yes. Information Is Physical – Landauer’s Principle as a Special Case of Galois Connection.
17.00-17.45 Michał Eckstein — The Experiment Paradox
Saturday 9 November
Charmain: Marek Kuś
9.00-10.00 Shahn Majid — Riemannian Geometry on Boolean Algebras
10.00-11.00 Jerzy Król, Torsten Asselmeyer-Maluga — Differentiability, Logic and Physics
11.00-11.30 Coffee Break
Chairman: Colin McLarty
11.30-12.30 Wiesław Kubiś — Generic Mathematical Structures
12.30-13.30 Steve Awodey — Intensionality, Invariance, and Univalence
13.30 Lunch