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