It is my pleasure to invite you to my Habilitation to Supervise Research defense (in english), which will take place at the University of Nantes at 2pm on the 12th of February. This is going to be all about Rocq and MetaRocq! It is open to the public and can be followed remotely at https://mediaserver.univ-nantes.fr/lives/ls2n/
The official announcement follows: