Kdy: April 29, 2026
Kde: Applied Mathematical Logic Seminar

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