Kdy: March 1, 2023
Kde:

Seminář / přednáška One-variable RQ & RS5: A Frame Based Equivalence.