Bonjour, Notre invité *Ulrik Buchholtz* arrivera lundi prochain (23 mars) et restera jusqu'au 26 avril avec une interruption d'une semaine (du 12 au 18 avril). En tant qu'invité de l'EUR <https://eur.univ-paris13.fr/> il donnera un mini-cours d'environ trois séances sur la *théorie homotopique de types* (HoTT) destiné aux étudiants de master, mais aussi aux doctorants, postdocs et permanents. Si ça vous intéresse vous et invités à remplir ce sondage <https://lettucemeet.com/l/KwWpn> pour indiquer vos disponibilités. Dear all, Our guest *Ulrik Buchholtz* will be arriving next Monday (*March 23*) and will be staying until *April 26*, with a one-week break from April 12 to 18. As a guest of the EUR <https://eur.univ-paris13.fr/>, he will give a mini-course of about three sessions on *Homotopy Type Theory (HoTT)*. This course is *aimed at* Master’s students, but PhD students, postdocs, and permanent staff are also welcome to attend. If you are interested, you are invited to fill out this poll <https://lettucemeet.com/l/KwWpn> to indicate your availability. Best, Jonas