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

Logic seminar 2018

  • Verification of hybrid systems using KeYmaeraX
    Speaker: Adriana Stancu (FMI)
    Thursday, June 14, 2018, 10:00
    FMI, Hall 202
  • An operational-semantics-based approach to program verification using dynamic logic
    Speaker: Traian Șerbănuță (FMI)
    Thursday, June 7, 2018, 10:00
    FMI, Hall 202
  • Continuous choice
    Speaker: Mihai Prunescu (FMI/ IMAR)
    Thursday, May 24, 2018, 10:00
    FMI, Hall 202
  • Foundations for Natural Proofs and Quantifier Instantiation III
    Speaker: Traian Şerbănuță (FMI)
    Thursday, May 10, 2018, 10:00
    FMI, Hall 202
  • The bounded functional interpretation and the elimination of weak compactness
    Speaker: Pedro Pinto (University of Lisbon)
    Thursday, April 26, 2018, 10:00
    FMI, Hall 202
  • Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot
    Speaker: Cătălin Dima (Université Paris-Est Créteil)
    Thursday, April 19, 2018, 10:00
    FMI, Hall 202
  • Foundations for Natural Proofs and Quantifier Instantiation II
    Speaker: Traian Serbanuta (FMI)
    Thursday, March 29, 2018, 10:00
    FMI, Hall 202
  • Foundations for Natural Proofs and Quantifier Instantiation
    Speaker: Traian Serbanuta (FMI)
    Thursday, March 22, 2018, 10:00
    FMI, Hall 202
  • Dynamic logic of hybrid systems
    Speaker: Adriana Stancu (FMI)
    Thursday, March 15, 2018, 10:00
    FMI, Hall 202
  • On the Expressive Completeness of Bernays-Schönfinkel-Ramsey Separation Logic
    Speaker: Radu Iosif (CNRS - VERIMAG, France)
    Friday, March 2, 2018, 12:00
    FMI, Hall 202
  • Many-sorted polyadic modal logic
    Speaker: Natalia Moanga (Univ. of Bucharest)
    Thursday, February 22, 2018, 10:00
    FMI, Hall 202
  • Modal logic as higher-order logic III
    Speaker: Mircea Dumitru (Univ. of Bucharest)
    Thursday, February 8, 2018, 10:00
    FMI, Hall 202
  • First order interpretations in groups, rings and algebras II
    Speaker: Mihai Prunescu (Univ. of Bucharest/IMAR)
    Thursday, January 18, 2018, 10:00
    FMI, Hall 202
  • Modal logic as higher-order logic II
    Speaker: Mircea Dumitru (Univ. of Bucharest)
    Thursday, January 11, 2018, 10:00
    FMI, Hall 202