
- Cet évènement est passé
École CIMPA de JOHANNESBURG 2023
janvier 2 - janvier 13

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.