A Free Logic for Fictionalism Speaker: Mircea Dumitru (University of Bucharest/Romanian Academy) Thursday, December 14, 2023, 14:00 FMI, Hall 214

Using SAT Solvers to Investigate the Erdős–Szekeres Conjecture for e(7)=33 Speaker: Bogdan Dumitru (University of Bucharest/BitDefender) Thursday, December 7, 2023, 14:00 FMI, Hall 214

Inversion results and base-completeness for two approaches to proof-theoretic validity Speaker: Antonio Piccolomini d’Aragona (Univ. Siena/Aix-Marseille) Thursday, November 23, 2023, 14:00 Online

Yet another formalization of matching logic in Coq Speaker: Traian Șerbănuță (Univ. Bucharest/Runtime Verification) Thursday, November 9, 2023, 14:00 FMI, Hall 214

Using Z3 to Verify Inferences in Fragments of Linear Logic Speaker: Mihai Prunescu (University of Bucharest) Thursday, November 2, 2023, 14:00 FMI, Hall 214

Conway`s Army Percolation Speaker: Gabriel Istrate (University of Bucharest) Thursday, October 26, 2023, 14:00 FMI, Hall 214

Matching Logic in Lean Speaker: Horațiu Cheval (University of Bucharest) Thursday, October 19, 2023, 14:00 FMI, Hall 214

Quantum Randomness Speaker: Cristian Calude (University of Auckland) Thursday, September 28, 2023, 14:00 FMI, Hall 214

Reasoning by brute force Speaker: Marian Călborean (University of Bucharest) Thursday, June 22, 2023, 14:00 FMI, Room 214

VLSM: A General Framework for Reasoning About Faulty Distributed Systems II Speaker: Denisa Diaconescu (Univ. Bucharest/Runtime Verification) Thursday, April 6, 2023, 14:00 FMI, Hall 214

VLSM: A General Framework for Reasoning About Faulty Distributed Systems I Speaker: Denisa Diaconescu (Univ. Bucharest/Runtime Verification) Thursday, March 30, 2023, 14:00 FMI, Hall 214

Zero-knowledge proofs Speaker: Mihai Prunescu (Univ. Bucharest/IMAR) Thursday, March 16, 2023, 14:00 FMI, Hall 214

Implementing Program Verification in the K Framework Speaker: Traian Șerbănuță (FMI/Runtime Verification) Thursday, March 9, 2023, 14:00 FMI, Hall 214

Semantics for Quantified Modal Logics Speaker: Mircea Dumitru (Univ. Bucharest/Romanian Academy) Thursday, March 2, 2023, 14:00 FMI, Room 214

A short guide to implementing theorem provers Speaker: Ionuț Țuțu (IMAR) Thursday, February 16, 2023, 14:00 FMI, Hall 214