Topic related to relational
Multiplayer at the speed of light
Relational Algebra, now with more algebra!
Probabilistic separation logics for verifying higher-order probabilistic programs.