Spectral inequalities for the Schrodinger operator
Por Gilles Lebeau (Université de Nice Sophia-Antipolis).
CMAF-CIO
Instantiation overflow from the viewpoint of categorical semantics and linear logic
Por Paolo Pistone (Università Roma Tre).
GE2MI conference on PDE’s, Control Theory and Related Topics
A labeled logic for analyzing cyber-forensics evidence
Por Luca Viganò (King´s College London).
Solutions concentrating on spheres for coupled Schrödinger systems in dimension four
Por Jianjun Zhang (Università degli Studi dell'Insubria).
Model theory and decidability theory for adele rings
Por Angus Macintyre (Queen Mary, University of London) (Emeritus).
Abstract: To each number field K there is attached a locally compact ring A_K, the ring of adeles over K. This ring is built from the completions of K at equivalence classes of absolute values. These can be either p-adic or real, or complex. Harmonic analysis on the adeles is a fundamental technique in number theory (since the famous thesis of John Tate) .
The Cheeger problem and an application to the (constant) Prescribed Mean Curvature problem
Por Giorgio Saracco (Università degli Studi di Pavia).
Flops and derived categories via n-tilting torsion classes
Por Luisa Fiorot (Università degli Studi di Padova).
Generic roots of exponential polynomials
Por Paola d'Aquino (Università Degli Study Della Campania).
Abstract: I will discuss the nature of the set of solutions of certain exponential polynomials over the complex field. This has connections with a conjecture due to Zilber on the axiomatization of the complex exponential field.
Descriptive complexity of proofs in FOL (part 2)
Por Cristina Sernadas (Instituto Superior Técnico, CMAF-CIO, Universidade de Lisboa).