Proofs and algorithms seminar: Sanjiv Ranchod on Wednesday 19 November 2025 at 15h00, "TBA"

===== 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 Sanjiv Ranchod (University of Cambridge), invited by the Cosynus team.

***** Wednesday 19 November 2025 at 15h00, room TBA *****

Sanjiv Ranchod -- TBA

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

To unsubscribe from this mailing list visit:
https://sympa.lix.polytechnique.fr/lists/signoff/proofs-algorithms-seminar