The old site
>> Research >> Scientific Seminars >> Archive >> Proof Mining Seminar >> 2025
Home
Activities This Week
People
Research Staff
Honorary Members
Administration
Visitors/Collaborators
Research
Research Groups
Research Projects
Research in Pairs – Bucharest
Lucian Bădescu Prize
LEA CNRS Franco-Roumain
GDRI ECO-Math
Scientific Seminars
Conferences/Workshops
Talks & Events
Other Events
PhD Programs
Outreach
Publications
Mathematical Reports
Revue Roumaine Math. Pures Appl.
Journal of Operator Theory
IMAR Preprints and Books
IMAR Newsletter
Library
About Us
Presentation
History
Photo Album
Contact
Links

 

 

 

 

 

 

 

Proof Mining Seminar 2025
  • On the Halpern method with adaptive anchoring parameters
    Speaker: Pedro Pinto (TU Darmstadt)
    Wednesday, January 15, 2025, 16:00
    Virtual meeting room; please check the announcement, Online