Logic at the Intersection of Algebra, Categories, and Topology

Location

JOHANNESBURG
,
South Africa

Dates

to

Presentation

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,
Switzerland
, )

Scientific committee

Alessandra Palmigiano (Vrije Universiteit Amsterdam, Netherlands)
Anneliese Schauerte (University of Cape Town, South Africa)
Peter Jipsen (Chapman University, USA)
Themba Dube (University of South Africa, South Africa)
Zurab Janelidze (Stellenbosch University, South Africa)
Marta Bilkova (Intitute of Computer Science, Czech Republic)

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.