https://rmonat.fr/publication-type/1/2026-07-03T00:00:00+00:00https://rmonat.fr/publication/26_ecoop_tsa/2026-07-03T00:00:00+00:00https://rmonat.fr/talk/260703-ecoop-tsa/2026-07-03T00:00:00+00:00https://rmonat.fr/talk/260703-ecoop-academy/2026-07-03T00:00:00+00:00https://rmonat.fr/publication_types/2026-07-03T00:00:00+00:00https://rmonat.fr/2026-07-03T00:00:00+00:00https://rmonat.fr/publication/26_ecoop_vra/2026-07-02T00:00:00+00:00https://rmonat.fr/publication/26_ecoop_delexp/2026-07-01T00:00:00+00:00https://rmonat.fr/talk/260413-svcomp-mopsa/2026-04-13T00:00:00+00:00https://rmonat.fr/publication/26_tacas/2026-04-13T00:00:00+00:00https://rmonat.fr/talk/260413-svcomp/2026-04-13T00:00:00+00:00https://rmonat.fr/talk/260412-analyzethat-mopsa/2026-04-12T00:00:00+00:00https://rmonat.fr/talk/260412-analyzethat/2026-04-12T00:00:00+00:00https://rmonat.fr/publication-type/2/2026-03-12T00:00:00+00:00https://rmonat.fr/publication/26_code_beyond_fair/2026-03-12T00:00:00+00:00https://rmonat.fr/publication/26_legal_code_reco/2026-02-16T00:00:00+00:00https://rmonat.fr/talk/260128_impactso/2026-01-28T00:00:00+00:00https://rmonat.fr/publication/26_vmcai/2026-01-12T00:00:00+00:00https://rmonat.fr/talk/251216_swh_code/2025-12-16T00:00:00+00:00https://rmonat.fr/talk/251105_aws/2025-11-05T00:00:00+00:00https://rmonat.fr/talk/251016_dagstuhl/2025-10-16T00:00:00+00:00https://rmonat.fr/publication/25_code_beyond_fair_commentary/2025-10-07T00:00:00+00:00https://rmonat.fr/funding/raisin-ara/2025-09-01T00:00:00+00:00https://rmonat.fr/funding/2025-09-01T00:00:00+00:00https://rmonat.fr/tag/raisin/2025-09-01T00:00:00+00:00https://rmonat.fr/tags/2025-09-01T00:00:00+00:00https://rmonat.fr/publication/25_ecoop/2025-06-30T00:00:00+00:00https://rmonat.fr/talk/250619_cost_discussion/2025-06-19T00:00:00+00:00https://rmonat.fr/talk/250611_dagstuhl/2025-06-11T00:00:00+00:00https://rmonat.fr/talk/250602_apr_lille/2025-06-02T00:00:00+00:00https://rmonat.fr/publication/25_tacas/2025-05-04T00:00:00+00:00https://rmonat.fr/tag/avocat/2025-05-03T00:00:00+00:00https://rmonat.fr/publication/25_esop/2025-05-03T00:00:00+00:00https://rmonat.fr/talk/250404_cuplv/2025-04-04T00:00:00+00:00https://rmonat.fr/talk/250403_incyber/2025-04-03T00:00:00+00:00https://rmonat.fr/talk/250401_sv-comp/2025-04-01T00:00:00+00:00https://rmonat.fr/talk/250331_tum_convey/2025-03-31T00:00:00+00:00https://rmonat.fr/talk/250310_prosecco_seminar/2025-03-10T00:00:00+00:00https://rmonat.fr/publication/25_maintenance_sttt/2025-01-14T00:00:00+00:00https://rmonat.fr/talk/260112_vmcai/2025-01-12T00:00:00+00:00https://rmonat.fr/post/faculty_positions_in_france/2024-11-26T00:00:00+00:00https://rmonat.fr/talk/241114_gt_lvp_irif/2024-11-14T00:00:00+00:00https://rmonat.fr/talk/241021_cristal_cyber/2024-10-21T00:00:00+00:00https://rmonat.fr/talk/240920_semantique/2024-09-20T00:00:00+00:00https://rmonat.fr/talk/240904_lipari/2024-09-04T00:00:00+00:00https://rmonat.fr/publication-type/4/2024-07-15T00:00:00+00:00https://rmonat.fr/publication/24_ens_rapport_jury/2024-07-15T00:00:00+00:00https://rmonat.fr/funding/raisin/2024-07-01T00:00:00+00:00https://rmonat.fr/talk/240606_csv/2024-06-06T00:00:00+00:00https://rmonat.fr/talk/240411_esop/2024-04-11T00:00:00+00:00https://rmonat.fr/publication/24_esop/2024-04-08T00:00:00+00:00https://rmonat.fr/publication/24_tacas/2024-04-08T00:00:00+00:00https://rmonat.fr/talk/240408_sv-comp/2024-04-08T00:00:00+00:00https://rmonat.fr/talk/240407_emw/2024-04-07T00:00:00+00:00https://rmonat.fr/talk/240223_epicure/2024-02-23T00:00:00+00:00https://rmonat.fr/post/tcs4f/2024-01-15T00:00:00+00:00https://rmonat.fr/publication/23_ens_rapport_jury/2023-07-15T00:00:00+00:00https://rmonat.fr/talk/230711_dagstuhl/2023-07-11T00:00:00+00:00https://rmonat.fr/funding/avocat/2023-06-08T00:00:00+00:00https://rmonat.fr/publication/23_tacas/2023-04-24T00:00:00+00:00https://rmonat.fr/talk/230424_tacas_sv_comp/2023-04-24T00:00:00+00:00https://rmonat.fr/talk/230323_diens/2023-03-23T00:00:00+00:00https://rmonat.fr/talk/230310_inria_30minofscience/2023-03-10T00:00:00+00:00https://rmonat.fr/talk/230209_proglang-mopsa-sv-comp/2023-02-09T00:00:00+00:00https://rmonat.fr/publication-type/11/2023-01-31T00:00:00+00:00https://rmonat.fr/publication/23_jfla/2023-01-31T00:00:00+00:00https://rmonat.fr/talk/220707_vub/2022-07-07T00:00:00+00:00https://rmonat.fr/talk/220428_lip/2022-04-28T00:00:00+00:00https://rmonat.fr/talk/srg22/2022-03-17T00:00:00+00:00https://rmonat.fr/talk/mtv22/2022-02-16T00:00:00+00:00https://rmonat.fr/talk/sycomores22/2022-01-31T00:00:00+00:00https://rmonat.fr/talk/irill21/2021-12-02T00:00:00+00:00https://rmonat.fr/talk/tav21/2021-12-01T00:00:00+00:00https://rmonat.fr/talk/cash21/2021-11-29T00:00:00+00:00https://rmonat.fr/talk/binsec21/2021-11-26T00:00:00+00:00https://rmonat.fr/publication/thesis/2021-11-22T00:00:00+00:00https://rmonat.fr/talk/celtique21/2021-11-19T00:00:00+00:00https://rmonat.fr/talk/sas21/2021-10-18T00:00:00+00:00https://rmonat.fr/publication/sas21/2021-10-17T00:00:00+00:00https://rmonat.fr/talk/ssf21/2021-07-05T00:00:00+00:00https://rmonat.fr/talk/jfla21/2021-04-07T00:00:00+00:00https://rmonat.fr/tag/compiler-for-the-french-tax-code/2021-04-06T00:00:00+00:00https://rmonat.fr/publication/jfla21_mopsa/2021-04-06T00:00:00+00:00https://rmonat.fr/publication/jfla21_mlang/2021-04-06T00:00:00+00:00https://rmonat.fr/talk/lvp21/2021-03-12T00:00:00+00:00https://rmonat.fr/talk/cc21/2021-03-03T00:00:00+00:00https://rmonat.fr/publication/cc21/2021-03-01T00:00:00+00:00https://rmonat.fr/software/mopsa/2020-11-15T00:00:00+00:00https://rmonat.fr/software/2020-11-15T00:00:00+00:00https://rmonat.fr/talk/ecoop20/2020-11-15T00:00:00+00:00https://rmonat.fr/software/mlang/2020-11-14T00:00:00+00:00https://rmonat.fr/post/beamer-snippet-remote-presentations/2020-10-13T00:00:00+00:00https://rmonat.fr/publication-type/10/2020-06-15T00:00:00+00:00https://rmonat.fr/publication/ecoop20/2020-06-15T00:00:00+00:00https://rmonat.fr/publication/soap20/2020-06-15T00:00:00+00:00https://rmonat.fr/talk/soap20/2020-06-15T00:00:00+00:00https://rmonat.fr/talk/jfla20/2020-01-30T11:00:00+00:00https://rmonat.fr/publication/jfla20/2020-01-30T00:00:00+00:00https://rmonat.fr/talk/impots_gallium19/2019-11-04T10:30:00+00:00https://rmonat.fr/talk/dsfm19/2019-10-07T14:30:00+00:00https://rmonat.fr/publication/vstte19/2019-10-06T00:00:00+00:00https://rmonat.fr/talk/edite19/2019-09-29T15:00:00+00:00https://rmonat.fr/talk/sif19/2019-07-02T12:00:00+00:00https://rmonat.fr/publication/fmcad18/2018-10-31T00:00:00+00:00https://rmonat.fr/talk/master_class_jlarus/2018-10-23T14:40:00+00:00https://rmonat.fr/tag/abstract-interpretation/2018-08-31T16:05:50+02:00https://rmonat.fr/tag/dynamic-programming-languages/2018-08-31T16:05:50+02:00https://rmonat.fr/tag/internship/2018-08-31T16:05:50+02:00https://rmonat.fr/internships/2018-08-31T16:05:50+02:00https://rmonat.fr/internships/m2-bis/2018-08-31T16:05:50+02:00https://rmonat.fr/tag/python/2018-08-31T16:05:50+02:00https://rmonat.fr/tag/static-analysis/2018-08-31T16:05:50+02:00https://rmonat.fr/tag/coq/2017-08-26T16:05:50+02:00https://rmonat.fr/tag/floating-point/2017-08-26T16:05:50+02:00https://rmonat.fr/tag/formal-verification/2017-08-26T16:05:50+02:00https://rmonat.fr/tag/hol4/2017-08-26T16:05:50+02:00https://rmonat.fr/internships/m2/2017-08-26T16:05:50+02:00https://rmonat.fr/publication/vmcai17/2017-01-26T00:00:00+00:00https://rmonat.fr/post/2017-01-01T00:00:00+00:00https://rmonat.fr/publication/2017-01-01T00:00:00+00:00https://rmonat.fr/talk/2017-01-01T00:00:00+00:00https://rmonat.fr/internships/m1/2016-09-30T00:00:00+00:00https://rmonat.fr/tag/probabilistic-programming/2016-09-30T00:00:00+00:00https://rmonat.fr/internships/l3/2015-09-30T00:00:00+00:00https://rmonat.fr/categories/https://rmonat.fr/location/