It is my pleasure to invite you to my Habilitation to Supervise Research defense, 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. I will post a youtube or zoom link here before the show if you want to attend remotely.
The official announcement follows: