2021

Mathematical Logic is a subfield of mathematics exploring the applications of formal logic to mathematics. Its inception was motivated by the study of foundations of mathematics and it has found applications in many areas, specially in Theoretical Computer Science. The four pillars of Mathematical Logic are Set Theory, Recursion Theory, Model Theory and Proof Theory. This school intends to cover all such subjects, on different levels and with different applications.  The proposed tree basic courses have the great advantage of requiring no or little prior knowledge.

This  school  aims  to  introduce  young  researchers  and  students  to  actual research  problems  in  the  field  of  tilings,  packings  and  optimization.  In particular,  we  shall  focus  on  possible  original  interactions between  these thematics, as well  as connections with more classic fields as number theory, transportation modeling or word combinatorics.

The aim of this school is to promote the development of mathematics in Madagascar, especially in the area of non-associative algebra, providing new research opportunities for the professors and post-graduate students from the University of Antananarivo and other Malagasy universities.

Topics of school include Non-associative algebras, Deformations, Lie algebras, Leibniz algebras and Computational Methods.

Langue officielle de l'Ecole: anglais