Du 02  au 13 janvier 2023, une école CIMPA (Centre International de Mathématiques Pures et Appliquées) sera organisée à JOHANNESBURG en Afrique du Sud, sur le thème  : Logic at the Intersection of Algebra, Categories, and Topology. La présentation de l’école, le programme scientifique et la procédure d’inscription se trouvent ci-dessous. Pour plus de détails, veuillez consulter cette page : École CIMPA de JOHANNESBURG 2023.

Présentation de l’école

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.

Il est à noter que la langue de cette école est l’anglais.

Programme scientifique de l’école

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)

Comment participer à une école CIMPA

Toutes les personnes qui désirent participer à cette École CIMPA, hormis les conférenciers sont priées de s’enregistrer sur : https://application.cimpa.info/

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

Vous pouvez également trouver la liste d’autres écoles  CIMPA et d’autres évènements sur la page suivante : Listes des évènements.