The Proof Mining Seminar is a joint LOS/IMAR/ILDS seminar, featuring talks on recent results in proof mining.
Proof mining is a paradigm of research, concerned with the extraction of hidden finitary and combinatorial content from proofs that make use of highly infinitary principles. The new information is obtained after a logical analysis, using proof-theoretic tools, and can be both of a quantitative nature, such as algorithms and effective bounds, as well as of a qualitative nature, such as uniformities in the bounds or weakenings of the premises.
All seminars, except where otherwise indicated, will be on Wednesdays between 16:00 and 18:00, Bucharest time. The seminars are held remotely.
To receive announcements about the seminar, please send an email to proof-mining-seminar@ilds.ro.
Organizers: Ulrich Kohlenbach, Laurențiu Leuștean, Andrei Sipoș