The Krakow Methodological Conferences have a long tradition – one that dates back to the early 1990s. Their aim is to engage researchers in an interdisciplinary discussion concerning fundamental problems in science and philosophy.

The 23^{rd}
edition will be devoted to the role of logic in the natural sciences,
considered from the perspective of category theory.

Topics of interest include, but are not limited to, the following:

– the categorification of mathematics and physics;

– the internal logic of physical theories (topoi, the logic of quantum mechanics);

– universal logic and its relevance for the methodology of science;

– ontology (category theory as a network ontology, substantivalism, relationism);

– structuralism in the philosophy of mathematics and physics;

– traditional philosophical issues viewed from the perspective of category theory (the existence of mathematical objects, access to mathematical objects, intuition, the everyday practice(s) of mathematics);

– the foundations of mathematics (category theory and the foundations of mathematics, homotopy type theory, univalent foundations);

– the history of category theory.