Skip to content
Institute for Logic and Data Science
Menu
  • Home
  • Research
    • Research Projects
    • Scientific Seminars
  • Events
  • People
  • Partners
  • About
    • About Us
    • Support us
    • Executive Board
    • Contact
Menu

Category: Proof Mining Seminar

Proof Mining Seminar talk: A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications

Posted on January 5, 2023January 5, 2023 by Andrei Sipoș

On January 11, 2023 at 16:00 EET, Nicholas Pischke (TU Darmstadt) will give a talk in the Proof Mining Seminar.

Continue reading

Proof Mining Seminar talk: On the Borel-Cantelli Lemmas, the Erdős–Rényi Theorem, and the Kochen-Stone Theorem

Posted on July 11, 2022January 5, 2023 by Andrei Sipoș

On July 13, 2022 at 16:00 EEST, Paulo Oliva (Queen Mary University of London) will give a talk in the Proof Mining Seminar.

Continue reading

Proof Mining Seminar talk: The alternating Halpern-Mann iteration

Posted on July 4, 2022July 11, 2022 by Andrei Sipoș

On July 6, 2022 at 16:00 EEST, Pedro Pinto (Technische Universität Darmstadt) will give a talk in the Proof Mining Seminar.

Continue reading

Proof Mining Seminar talk: Proof mining for maximally monotone set-valued operators

Posted on June 23, 2022July 11, 2022 by Andrei Sipoș

On June 29, 2022 at 16:00 EEST, Nicholas Pischke (Technische Universität Darmstadt) will give a talk in the Proof Mining Seminar.

Continue reading

Follow us

Subscribe to our RSS feed.

Subscribe

Support us

Looking for ways to support our research? Check out all the different opportunities!

Contact us

Interested in logic and/or data science research? Send an email to contact@ilds.ro

Institute for Logic and Data Science
Str. Popa Tatu nr. 18
010805 Bucharest, Romania
contact@ilds.ro

© 2023 Institute for Logic and Data Science | Powered by Minimalist Blog WordPress Theme