/ /about/ /posts/ /posts/ackermann-award/ 2024-11-13 /posts/acm-classifications/ 2025-08-14 /posts/astuces-copie/ 2019-09-03 /posts/autoboz/ 2024-07-30 /posts/automates-ponderes-commutatifs/ 2025-01-08 /posts/bibadac-is-born/ 2024-10-14 /posts/candidater-prix-de-these/ 2024-08-19 /posts/candidatures-mcf/ 2026-03-20 /posts/command-line-python-script/ 2023-10-28 /posts/commutative-n-poly/ 2025-01-04 /posts/docteurs-administrations/ 2021-11-21 /posts/e-w-beth-award/ 2024-08-28 /posts/fete-de-la-science/ 2023-10-18 /posts/fossacs-paper/ 2023-11-14 /posts/funprog-ccc/ 2019-02-01 /posts/github-docker/ 2024-06-22 /posts/knowledge-management/ 2022-10-19 /posts/labelled-wqo-of-bounded-lcw/ 2025-01-03 /posts/lics-presentation/ 2023-06-27 /posts/local-tarski/ 2023-11-16 /posts/pandoc-is-not-ready/ 2024-08-07 /posts/portable-typescript-modules/ 2024-09-08 /posts/portrait-ens-paris-saclay-ackermann/ 2024-11-26 /posts/post-defense/ 2023-09-20 /posts/premier-workshop/ 2018-12-22 /posts/presentation-dptinfo/ 2022-11-29 /posts/presentationlsv/ 2019-09-12 /posts/publication-robuste-sur-arxiv/ 2024-06-23 /posts/rapport/ 2019-09-12 /posts/restaurants-de-varsovie/ 2024-08-03 /posts/retour-eig/ 2021-11-14 /posts/the-spreadsheet-method/ 2023-10-17 /posts/thesis-defense/ 2023-08-23 /posts/trains-europe-fiabilite/ 2024-10-13 /posts/ui-ux-small-programs-1/ 2023-09-20 /posts/varsovie-bordeaux-highlights/ 2024-08-29 /posts/varsovie-tour-de-france/ 2024-10-10 /posts/word-topology-and-beyond/ 2020-09-23 /posts/z-polyregular/ 2023-11-15 /research/ /research/conferences/ /research/journals/ /research/preprints/ /research/reports/ /research/talks/ /series/ /series/fooding/ /series/les-resumes-de-mes-articles/ /series/les-trains/ /series/metiers/ /series/outils/ /series/preuves-diverses/ /series/ui-and-ux-for-small-programs/ /series/workshop/ /tags/ /teaching/ /teaching/2018-AGREG/ /teaching/2024-MIMUW/