On July 31, 2024 at 16:00 EEST, Morenikeji Neri (University of Bath) will give a talk in the Proof Mining Seminar.
Author: Andrei Sipoș
The Age of Algorithms Workshop announcement
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.
Logic Seminar talk: On recurrent sequences of integers
On May 16, 2024 at 14:00 EEST, Mihai Prunescu (University of Bucharest and IMAR) will give a talk in the Logic Seminar.
Deep Blockchain Fundamentals Workshop announcement
We are announcing the Deep Blockchain Fundamentals Workshop, an event focused on blockchain technology and particularly on zero-knowledge proofs.
Logic Seminar talk: On representability by arithmetic terms
On April 18, 2024 at 14:00 EEST, Mihai Prunescu (University of Bucharest and IMAR) will give a talk in the Logic Seminar.