Logic at the Intersection of Algebra, Categories, and Topology

Emplacement

JOHANNESBURG
,
Afrique du Sud

Dates

à

Présentation

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.

Langue officielle de l'école : anglais.

Coordinateurs administratifs et scientifiques

Willem Conradie (University of the Witwatersrand,
Afrique du Sud
, )
Daniel Wesley Fussner (University of Bern,
Suisse
, )

Comité scientifique

Alessandra Palmigiano (Vrije Universiteit Amsterdam, Pays-Bas)
Anneliese Schauerte (University of Cape Town, Afrique du Sud)
Peter Jipsen (Chapman University, USA)
Themba Dube (University of South Africa, Afrique du Sud)
Zurab Janelidze (Stellenbosch University, Afrique du Sud)
Marta Bilkova (Intitute of Computer Science, République tchèque)

Programme scientifique

Cours 1: "Introduction to Regular Languages", Amina Doumane (ENS Lyon, Frane)

Cours 2: "Automated Deduction and Algebra", Michael Kinyon (University of Denver, USA)

Cours 3: "Adjoint Functors", Zurab Janelidze (Stellenbosch University, Afrique du Sud)

Cours 4: "Continuous Functions", Amartya Goswami (University of Johannesburg, Afrique du Sud)

Cours 5: "Universal Algebra for Algebraic Logic", Peter Jipsen (Chapman University, USA)

Cours 6: "Logic: (non) Classical Models of Reasoning", Marta Bilkova (Intitute of Computer Science, République tchèque)

Site internet de l'école

Comment participer

Pour s'inscrire et candidater à un financement CIMPA, suivre les instructions données ici.

Date limite d'inscription et de candidature : 1er octobre 2022.