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

Category: Proof Mining Seminar

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
  • Previous
  • 1
  • 2
  • 3

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
  

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