A notational extension of classical first-order logic to deal with vague language Speaker: Marian Călborean (Univ. of Bucharest) Thursday, November 17, 2022, 14:00 FMI, Room 214

Possibility theory and the arithmetic of fuzzy numbers Speaker: Andrea Sgarro (DMG University of Trieste) Thursday, November 10, 2022, 14:00 FMI, Room 214

Lean-certified Dynamic Epistemic Logic with Actions for Security Protocols Speaker: Bogdan Macovei (Univ. of Bucharest) Thursday, November 3, 2022, 14:00 FMI, Hall 214