14:00
15:00
I am pleased to invite you to my PhD defense on "Verification and Synthesis of Parameterized Concurrent Systems" on Thursday, September 30, at 14:00 CET.
It will be hybrid: in Salle 1Z68 ENS Paris-Saclay, and online using the following link:
https://cnrs.zoom.us/j/99606315744 (Password : anirb1)
Further information can be found here: https://lmf.cnrs.fr/News/Soutenance-Anirban-Majumdar-EN.
LaBRI