Logic Seminar

The Logic Seminar is a joint LOS/IMAR/ILDS seminar, featuring talks on mathematical logic, philosophical logic and logical aspects of computer science.

All seminars, except where otherwise indicated, will be on Thursdays between 14:00 and 16:00, Bucharest time. The seminars are held locally at Hall 214 (“Google”) of the Faculty of Mathematics and Computer Science, University of Bucharest, but can also be occasionally held remotely.

To receive announcements about the seminar, please send an email to logic-seminar@ilds.ro.

Organizers: Laurențiu Leuștean, Andrei Sipoș

Past Talks in 2024-2025

Thursday, October 17, 2024

Horațiu Cheval (University of Bucharest)

Proof mining and applications to optimization and nonlinear analysis

Abstract:

We present the main results from [1], obtained as part of the program of proof mining, consisting of quantitative information on the asymptotic behavior of iterations from optimization and nonlinear analysis. We begin with a brief introduction to proof mining, after which we present results concerning the Tikhonov-Mann and modified Halpern iterations for finding fixed points of nonexpansive mappings in a very general nonlinear setting, where the main quantitative content we get takes the form of uniform rates of asymptotic regularity. This then generalizes to iterations for approximating common fixed points of families of nonexpansive mappings, for which we again compute rates of asymptotic regularity, as well as rates of metastability. Finally, we obtain linear rates of asymptotic regularity for a variety of iterations encountered in the optimization literature.

References:

[1] H. Cheval. Proof mining and applications to optimization and nonlinear analysis. PhD Thesis, submitted, 2024.

Thursday, October 24, 2024

Mihai Prunescu (University of Bucharest and IMAR)

Arithmetic Terms III

Abstract:

We present other two representations of the C-recursive sequences by the speaker and new approaches to the prime numbers. The latter is joint work in progress with Lorenzo Sauras-Altuzarra and Joseph Shunia.

Thursday, December 5, 2024

Marian Călborean (University of Bucharest)

TBA

Abstract:

TBA

Past Seminars