Recent years have witnessed the emergence of powerful semantic tools for non-classical logics. These semantic methods draw from web of mathematical formalisms at the intersection of ordered and universal algebra, topology, and category theory, and together provide a flexible and unifying framework for the study of logic across a host of domains. LIACT serves as a broad introduction to this dynamic and quickly growing area of modern mathematical research, and places particular emphasis on this area's deep interactions with/and applications to computer science.
Official language of the school: English.