"KAM theory and Celestial Mechanics", por Alessandra Celletti, "Topological degree and periodic solutions of ODEs" por Fabio Zanolin e "Geometrical ideas in mechanics from Archimedes to Hamilton, Einstein, Poincaré and beyond", por Mark Levi, são três mini-cursos de Primavera e Verão em breve no Departamento de Matemática.

Os cursos são dirigidos sobretudo a alunos de mestrado e doutoramento em Matemática e Física, mas abertos a todos os interessados.

A inscrição é gratuita, mediante inscrição prévia por e-mail.

Miguel Tierz
GFMUL

Abstract: We explicitly show how to carry out explicit analytical computations in random matrix theory, emphasizing the relevance of orthogonal polynomials. Explicit examples will be given and we will also comment on the history and applications of the subject.

A short course by Thomas Colcombet (LIAFA, Université Paris Diderot).

14 March | 15h30-17h30
15 March | 9h30-11h30
16 March | 16h00-18h00
17 March | 10h30-12h30

Pedro Pinto
Faculdade de Ciências da Universidade de Lisboa

Ana Borges
Instituto Superior Técnico, Universidade de Lisboa

In this talk we present two functional interpretations of arithmetic: Gödel's functional or `dialectica' interpretation and Kohlenbach's monotone functional interpretation, which is a modification of the first. On the way, we describe weakly extensional Heyting arithmetic in all finite types, Bezem's strong majorizability notion and Howard’s majorizability theorem.

Estas ações integram-se nos Cursos Livres de Ciências (CLC), cursos com um grau de exigência e uma avaliação que seguem as regras usuais de CIÊNCIAS. Todos estes cursos têm associados ECTS. 

Para além das horas de contacto, a inscrição inclui acesso a horas de esclarecimento de dúvidas. Serão atribuídos, a cada formando que complete a formação com sucesso, não só os certificados das ações de formação mas também o certificado do CLC.

Luca Prelli
CMAF-CIO

Miguel Tierz
GFMUL

We will give a simple introduction to random matrix theory. We will start by presenting some of the motivations for the study of random matrices, giving some historical perspective on the subject while also highlighting some of the more prevalent current applications. The definition of a random matrix ensemble will be given and its implications analyzed by showing how to work with the joint probability distribution function of the eigenvalues.

Ana Borges
Instituto Superior Técnico, Universidade de Lisboa

Abstract: In this talk we present two functional interpretations of arithmetic: Gödel's functional or `dialectica' interpretation and Kohlenbach's monotone functional interpretation, which is a modification of the first. On the way, we describe weakly extensional Heyting arithmetic in all finite types, Bezem's strong majorizability notion and Howard’s majorizability theorem.