On November 14, 2024 at 14:00 EET, Dafina Trufaș (University of Bucharest) will give a talk in the Logic Seminar.
Author: Andrei Sipoș
Logic Seminar talk announcement: Arithmetic Terms III
On October 31, 2024 at 14:00 EET, Mihai Prunescu (University of Bucharest and IMAR) will give a talk in the Logic Seminar.
Logic Seminar talk: Proof mining and applications to optimization and nonlinear analysis
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.