Activities

October 19, 2026

Seminar

Logic and Computation Seminar

18:00
An institutional view on relative expressivity
Speaker: Ionuț Țuțu (IMAR)
Organizer: IMAR
Place: Online via Meet

October 22, 2026

Seminar

Logic Seminar

14:00
Towards an intuitionistic version of Applicative Matching Logic
Speaker: Horațiu Cheval (University of Bucharest)
Organizer: IMAR
Place: PBTower, Hall 203
Seminar

Operator Theory

14:00
Wojtynski's problem on operator Lie algebras II
Speaker: Daniel Beltita (IMAR)
Organizer: IMAR
Place: Sala 414 "Dan Barbilian" and online
Top