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): ** at 2.30pm in hybrid mode (room B107 and online: https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy) ** 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