Dear all,
This is a reminder that there is a complexity seminar planned today (for some reason it does not appear in the calendar on my phone; I will solve that as soon as possible):
I will not be at LIPN today but Morgan agreed (many thanks to him!) to open the room and take care of the recording.
Paulin de Naurois will be talking about « a generic proof of the Cook-Levin theorem ».
Best,
/t