The old site
>> Research >> Scientific Seminars >> Archive >> Logic seminar >> 2022

Logic seminar 2022

  • 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