Logic Seminar

The Logic Seminar is a joint LOS/IMAR/ILDS seminar, featuring talks on mathematical logic, philosophical logic and logical aspects of computer science.

All seminars, except where otherwise indicated, will be on Thursdays between 14:00 and 16:00, Bucharest time. The seminars are held locally at Hall 214 (“Google”) of the Faculty of Mathematics and Computer Science, University of Bucharest, but can also be occasionally held remotely.

To receive announcements about the seminar, please send an email to logic-seminar@ilds.ro.

Organizers: Laurențiu Leuștean, Andrei Sipoș

Past Talks in 2023-2024

Thursday, November 9, 2023

Traian Șerbănuță (University of Bucharest/Runtime Verification/ILDS)

Yet another formalization of matching logic in Coq

Thursday, November 23, 2023 (online)

Antonio Piccolomini d’Aragona (University of Siena/Université d’Aix-Marseille)

Inversion results and base-completeness for two approaches to proof-theoretic validity

Past Seminars