Speaker: António Marques Fernandes (Instituto Superior Técnico - Universidade de Lisboa).

Zoom Meeting | Meeting ID: 890 8479 3299 | Password: 409604

Speaker: Jaime Gaspar (Centro de Matemática e Aplicações - CMA, FCT, UNL).

Speakers: Lorenzo Mazzieri and Piotr Chruściel (Università di Trento / University of Vienna).

We will review the status of the uniqueness theory of static vacuum black holes, with or without a cosmological constant Λ and we will outline the proof of a uniqueness theorem with Λ>0, proved jointly in collaboration with Stefano Borghini.

Speaker: Pedro Pinto (Technische Universitat Darmstadt).

Abstract: Proof mining is a research program that employs proof theoretical tools to obtain additional information from mathematical results, [1]. Its techniques have been applied successfully to many areas of Mathematics with special focus on Nonlinear Analysis. This presentation reports ongoing joint work with Ulrich Kohlenbach.

A Feira da Matemática está de volta ao Museu Nacional de História Natural e da Ciência da Universidade de Lisboa. Este ano, com um programa exclusivamente online.

Speaker: Jean-Baptiste Casteras (CMAFcIO, Universidade de Lisboa).

In this talk, we will be interested in standing wave solutions to a fourth order nonlinear Schrödinger equation having second and fourth order dispersion terms. This kind of equation naturally appears in nonlinear optics. In a first time, we will establish the existence of ground-state and renormalized solutions. We will then be interested in their qualitative properties, in particular their stability.

Speaker: Clarence Protin.

Abstract: Many intuitively valid arguments involving intensionality cannot be captured by first-order logic, even when extended by modal and epistemic operators.

Indeed, previous attempts at providing an adequate treatment of the phenomenon of intensionality in logic and language, such as those of Frege, Church, Russell, Carnap, Quine, Montague and others are fraught with numerous philosophical and technical difficulties and shortcomings.

Speaker: Davide Masoero (Grupo de Física Matemática, FCUL).

Abstract: We study a second-order linear differential equation known as the deformed cubic oscillator, whose isomonodromic deformations are controlled by the first Painlevé equation. We use the generalised monodromy map for this equation to give solutions to the Bridgeland's Riemann-Hilbert problem arising from the Donaldson-Thomas theory of the A2quiver.

Por Longmei Shu (Emory University).

Speaker: Clarence Protin.

Abstract: Many intuitively valid arguments involving intensionality cannot be captured by first-order logic, even when extended by modal and epistemic operators.

Indeed, previous attempts at providing an adequate treatment of the phenomenon of intensionality in logic and language, such as those of Frege, Church, Russell, Carnap, Quine, Montague and others are fraught with numerous philosophical and technical difficulties and shortcomings.