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.