On January 25, 2024 at 14:00 EET, Marian Călborean (University of Bucharest) will give a talk in the Logic Seminar.
Author: Andrei Sipoș
Logic Seminar talk: Formalizing Hybrid Modal Logic in Lean
On January 11, 2024 at 14:00 EET, Alexandru Oltean (University of Bucharest) will give a talk in the Logic Seminar.
Short talks at the Data Science seminar: Language-Agnostic Causality Trees on Argumentative Texts and Raman spectroscopy for tumor detection
On December 15, 2023 at 11:00 EET (FMI, Hall 214 “Google”), we will have two short talks (30 min. each) in the Data Science Seminar, by Miruna Zăvelcă and Eduard Szmeteanca.
Special seminar – AI for Chemistry
On December 15, 2023 at 11:00 EET, we will organize a special seminar related to our AI for Chemistry research project. It will take place at Oteteleșanu Mansion, Călugăreni Street, Măgurele, Ilfov.
Logic Seminar talk: A Free Logic for Fictionalism
On December 14, 2023 at 14:00 EET, Mircea Dumitru (University of Bucharest & Romanian Academy) will give a talk in the Logic Seminar.