Arseniy Akopyan
IST Austria

Abstract: We apply the technique of Karoly Bezdek and Daniel Bezdek to study the billiards in convex bodies, when the length is measured with a (possibly asymmetric) norm. We give elementary proofs of some known results and prove an estimate for the shortest closed billiard trajectory, related to the nonsymmetric Mahler problem. (joint work with A. M. Balitskiy, R. N. Karasev, and A. Sharipova).

Inês Martins Rodrigues apresenta a dissertação "Estruturas Combinatórias associadas aos Coeficientes de Littlewood-Richardson".

Pedro Pinto
Faculdade de Ciências da Universidade de Lisboa

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