Formal semantics of programming languages 

Relational and algebraic methods  

Computational effects

Rewriting 

Bisimulation and coinduction

Gilles Barthe

Raphaëlle Crubillé  

Francesco Dagnino

Ugo Dal Lago

Cecilia Di Florio

Claudia Faggian

Zeinab Gall

Alexis Ghyselen

Paul Blain Levy

Ryo Tanaka

Riccardo Treglia

Gabriele Vannoni

Akira Yoshmizu