Logic Seminar

Research Center for Logic, Optimization and Security (LOS), FMI, UB
IMAR

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

The new page of the Logic Seminar is here.