Por Deividi Pansera (Universidade do Porto).

Mesa-redonda com licenciados em Matemática e Matemática Aplicada, moderada por Hugo Tavares (Ciências – ULisboa).

Eva Gomes (Software Developer, Coriant, Inc.) 
Licenciatura em Matemática, Ciências – ULisboa, 2014 
Formação Intensiva em Engenharia de Software, Academia RePrograma a tua Carreira, 2015
https://www.linkedin.com/in/eva-gomes-336aa068/

Fernando Ferreira
CMAF-CIO, Universidade de Lisboa

Abstract: We introduce and study a functional interpretation that accumulates existential witnesses into finite sets. This semi-intuitionistic interpretation is able to realize the principles LLPO, WKL and the so-called FAN theorem.

[This seminar is partly a repetition of material given in the first four SLM seminars of this year.]

Por Alain Haraux (Labo. J.-L. Lions and Univ. Pierre et Marie Curie).

Sean Lawton
George Mason University - U.S.A.

Abstract: In this talk we will first discuss a general procedure for compactifying G-character varieties of discrete groups, where G is a semisimple algebraic group of adjoint type over an algebraically closed field. We will then discuss various properties of this compactification in special cases of the discrete group. This work is in collaboration with Dan Ramras and Indranil Biswas.

Leonor Godinho
Dep. Matemática - Instituto Superior Técnico

Tara Brough
Universidade Nova de Lisboa

Ophélie Rouby
Grupo de Física Matemática - Universidade de Lisboa

Rubén Figueroa
Universidade de Santiago de Compostela

Francesca Dalbono
Università degli Studi di Palermo