[fr] Rocq en français
Annonces Cette catégorie est destinée à faire passer des annonces (colloques, évènements divers, offres d’emploi) en français. Pour les évènements dans des pays francophones concernant un public international, utilisez aussi la catégorie principale Announcements pour poster une annonce en anglais.
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| À propos de la catégorie Rocq en français |
|
1 | 795 | February 25, 2019 |
| CFP - JFLA 2026 - Journées Francophones des Langages Applicatifs |
|
2 | 46 | October 1, 2025 |
| Comment importer une preuve d'un fichier.v dans un autre? |
|
2 | 26 | August 25, 2025 |
| CFP - JFLA 2024 - Journées Francophones des Langages Applicatifs |
|
1 | 286 | December 11, 2023 |
| These de T. Coquand |
|
0 | 332 | February 19, 2023 |
| Position in software dependability at the French space agency CNES - Toulouse |
|
2 | 491 | December 27, 2022 |
| CFP - JFLA 2023 - Journées Francophones des Langages Applicatifs |
|
1 | 377 | December 22, 2022 |
| "functional induction" pour Program Fixpoint |
|
1 | 868 | November 10, 2020 |
| Soutenance de thèse de Théo Zimmermann le 12 décembre |
|
0 | 924 | November 30, 2019 |