Seminar “Computations and Proofs” at SpecFun

Subscribe to the announcements (just click) and to the agenda (copy the link to your calendar application).

Note to potential attendees (and speakers!): In view of the security measures enforced by the current level of the Vigipirate alert system, make sure you visit our Alan Turing building with a proper ID. You will need one of us go and pick you up from the front desk.

(We also list here our PhD/HDR defenses, even when they don't take place in our main building.)

At the beginning of 2021, this seminar has paused, becoming a joint PolSys-SpecFun seminar.

Past talks: