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.
Administrative and scientific coordinators
Course 1: "Introduction to Regular Languages", Amina Doumane (ENS Lyon, Frane)
Course 2: "Automated Deduction and Algebra", Michael Kinyon (University of Denver, USA)
Course 3: "Adjoint Functors", Zurab Janelidze (Stellenbosch University, South Africa)
Course 4: "Continuous Functions", Amartya Goswami (University of Johannesburg, South Africa)
Course 5: "Universal Algebra for Algebraic Logic", Peter Jipsen (Chapman University, USA)
Course 6: "Logic: (non) Classical Models of Reasoning", Marta Bilkova (Intitute of Computer Science, Czech Republic)
Website of the school
How to participate
For registration and application to a CIMPA financial support, follow the instructions given here.
Deadline for registration and application: October 1, 2022.