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