Derniers changements

Les pages suivantes ont été modifiées récemment.

Voir les changements

2025/03/13 20:47 fr:research:models-computation – apeiron -11 B
2025/02/07 16:00 fr:research:publications – [Conférences internationales avec comité et actes publiés] apeiron +52 B
2025/01/02 18:25 fr:start – apeiron +29 B
2024/12/13 11:57 fr:research:aim_tse2024_complete.pdf – créée apeiron +2.8 MB
2024/02/22 11:47 fr:research:tosem2024.pdf – créée apeiron +914 KB
2024/02/08 11:06 fr:research:paperladder.pdf – créée apeiron +319 KB
2024/02/08 11:06 fr:research:arith2020.pdf – supprimée apeiron -319 KB
2024/02/08 10:58 fr:research:paperbsp.pdf – créée apeiron +1.2 MB
2024/02/08 10:48 fr:marquer_cv.pdf – apeiron +11.3 KB
2021/03/29 14:21 marquer_cv.pdf – créée apeiron +81.6 KB
2018/04/01 14:33 fr:banniere.png – créée apeiron +25 KB
2018/04/01 14:30 fr:logo_transparent.png – créée apeiron +11.6 KB
2018/04/01 14:26 fr:cafe_des_sciences.png – créée apeiron +89.1 KB
2018/03/29 17:12 fr:research:bsp-while.pdf – apeiron +55 KB
2018/03/29 15:26 fr:research:expose_krivine.pdf – créée apeiron +54.8 KB
2018/03/29 15:17 fr:research:realizability_in_classical_logic.pdf – créée apeiron +279.1 KB

Dr Apeiron