Thursday, November 16
9.00 Morning Coffee
9.40-10.00 Opening Address: Marek Kuś (Polish Academy of Sciences & Warsaw University of Technology) – Why Categories?
Chair: Marek Kuś
10.00-10.40 Michał Heller (Copernicus Center for Interdisciplinary Studies) & Jerzy Król (University of Silesia) – Beyond the Space-Time Boundary
10.40-11.20 Zbigniew Król (Warsaw University of Technology & Polish Academy of Sciences) – Category Theory and Philosophy: Inspirations, Problems and Methods
11.20-12.00 Piotr Sułkowski (University of Warsaw) – Categorification in Knot Theory and Physics
12.00-12.30 Coffee Break
Chair: Jiří Rosický
12.30-13.00 Bartosz Klin (University of Warsaw) – Computation Theory in the Topos of Sets With Atoms
13.00-13.30 Tomasz Brengos (Warsaw University of Technology) – Automata, Categories and Monads
13.30-14.00 Michał Przybyłek (Polish-Japanese Academy of Information Technology) – Beyond Sets With Atoms: Definability in First-Order Logic
Chair: Jerzy Król
16.00-16.30 Krzysztof Bielas (University of Silesia) – From Quantum-Mechanical Lattice of Projections to Smooth Structure of R^4
16.30-17.00 Jan Gutt (Polish Academy of Sciences) – Topoi for Quantum Mechanics
17.00-17.30 Józef Lubacz (Warsaw University of Technology) – Possible Application of Category Theory in Epistemic and Poietic Processes
19.00- Integration Meeting
Friday, November 17
9.00 Morning Coffee
Chair: Bartosz Klin
10.00-10.40 Jiří Rosický (Masaryk University) – Accessible Categories
10.40-11.20 Wiesław Kubiś (Czech Academy of Sciences & Cardinal Stefan Wyszyński University in Warsaw) – Generic Objects
11.20-12.00 Mikołaj Bojańczyk (University of Warsaw) – Monads in the Theory of Formal Languages
12.00-12.30 Coffee Break
Chair: Michał Heller
12.30-13.00 Zbigniew Semadeni (University of Warsaw) – Asymmetry of the Cantorian Mathematics From a Categorical Standpoint: Is It Related to Irreversibilities in Nature?
13.00-13.30 Krzysztof Wójtowicz (University of Warsaw) – Explanatory Virtues of Category Theory
13.30-14.00 Bartłomiej Skowron (Warsaw University of Technology) – A Defense of the Theory of Ideas
Chair: Wiesław Kubiś
16.00-16.30 Sebastian Zając (Cardinal Stefan Wyszyński University in Warsaw) – Chord Diagrams Category and Its Limit
16.30-17.00 Ben Feintzeig (University of Washington) – Deduction and Definability in Infinite Statistical Systems
17.00-17.30 Jerzy Król (University of Silesia) – Remarks on Perturbative Categorical Quantum Gravity
17.30 Closing Address: Wiesław Kubiś (Czech Academy of Sciences & Cardinal Stefan Wyszyński University in Warsaw) & Bartłomiej Skowron (Warsaw University of Technology).