/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-IGG/ 2024-02-08T00:00:00+01:00 /posts/talk-EPFL/ 2025-03-29T18:32:20+01:00 /posts/talk-veridis/ 2024-11-16T13:23:26+01:00 /posts/talk-FAU/ 2024-04-30T00:00:00+02:00 /posts/LPAR/ 2024-06-23T18:35:41+02:00 /posts/talk-veridis-retreat/ 2024-06-20T00:00:00+02:00 /posts/talk-TPTPTP/ 2024-07-01T00:00:00+02:00 /posts/PAAR/ 2025-10-01T12:55:04+02:00 /posts/ATVA/ 2025-01-31T23:49:19+01:00 /posts/talk-LORIA/ 2024-11-16T13:23:26+01:00 /posts/talk-LVP/ 2024-11-16T13:23:26+01:00 /posts/talk-SCALP/ 2024-11-16T13:23:26+01:00 /posts/talk-Bonn-SS/ 2025-06-03T00:00:00+02:00 /posts/CADE25/ 2025-10-24T08:53:55+02:00 /posts/talk-TPTPTP/ 2025-10-11T21:14:26+02:00 /posts/talk-EPN/ 2025-10-11T21:17:12+02:00 /posts/frocos/ 2025-11-11T16:05:08+01:00 /posts/talk-veridis-retreat/ 2025-10-31T00:00:00+01:00 /posts/talk-chocola/ 2025-12-11T00:00:00+01:00 /research/ 2026-04-01T07:37:58+02:00 /teaching/ 2026-04-01T07:37:58+02:00 /supervision/ 2026-04-01T07:37:58+02:00 /activities/ 2026-04-01T07:37:58+02:00 /tools/ 2026-04-01T07:37:58+02:00 /miscellaneous/ 2026-04-01T07:37:58+02:00 /contact/ 2026-04-01T07:37:58+02:00 / /categories/talks/ /categories/conferences/ /categories/awards/ /categories/thesis/ /categories/workshops/ /aarnewsletter.html 2026-04-01T07:37:14+02:00 /assets/map/event-map.html 2026-04-01T07:37:14+02:00 /assets/pdf/5_minutes_pour_convaincre.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/Bonn_SS.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/CHoCoLa2025.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/MEJ.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/agatha.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/atva2024.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/avm2023.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/boreal2023.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/cade30.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/cv.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/defense_presentation.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/epn_symposium.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/frocos2025.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/frocos2025_talk.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/goeland_desko.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/guide_coq.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/ijcar2022.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/ijcar2022_talk.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/lpar2024.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/paar2024.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/pdar2022.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/proof_day2021.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/sc-tptp-long.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/tcs2023.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/thesis.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/tiger.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/tptptp2024.pdf 2026-04-01T07:37:14+02:00 /assets/pdf/tptptp2025.pdf 2026-04-01T07:37:14+02:00