/posts/talk-proof_day2021/ 2021-06-04T00:00:00+02:00 /posts/IJCAR2022/ 2025-10-01T12:55:04+02:00 /posts/award-BNT-IJCAR2022/ 2022-08-09T00:00:00+02:00 /posts/award-WBA-IJCAR2022/ 2022-08-09T00:00:00+02:00 /posts/talk-PDAR2022/ 2025-10-01T12:55:04+02:00 /posts/talk-BORAL2023/ 2023-02-07T00:00:00+01:00 /posts/talk-TCS2023/ 2023-05-25T00:00:00+02:00 /posts/talk-AVM23/ 2023-09-04T00:00:00+02:00 /posts/thesis-phd/ 2024-01-08T16:30:02+01:00 /posts/talk-IGG2024/ 2024-02-08T00:00:00+01:00 /posts/talk-EPFL2024/ 2024-02-23T00:00:00+01:00 /posts/talk-veridis2024/ 2024-03-14T00:00:00+01:00 /posts/talk-FAU2024/ 2024-04-30T00:00:00+02:00 /posts/LPAR2024/ 2024-05-30T00:00:00+02:00 /posts/talk-veridis-retreat2024/ 2024-06-20T00:00:00+02:00 /posts/talk-TPTPTP2024/ 2024-07-01T00:00:00+02:00 /posts/PAAR2024/ 2024-07-02T00:00:00+02:00 /posts/ATVA2024/ 2024-10-24T00:00:00+02:00 /posts/talk-LORIA2024/ 2024-11-05T00:00:00+01:00 /posts/talk-LVP2024/ 2024-11-14T00:00:00+01:00 /posts/talk-SCALP2024/ 2024-11-19T00:00:00+01:00 /posts/talk-Bonn-SS2025/ 2025-06-03T00:00:00+02:00 /posts/CADE25/ 2025-10-24T08:53:55+02:00 /posts/talk-TPTPTP2025/ 2026-08-28T16:10:56+02:00 /posts/talk-EPN2025/ 2025-09-13T00:00:00+02:00 /posts/frocos2025/ 2025-10-01T00:00:00+02:00 /posts/talk-veridis-retreat2025/ 2025-10-31T00:00:00+01:00 /posts/talk-chocola2025/ 2025-12-11T00:00:00+01:00 /posts/RC2026/ 2026-07-16T09:45:52+02:00 /posts/talk-TPTPTP2026/ 2026-08-28T16:04:10+02:00 /posts/IJCAR2026/ 2026-07-29T12:20:25+02:00 /posts/ITP2026/ 2026-07-29T12:20:25+02:00 /posts/LPAR2026/ 2026-08-27T15:40:16+02:00 /research/ 2026-08-28T16:11:34+02:00 /teaching/ 2026-08-28T16:11:34+02:00 /supervision/ 2026-08-28T16:11:34+02:00 /activities/ 2026-08-28T16:11:34+02:00 /tools/ 2026-08-28T16:11:34+02:00 /miscellaneous/ 2026-08-28T16:11:34+02:00 /contact/ 2026-08-28T16:11:34+02:00 / /categories/talks/ /categories/conferences/ /categories/awards/ /categories/thesis/ /categories/workshops/ /aarnewsletter.html 2026-08-28T16:11:12+02:00 /assets/map/event-map.html 2026-08-28T16:11:12+02:00 /assets/pdf/5_minutes_pour_convaincre.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/Bonn_SS.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/CHoCoLa2025.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/MEJ.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/agatha.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/atva2024.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/avm2023.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/boreal2023.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/cade30.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/cv.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/defense_presentation.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/epn_symposium.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/frocos2025.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/frocos2025_talk.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/goeland_desko.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/guide_coq.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/ijcar2022.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/ijcar2022_talk.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/ijcar2026.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/itp2026.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/itp2026_talk.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/lpar2024.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/lpar2026.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/paar2024.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/pdar2022.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/proof_day2021.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/rc2026.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/rc2026_talk.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/sc-tptp-long.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/tcs2023.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/thesis.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/tiger.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/tptptp2024.pdf 2026-08-28T16:11:12+02:00 /assets/pdf/tptptp2025.pdf 2026-08-28T16:11:12+02:00