[fr] Coq 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 Coq en français |
|
1 | 574 | February 25, 2019 |
| These de T. Coquand |
|
0 | 74 | February 19, 2023 |
| Position in software dependability at the French space agency CNES - Toulouse |
|
2 | 123 | December 27, 2022 |
| CFP - JFLA 2023 - Journées Francophones des Langages Applicatifs |
|
1 | 147 | December 22, 2022 |
| "functional induction" pour Program Fixpoint |
|
1 | 626 | November 10, 2020 |
| Soutenance de thèse de Théo Zimmermann le 12 décembre |
|
0 | 742 | November 30, 2019 |