Keynote Speakers:

## Upcoming Events

The FM'19 World Congress on Formal Methods will take place at the Al

This conference is dedicated to honor Alberto Elduque on the occasio

## Research Areas

Research developed within the Algebra group connects with a variety of (sub)areas of Mathematics and Computer Science…

Analysis is a key area of mathematics, having enormous applications and relations with other areas of mathematics,…

Computers have fundamentally changed the relationship between mathematics, computing and other sciences. Apart from…

The theory of Dynamical Systems has its origin in the qualitative study of ordinary differential equations or…

Geometry is a central area of modern mathematics. The 3 main strands of our work (described by the keywords) are…

Many of CMUP's researchers work on applications of Mathematics to other subjects in science and technology. For some…

The group of Probability and Statistics aggregates researchers from CMUP with the common denominator that they all…

Research in this area ranges from algebraic topics such as semigroups and groups (finite, profinite, or general) to…