Logo CIMPA

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.

Official language of the school:  English

The courses are introductory to carry research activity in contemporary trends in Hodge Theory and p-adic Hodge Theory given by main actors in each activity: Hodge structures, Hodge-Tate structures, De Rham Cohomology and Betti Cohomology, Torelli type theorems, Abelian Varieties.

This School aims to bring together graduate students and young researchers from all  regions in Brazil and countries of the South America as audience, and confirmed researchers from all over the world representing different approaches to singularities in Mathematics as speakers.

The summer school will be dedicated to finite point configurations and rigidity, Erdos problems in discrete geometry and frame theory, the Falconer distance conjecture  in  geometric  measure  theory,  discrete  integrable  systems  and connections between these topics.  Participants will  be introduced to various open problems and possible research projects  in these very active research areas.

Official language of the school: English

The aim of this CIMPA school will be to familiarise graduate students and young researchers with the field of  enumerative and analytic combinatorics,  and to show its many connections to other areas,  especially computer science.  The courses  range from introductory to  more advanced levels.

One of the fascinating bridges between  classical  mechanics  and quantum physics  is expressed  in the fact that the length spectrum  and the Laplace  spectrum  of a closed Riemannian  manifold determine  each other (at least generically). The main goal of this school  is to introduce  graduate  students  and young  researchers to basic facts on these two spectra, and to the above correspondence.