Proofs and algorithms seminar: Serge Lechenne on Wednesday 24 April 2024 at 14h00 ===== Seminar of the proofs and algorithms pole ===== Hello everybody, For a new seminar of the proofs and algorithms pole of LIX, we are happy to welcome Serge Lechenne (ENS Paris-Saclay), invited by the PARTOUT team. ***** Wednesday 24 April 2024 at 14h00, room Philippe Flajolet ***** Serge Lechenne -- TBA TBA The following seminar will be on Wednesday 15 May 2024 at 14h00 by Thomas Seiller. 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