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