Logique et structures supérieures
Logic and higher structures
21-25 February, 2022