We are announcing the successful end of our research project in collaboration with UiPath. This project focused on deep AI (reinforcement learning) methods that can autonomously test applications end-to-end at the UI level.
Logic Seminar talk: (Post-)Quantum Cryptography
On February 22, 2024 at 14:00 EET, Nicoleta Dumitru (University of Bucharest) will give a talk in the Logic Seminar.
Logic Seminar talk: The logic of gradable adjectives II
On February 8, 2024 at 14:00 EET, Marian Călborean (University of Bucharest) will give a talk in the Logic Seminar.
Logic Seminar talk: The logic of gradable adjectives
On January 25, 2024 at 14:00 EET, Marian Călborean (University of Bucharest) will give a talk in the Logic Seminar.
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.