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 2024-2025

Thursday, March 27, 2025

Cezar Câmpeanu (University of Prince Edward Island)

Distinguishability Operation, Properties and Perspectives

Abstract:

The distinguishability operation was formally introduced by C. Câmpeanu, N. Moreira, and R. Reis in a paper presented in Kassel, Germany, at NCMA 2014. However, distinguishing between words and states was also considered in some informal way in a paper by E. F. Moore in 1959. This approach has inspired defining a new distinguishability operation in 2024, a result published in the Theoretical Computer Science Journal. In this talk, the historical perspective of this operation will be presented, including future developments, its properties, and the state complexity of this operation on regular languages.

Past Seminars