Por Maurício Misquero (Universidade de Granada).

Por Harbir  Antil (George Mason University).

Por Carlos Florentino (Universidade de Lisboa, CMAFcIO).

Abstract: Generalizing the classical theory of algebraic invariants, David Mumford introduced Geometric Invariant Theory in order to endow natural quotients and moduli spaces with algebro-geometric structure. It turned out that quotients in algebraic geometry are intimately related to quotients in symplectic geometry, through the famous Kempf-Ness theorem.

Por Alfio Quarteroni (Politecnico di Milano, Italia).

Por Marcel Xavier (LNCC, Petropolis, Brasil).

Abstract: The topological derivative is a scalar field that measures the sensitivity of a given shape functional with respect to an infinitesimal singular domain perturbation, such as the insertion of holes, inclusions, source-terms or even cracks. In this work, the concept of topological derivative is applied in the context of damage and fracture mechanics. In particular, the nucleation and propagation damaging process are studied.

Por Riccardo Scala (University of Rome 1, “La Sapienza”).

Abstract: We introduce the notion of area of the graph of a smooth function and the definition of the corresponding relaxed functional. We discuss some issues related to determine the domain and the exact value of it on singular maps. Finally we show how this question is related to Plateau-type problems with mixed boundary conditions and how to solve it in some specific cases.

Por Wladimir Neves (Instituto de Matemática, Universidade Federal do Rio de Janeiro, Brasil).

Abstract: In this talk, we consider a fractional type degenerate heat equation posed in bounded domains. We show the existence of solutions for measurable and bounded non-negative initial data, and homogeneous Dirichlet boundary condition. The nonlocal diffusion effect relies on an inverse of the s-fractional Laplacian operator, and the solvability is proved for any s , 0 < s < 1.

Por Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa).

Abstract: Some results and reduction techniques for proving decidability of mathematical theories and completeness of logics are presented. The crucial role of the theory of real closed ordered fields is explained. Selected illustrations from Euclidean Geometry to Quantum Logic are discussed.

Por Elia Zardini (Universidade de Lisboa).

In 2017, Portugal, mainly the center of Portugal, where the city of Coimbra is localized, was devastated by terrible wild fires. This tragedy has affected all the Portuguese society that is now extremely engaged in avoiding future similar and dramatic events.