Proofs and algorithms seminar: Thomas Seiller on Wednesday 15 May 2024 at 14h00

===== Seminar of the proofs and algorithms pole =====

Dear all,

Reminder: Recall that next seminar will be on Wednesday 06 March 2024 at 14h00 by Miki Hermann: Primal Grammars Driven Automated Induction.

Notice that for another  seminar of the seminar of the pole "Proofs and algorithms", we are happy to welcome Thomas Seiller  (LABORATORY). 

***** Wednesday 15 May 2024 at 14h00, room TBA *****

Thomas Seiller -- TBA

TBA


Following seminars: TBA


The list of upcoming seminars can be found at:
https://www.lix.polytechnique.fr/proofs-algorithms/seminar/

The calendar of seminars can be found at:
https://www.lix.polytechnique.fr/proofs-algorithms/seminar/calendar.ics