The Proof Mining Seminar is a joint LOS-Institute for Logic and Data Science (ILDS) seminar.
Organizers: Ulrich Kohlenbach, Laurențiu Leuștean and Andrei Sipoș

The new web page of the Proof Mining Seminar is here.