On November 21, 2024 at 14:00 EET, Dafina Trufaș (University of Bucharest) will give a talk in the Logic Seminar.
Logic Seminar talk announcement: Intuitionistic propositional logic
On November 14, 2024 at 14:00 EET, Dafina Trufaș (University of Bucharest) will give a talk in the Logic Seminar.
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.