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
Research in Pairs – Bucharest