# \[fr\] Rocq en français **URL:** https://discourse.rocq-prover.org/c/rocq-in-french/13.md [Latest](https://discourse.rocq-prover.org/latest.md) · [Categories](https://discourse.rocq-prover.org/categories.md) · [Tags](https://discourse.rocq-prover.org/tags.md) --- ## [À propos de la catégorie Rocq en français](https://discourse.rocq-prover.org/t/a-propos-de-la-categorie-rocq-en-francais/143)
**Author:** [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)\ **Replies:** 0\ **Last updated:** [February 25, 2019, 1:53pm UTC](https://discourse.rocq-prover.org/t/a-propos-de-la-categorie-rocq-en-francais/143 "2019-02-25T13:53:53Z")
Dans cette catégorie, vous pouvez poster des questions et lancer des discussions en français sur n’importe quel sujet lié à Rocq. Pour créer un nouveau sujet par email, utilisez rocq+fr@discoursemail.com. Pour les anno… --- ## [CFP - JFLA 2026 - Journées Francophones des Langages Applicatifs](https://discourse.rocq-prover.org/t/cfp-jfla-2026-journees-francophones-des-langages-applicatifs/2737)
**Author:** [@mkerjean](https://discourse.rocq-prover.org/u/mkerjean)\ **Replies:** 2\ **Last updated:** [October 1, 2025, 1:38pm UTC](https://discourse.rocq-prover.org/t/cfp-jfla-2026-journees-francophones-des-langages-applicatifs/2737 "2025-10-01T13:38:19Z")
This message is intentionally written in French. It is a call for papers for the “Francophone Days on Functional Languages” to be held at the end of January 2026 in the Northern Vosges. Papers can be written in English… --- ## [Comment importer une preuve d'un fichier.v dans un autre?](https://discourse.rocq-prover.org/t/comment-importer-une-preuve-dun-fichier-v-dans-un-autre/2803)
**Author:** [@wafwafwa](https://discourse.rocq-prover.org/u/wafwafwa)\ **Replies:** 2\ **Last updated:** [August 25, 2025, 9:58pm UTC](https://discourse.rocq-prover.org/t/comment-importer-une-preuve-dun-fichier-v-dans-un-autre/2803 "2025-08-25T21:58:11Z")
Je viens de débuter en coq et j’ai conçu de nombreuses preuves dans plusieurs fichiers. Je voudrais les utiliser dans une preuve principale. --- ## [CFP - JFLA 2024 - Journées Francophones des Langages Applicatifs](https://discourse.rocq-prover.org/t/cfp-jfla-2024-journees-francophones-des-langages-applicatifs/1992)
**Author:** [@ddemange](https://discourse.rocq-prover.org/u/ddemange)\ **Replies:** 1\ **Last updated:** [December 11, 2023, 2:03pm UTC](https://discourse.rocq-prover.org/t/cfp-jfla-2024-journees-francophones-des-langages-applicatifs/1992 "2023-12-11T14:03:15Z")
Merci de faire circuler : premier appel à communications JFLA 2024 : Journées Francophones des Langages Applicatifs Site web: JFLA 2024 30 janvier au 2 février 2024 Abbaye de Saint-Jacut, Saint-Jacut-de-la-Mer Les 3… --- ## [These de T. Coquand](https://discourse.rocq-prover.org/t/these-de-t-coquand/1893)
**Author:** [@jeromejh](https://discourse.rocq-prover.org/u/jeromejh)\ **Replies:** 0\ **Last updated:** [February 19, 2023, 9:38am UTC](https://discourse.rocq-prover.org/t/these-de-t-coquand/1893 "2023-02-19T09:38:40Z")
Bonjour, Je n’ai jamais trouvé la thèse de 3ème cycle de T. Coquand sur internet. Peut-être est-elle soumise à des restrictions de circulation que je ne connais pas (droits d’auteur?). N’étant pas dans le monde universi… --- ## [Position in software dependability at the French space agency CNES - Toulouse](https://discourse.rocq-prover.org/t/position-in-software-dependability-at-the-french-space-agency-cnes-toulouse/1862)
**Author:** [@dankoi](https://discourse.rocq-prover.org/u/dankoi)\ **Replies:** 2\ **Last updated:** [December 27, 2022, 3:30pm UTC](https://discourse.rocq-prover.org/t/position-in-software-dependability-at-the-french-space-agency-cnes-toulouse/1862 "2022-12-27T15:30:06Z")
Bonjour, Une poste en assurance de sûreté de fonctionnement du logiciel est ouverte au CNES-Toulouse : N’hésitez pas à postuler si ces sujets vous intéressent. Cordialement, Danko ILIK --- ## [CFP - JFLA 2023 - Journées Francophones des Langages Applicatifs](https://discourse.rocq-prover.org/t/cfp-jfla-2023-journees-francophones-des-langages-applicatifs/1792)
**Author:** [@tbrk](https://discourse.rocq-prover.org/u/tbrk)\ **Replies:** 1\ **Last updated:** [December 22, 2022, 10:42am UTC](https://discourse.rocq-prover.org/t/cfp-jfla-2023-journees-francophones-des-langages-applicatifs/1792 "2022-12-22T10:42:34Z")
Merci de faire circuler : premier appel à communications JFLA 2023 : Journées Francophones des Langages Applicatifs http://jfla.inria.fr/jfla2023.html 31 janvier au 3 février 2023 Praz-sur-Arly (Haute-Savoie) Les 34… --- ## ["functional induction" pour Program Fixpoint](https://discourse.rocq-prover.org/t/functional-induction-pour-program-fixpoint/1103)
**Author:** [@Ouedraogo](https://discourse.rocq-prover.org/u/Ouedraogo)\ **Replies:** 1\ **Last updated:** [November 10, 2020, 2:26pm UTC](https://discourse.rocq-prover.org/t/functional-induction-pour-program-fixpoint/1103 "2020-11-10T14:26:41Z")
Bonjour, J’espère que vous allez bien ? J’essayais pour un projet de faire une fonction récursive imbriquée non structurelle et selon mes recherches les options qui me sont possibles sont Program Fixpoint, Equations et… --- ## [Soutenance de thèse de Théo Zimmermann le 12 décembre](https://discourse.rocq-prover.org/t/soutenance-de-these-de-theo-zimmermann-le-12-decembre/513)
**Author:** [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)\ **Replies:** 0\ **Last updated:** [November 30, 2019, 11:56am UTC](https://discourse.rocq-prover.org/t/soutenance-de-these-de-theo-zimmermann-le-12-decembre/513 "2019-11-30T11:56:02Z")
Bonjour, J’ai le plaisir de vous inviter à ma soutenance de thèse, intitulée : Challenges in the collaborative evolution of a proof language and its ecosystem Soit, en français : Défis dans l’évolution collaborative …