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
2023/02
31 mails
Chronological Thread << < page 1 / 2 > >>
- [Coq-Club] FSCD 2023: Extended deadline (Abstract: February 4/ Submission: February 9), Carsten Fuhs, 02/01/2023
- [Coq-Club] MathComp 1.16.0 released, AffeldtReynald, 02/02/2023
- [Coq-Club] RAMiCS 2023 - Call for participation, Michael Winter, 02/02/2023
- [Coq-Club] Postdoc position on design and/or verification of distributed systems at the University of Birmingham, vincent rahli, 02/02/2023
- [Coq-Club] Functions and equations, Sylvain Salvati, 02/02/2023
- Re: [Coq-Club] Functions and equations, Yves Bertot, 02/03/2023
- Re: [Coq-Club] Functions and equations, Yves Bertot, 02/03/2023
- Re: [Coq-Club] Functions and equations, Théo Winterhalter, 02/03/2023
- Re: [Coq-Club] Functions and equations, Sylvain Salvati, 02/03/2023
- Re: [Coq-Club] Functions and equations, mukesh tiwari, 02/04/2023
- Re: [Coq-Club] Functions and equations, Théo Winterhalter, 02/03/2023
- Re: [Coq-Club] Job offer — [CfP] CT2023 workshop on implementing Dosen's categorial programming, admin, 02/03/2023
- [Coq-Club] Bill McCune PhD Award in Automated Reasoning 2023 Call for Nominations, geoff, 02/06/2023
- [Coq-Club] FroCoS 2023 Call for Papers, geoff, 02/06/2023
- [Coq-Club] Nested positivity, Nikhil Swamy, 02/07/2023
- Re: [Coq-Club] Nested positivity, Stefan Monnier, 02/08/2023
- Re: [Coq-Club] Nested positivity, Nikhil Swamy, 02/08/2023
- Re: [Coq-Club] Nested positivity, Yannick Forster, 02/08/2023
- Re: [Coq-Club] Nested positivity, Nikhil Swamy, 02/08/2023
- Re: [Coq-Club] Nested positivity, Stefan Monnier, 02/08/2023
- [Coq-Club] The CADE-29 ATP System Competition CASC-29, geoff, 02/08/2023
- [Coq-Club] CiE 2023: FINAL CALL FOR PAPERS (EXTENDED DEADLINE), acie, 02/09/2023
- [Coq-Club] TABLEAUX 2023 - PRELIMINARY CALL FOR PAPERS, Josef Urban, 02/13/2023
- [Coq-Club] TYPES 2023 - Call for Contributions, Alicia Villanueva, 02/13/2023
- [Coq-Club] Call for STSMs and ITC conference grants, deadline 1 January 2023, Ambrus Kaposi, 02/13/2023
- [Coq-Club] Midlands Graduate School, 2-6 April 2023, Birmingham , UK, Graham Hutton, 02/14/2023
- [Coq-Club] ICFP 2023: Last Call for Papers, ICFP Publicity, 02/14/2023
- [Coq-Club] OOPSLA 2023 - Round 2 CfP, Andreea Costea, 02/15/2023
- [Coq-Club] The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 (Call for participation), Catalin Hritcu, 02/15/2023
- [Coq-Club] ICFP 2023 Artifact Evaluation Committee: call for nominations, Quentin Stiévenart, 02/15/2023
- [Coq-Club] [ANN] coq-lsp release 0.1.5, Emilio Jesús Gallego Arias, 02/15/2023
- [Coq-Club] HCVS 2023 - Last Call for Papers, Jose F. Morales, 02/17/2023
Archive powered by MHonArc 2.6.19+.