Brazil

The objective of this school is mainly to spread the knowledge on Parallel and Distributed Algorithms, considering their theoretical and pratical aspects. The activities and discussions will focus on algorithms and applications suitable for intensive parallelization. What characterizes these applications is the possibility to obtain, through the utilization of parallel computers, a solution for larger problems than those currently being solved by sequential computers.

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 classical results and open problems that lie at the interface between commutative algebra and algebraic geometry, have undergone a striking evolution over the last quarter of a century, aided in large part by computer algebra calculations. At the heart of all these developments is the concept of syzygies: the analysis of the algebraic relations (syzygies) between the equations defining a geometric object leads to deep insights of its geometric properties.

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 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.

Official language of the school: English

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.

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 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.

Official language of the school: English

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 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.