Kdy: 29. dubna 2026
Kde: Applied Mathematical Logic Seminar

Seminář / přednáška Decidability of PDL, but at what cost?.