Seminário de Lógica Matemática

Proof mining and asymptotic regularity

Sala 6.2.33, Ciências ULisboa (com transmissão via Zoom)

Por Laurentiu Leustean (University of Bucharest & Institute for Logic and Data Science & Simion Stoilow Institute of Mathematics of the Romanian Academy).

Proof mining is a subfield of applied proof theory concerned with the extraction, with the help of proof-theoretic tools, of new quantitative and qualitative information from mathematical proofs. This paradigm of research, developed by Ulrich Kohlenbach beginning with the 1990s, is inspired by  Kreisel’s program on unwinding of proofs from the 1950s. Asymptotic regularity  is a very important property in nonlinear analysis and optimization, introduced in the 1960s by Browder and Petryshyn for the Picard iteration and extended to general iterations by Borwein, Reich, and Shafrir in 1992. In numerous proofs of the strong or weak convergence of a nonlinear iteration, one obtains as an intermediate step the asymptotic regularity of the iteration, usually in a very general setting. In this talk we present recent applications of proof mining providing effective uniform rates of asymptotic regularity for different iterations in optimization and nonlinear analysis.

This is joint work with Paulo Firmino and Horatiu Cheval.


Transmissão via Zoom (pw: 919 4789 5133).

15h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

This workshop aims to explore crucial issues raised by contemporary computational models and methods in AI. The focus will be on fostering discussions about the epistemological, ontological, and formal considerations, as well as the societal implications of AI systems.

Logótipos de Ciências ULisboa/GAPsi e calendarização das palestras

Palestra promovida pelo GAPSI - Gabinete de Apoio Psicológico de Ciências ULisboa, no âmbito do projeto Ciências em Harmonia.

An annual meeting that aims to bring together Evolutionary Biologists working in Portugal and abroad in order to promote scientific cohesion and excellence. This meeting is a forum for scientists of all academic levels (from master students to principal investigators), to present their work and discuss, fostering new ideas and collaborations.

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.

Páginas