Logo CIMPA

Brazil

The school will focus on interplay between dynamics and algebra, introducing participants to key subjects in the study of these interactions: Groupoid convolution algebras and tensor categories. The techniques developed will be applied to Leavitt path algebras, which encode combinatorics and dynamics of graphs.

Langue officielle de l'école : anglais

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.

The school aims to introduce graduate students and young researchers to the modern theory of non-associative algebras and their applications, with a focus on Lie algebras, Leibniz algebras, incidence algebras, genetic algebras and their deformations. The courses will be focused on some key topics in description of algebraic systems with certain properties, algebraic systems over positive characteristic, deformations of algebraic systems, classifications of algebraic systems.

The goal of this CIMPA School is to train young mathematicians working in Latin America in some of the most active areas of research in Algebraic Geometry, as well as to promote greater interaction among researchers and students, and to build a network of collaborations. The previous editions of the ELGA were:

I ELGA – Buenos Aires and Cordoba, Argentina (2011)
II ELGA – Cabo Frio, Brazil (2015)
III ELGA – Guanajuato, Mexico (2017)
IV ELGA – Talca, Chile (2019)

The CIMPA School in Pernambuco, scheduled for January 2026, will bring together young researchers and experts in applied mathematics to explore cutting-edge topics such as mathematical modeling in neuroscience, epidemiological systems, topological data analysis in complex systems, and statistical mechanics of neural networks.