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.

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

Optimization 2017 is the ninth edition of a series of Optimization international conferences held every three or four years, in Portugal.

This meeting aims to bring together researchers and practitioners with common interests in optimization. This conference series has international recognition and is being organized under the auspices of APDIO - Portuguese Operations Research Society.

Rubén Figueroa
Universidade de Santiago de Compostela

Francesca Dalbono
Università degli Studi di Palermo

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.

Carlos Rocha
CAMGSD - Instituto Superior Técnico

Abstract: We consider small nonautonomous perturbations of autonomous evolution processes generated by certain scalar semilinear parabolic differential equations. Extending the notion of Morse-Smale dynamical system to the nonautonomous framework we show that under generic assumptions the above evolution processes are Morse-Smale.

This is a joint work with Radoslaw Czaja and Waldyr Oliva.