Por Ruy de Queiroz (Universidade Federal de Pernambuco).

Por Ali Mohammadian (School of Mathematics, Institute for Research in Fundamental Sciences - IPM, Tehran, Iran).

Por Gonçalo Oliveira (Duke University - E.U.A.).

Por David García-García (Grupo de Física Matemática - Universidade de Lisboa).

André Miguel Lopes de Matos Miranda apresenta a dissertação "O Modelo de Rating desenvolvido no Banco Português de Investimento".

Orientação: Teresa Alpuim

Por Diogo Caetano (Mestrando em Matemática, CMAF-CIO, FCUL).

This seminar is supported by National Funding from FCT - Fundação para a Ciência e a Tecnologia, under the project UID/MAT/04561/2013.

Por Pedro Pinto (Universidade de Lisboa, CMAF-CIO).

Abstract: In [2], Kohlenbach did an analysis of the proof of Browder's theorem (in [1]) via the monotone functional interpretation. I will be following the same outline but guided by the bounded functional interpretation ([3], [4]). Although the bounds obtained are the same, this example provides a first look at how the bounded functional interpretation works in practice.

Por Manuel Martins (Universidade de Aveiro).

O encontro, a decorrer nos dias 30 de junho e 01 de julho de 2017, contará com um núcleo de comunicações que incidirá sobre o tema "Os Militares e a Matemática". Em particular, o 30.º SNHM contará com a conferencista convidada, Liliane Alfonsi (Université Paris Sud, Laboratoire EST-GHDSO) que apresentará a comunicação “La guerre de sept ans (1756-1763) et ses conséquences pour les écoles militaires françaises”.