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/05
61 mails
Chronological Thread << < page 1 / 3 > >>
- [Coq-Club] TYPES 2025: Call for Participation, Fredrik Nordvall Forsberg, 04/23/2025
- [Coq-Club] ICFP 2025 Student Research Competition Call for Submissions, Kimball Germane, 04/24/2025
- [Coq-Club] HCVS 2025, 2nd CfP: 12th Workshop on Horn Clauses for Verification and Synthesis, 22 July 2025, Zagreb (Croatia), Florian Frohn, 04/24/2025
- [Coq-Club] Multiple PhD Positions at the University of Melbourne, Cezary Kaliszyk, 04/25/2025
- [Coq-Club] CICM 2025: 4th Announcement and Call for Papers with deadline extension, Serge Autexier, 04/25/2025
- [Coq-Club] TABLEAUX 2025 final call for papers, Tarmo Uustalu, 04/28/2025
- [Coq-Club] IFL 2025: First call for papers, Mart Lubbers, 04/29/2025
- [Coq-Club] UNIF 2025 Last Call for Papers (a FSCD event), Laurent Vigneron, 04/30/2025
- [Coq-Club] FroCoS 2025 - Call for Papers, geoff, 04/30/2025
- [Coq-Club] Understanding non strictly positive occurrence error, Murali Vijayaraghavan, 05/01/2025
- Re: [Coq-Club] Understanding non strictly positive occurrence error, Gaëtan Gilbert, 05/01/2025
- Re: [Coq-Club] Understanding non strictly positive occurrence error, Murali Vijayaraghavan, 05/01/2025
- Re: [Coq-Club] Understanding non strictly positive occurrence error, Murali Vijayaraghavan, 05/01/2025
- Re: [Coq-Club] Understanding non strictly positive occurrence error, Murali Vijayaraghavan, 05/01/2025
- Re: [Coq-Club] Understanding non strictly positive occurrence error, Gaëtan Gilbert, 05/01/2025
- [Coq-Club] Utrecht Summer School on Advanced Functional Programming, Wouter Swierstra, 05/01/2025
- [Coq-Club] Extended Deadlines: Forum on specification and Design Languages (FDL), Klaus Schneider, 05/02/2025
- [Coq-Club] Haskell Symposium 2025 Second Call for Papers, Ningning Xie, 05/02/2025
- [Coq-Club] HOR 2025: Second Call for Papers, Pablo Barenbaum, 05/03/2025
- [Coq-Club] LFMTP 2025 - Second Call for Papers, Daniele Nantes, 05/03/2025
- [Coq-Club] ECOOP Doctoral Symposium -- 2nd Call for Papers, Mikhail Barash, 05/05/2025
- [Coq-Club] Rocq, Patricia Peratto, 05/05/2025
- Re: [Coq-Club] Rocq, Calvin Beck, 05/05/2025
- Re: [Coq-Club] Rocq, Ralf Jung, 05/09/2025
- Re: [Coq-Club] Rocq, Ralf Jung, 05/09/2025
- Re: [Coq-Club] Rocq, Calvin Beck, 05/05/2025
- [Coq-Club] ECOOP 2025: Call for Participation, Violet Ka I Pun, 05/05/2025
- [Coq-Club] AITP 2025 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 12, Josef Urban, 05/05/2025
- [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Graham Hutton, 05/06/2025
- [Coq-Club] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK ***, Serge Autexier, 05/06/2025
- [Coq-Club] CSL 2026 - First Call for Papers, Barbara König, 05/06/2025
- [Coq-Club] Weidenbach'60: First-Order Reasoning. Call for Papers, geoff, 05/06/2025
- [Coq-Club] TyDe 2025 - Second Call for Papers, 汪宇霆, 05/07/2025
Archive powered by MHonArc 2.6.19+.