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.)

Talks to come:

More in preparation.

Past talks: