Mário Edmundo
CMAF-CIO, Universidade de Lisboa

Abstract: In this seminar we present (some of) the recent the work of Tobias Kaiser (Univ. Passau) establishing, for the categories of semi-algebraic functions, globally sub-analytic functions and more generally constructible functions on non archimedean real closed fields with archimedean value group, a full Lebesgue like integration theory.

Sessão com a presença de coordenadores de curso e mestrandos.

Mark Ashbaugh
University of Missouri

Andrew Arana
University of Paris 1 Panthéon-Sorbonne and IHPST

Abstract: We articulate the view that mutually interpretable statements have identical meanings. We then argue against this view by showing that it would make unintelligible an important mathematical practice, namely that of purity of methods.

Rafael Torrado Monteiro apresenta a dissertação "Post-Quantum Cryptography: Lattice-Based Cryptography and Analysis of NTRU Public-Key Cryptosystem".

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.