On October 17, 2024 at 14:00 EEST, Horațiu Cheval (University of Bucharest) will give a talk in the Logic Seminar.
This week’s LLMs for Romanian Workshop announcement
We are excited to announce the LLMs for Romanian Workshop, to be held on 28 September 2024. This event brings together AI enthusiasts for discussing the present and future of LLMs for the Romanian language.
Proof Mining Seminar talk: Proof mining and probability
On July 31, 2024 at 16:00 EEST, Morenikeji Neri (University of Bath) will give a talk in the Proof Mining Seminar.
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.