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.
Logic Seminar talk: Partial (co)recursive functions in Coq and Lean
On April 4, 2024 at 14:00 EEST, Horațiu Cheval (University of Bucharest) will give a talk in the Logic Seminar.