coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2025/09
9 mails
Chronological Thread << < page 1 / 1 > >>
- [Coq-Club] Seeking nominations: POPL 2026 Artifact Evaluation Committee, Calvin Beck, 09/01/2025
- [Coq-Club] Haskell Symposium 2025 Call for Talks (deadline Sept 15th), Ningning Xie, 09/02/2025
- [Coq-Club] [Call for Presentations] TPSA @POPL2026, Ayoun, Sacha-Elie, 09/04/2025
- [Coq-Club] RocqPL 2026 call for presentations, Frederic Besson, 09/05/2025
- [Coq-Club] (2nd CfP) Dafny Workshop at POPL 2026, Stefan Zetzsche, 09/09/2025
- [Coq-Club] [SEFM 2025] Call for Participation, MIGUEL BENITO PAREJO, 09/10/2025
- [Coq-Club] POPL 2025 Student Research Competition Call for Submissions, Ralf Jung, 09/14/2025
- [Coq-Club] Seeking nominations: POPL 2026 Artifact Evaluation Committee [2nd call], Vadim Zaliva, 09/16/2025
- [Coq-Club] ETAPS 2026 Second Joint Call for Papers, Jan Kofron, 09/16/2025
Archive powered by MHonArc 2.6.19+.