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:

We have a special 3-talk day with a special timing on Feb 24, 2020! (Usual building but a different room.) This is the initial meeting of the ANR Project De rerum natura. Attendance is open, but as a lunch is organized with a limited number of potential participants, visitors willing to attend are requested to contact the organizers. This day is followed by a Differential Seminar on the next day.

Past talks: