Logic at the Intersection of Algebra, Categories, and Topology


South Africa




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

Willem Conradie (University of the Witwatersrand,
South Africa
, )
Daniel Wesley Fussner (University of Bern,
, )

Scientific program

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.

Deadline for registration and application: October 1, 2022