Chargement Évènements

« Tous les Évènements

  • Cet évènement est passé

École CIMPA de JOHANNESBURG 2023

02/01/2023 - 13/01/2023

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.

Détails

Début :
02/01/2023
Fin :
13/01/2023
Catégorie d’évènement:

Organisateur

University of the Witwatersrand
E-mail
willem.conradie@wits.ac.za

Lieu

JOHANNESBURG
Afrique du Sud + Google Map

Laisser un commentaire

Ce site utilise Akismet pour réduire les indésirables. En savoir plus sur comment les données de vos commentaires sont utilisées.

Laisser un commentaire

Ce site utilise Akismet pour réduire les indésirables. En savoir plus sur comment les données de vos commentaires sont utilisées.