https://ilds.ro

Institute for Logic and Data Science -Institute for Logic and Data Science - Skip to content Menu Home Research Research Projects Scientific Seminars Events People Fellowships Partners About About Us Support us Executive Board Contact Menu Proof Mining Seminar talk: Proof mining and probability Posted on July 24, 2024 by Andrei Sipoș On July 31, 2024 at 16:00 EEST, Morenikeji Neri (University of Bath) will give a talk in the Proof Mining Seminar. Continue reading The Age of Algorithms Workshop announcement Posted on May 20, 2024May 20, 2024 by Andrei Sipoș We are announcing the Age of Algorithms Workshop, an event focused on inter-disciplinary aspects of artificial intelligence, organized jointly by the New Europe College, Bucharest and the Institute for Logic and Data Science, to be held on 20 June 2024. Continue reading Logic Seminar talk: On recurrent sequences of integers Posted on May 12, 2024May 12, 2024 by Andrei Sipoș On May 16, 2024 at 14:00 EEST, Mihai Prunescu (University of Bucharest and IMAR) will give a talk in the Logic Seminar. Continue reading Deep Blockchain Fundamentals Workshop announcement Posted on May 1, 2024May 8, 2024 by Andrei Sipoș We are announcing the Deep Blockchain Fundamentals Workshop, an event focused on blockchain technology and particularly on zero-knowledge proofs. Continue reading Logic Seminar talk: On representability by arithmetic terms Posted on April 12, 2024April 12, 2024 by Andrei Sipoș On April 18, 2024 at 14:00 EEST, Mihai Prunescu (University of Bucharest and IMAR) will give a talk in the Logic Seminar. Continue reading 1 2 3 4 … 15 Next 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    © 2024 Institute for Logic and Data Science | Powered by Minimalist Blog WordPress Themeenusen-US1728994921https://ilds.ro

Edit your site?

What are you doing?