Por Mário Edmundo (FCUL e CMAFcIO, Universidade de Lisboa).

Por Angelo Aliano Filho (Universidade Estadual de Campinas - UNICAMP).

Por Gonenc Onay.

Abstract: This is a longstanding problem. We will expose a complete axiom system, which is also model complete and satisfied by F_p^{alg}((t)). A proof will be sketched. This work is joint with Françoise Delon (Paris) and Arno Fehm (Dresden) and should be considered as in progress.

Days in Logic will take place in Lisbon (FCUL) in January 30 and 31 and in the morning of February 1, 2020.

This biennial meeting aims at bringing together mathematicians, computer scientists and other researchers with interest in Logic.

Invited speakers:

Por Marco Caroccia (Scuola Normale Superiore & Università di Firenze).

Por Benoît Merlet (Laboratoire Paul Painlevé, Université de Lille).

Por Clément Cancès (Inria Lille - Nord Europe).

Abstract: We present an original model for immiscible two-phase mixtures. This model can be interpreted as the generalised gradient flow of the same energy as for the classical degenerate Canh-Hilliard model, but for a different geometry. Our model is shown to dissipate faster. Existence of weak solutions is established based on the convergence of a JKO semi discretization (joint work with Flore Nabet and Daniel Matthes).

Por Mário Edmundo (FCUL e CMAFcIO, Universidade de Lisboa).

Por Juan Luis Vázquez (Universidad Autónoma de Madrid).

Nonlocality plays now an important role in the mathematical modelling of diffusion phenomena. The talk presents work on the existence, regularity and typical behaviour of solutions of nonlinear fractional elliptic and parabolic equations, posed in the whole space or in bounded domains. Attention is given to functional aspects, to the boundary behaviour, and to the long time asymptotics. Work with different collaborators will be mentioned.

Por Mário Edmundo (FCUL e CMAFcIO, Universidade de Lisboa).