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
2024/07
30 mails
Chronological Thread << < page 1 / 1 > >>
- [Coq-Club] [Third Call for Papers] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024, Serge Autexier, 07/01/2024
- [Coq-Club] Coq 8.20+rc1, Pierre Roux, 07/01/2024
- [Coq-Club] Free online participation in MSFP, 8th July 2024, Favonia, 07/01/2024
- [Coq-Club] Last call for participation: SPLV 2024, Guillaume Allais, 07/02/2024
- [Coq-Club] CfA: Associate Senior Lecturer in Logic, Gothenburg (Sweden), deadline: 27. August 2024, Bahareh Afshari, 07/02/2024
- [Coq-Club] CFP - JFLA 2025 - Journées Francophones des Langages Applicatifs, Marie Kerjean, 07/02/2024
- [Coq-Club] FSCD 2024: Free online participation, 10 - 13 July 2024, Carsten Fuhs, 07/03/2024
- [Coq-Club] IFL 2024: Second Call for Papers, Mart Lubbers, 07/03/2024
- [Coq-Club] 3rd Call for Papers: Mathematical User Interaction (MathUI'24), Serge Autexier, 07/04/2024
- Re: [Coq-Club] review of Kerjean's “Functorial Differential” at TLLA 2024 — [HoTT] Postdoc Category Theory, Christopher Mary, 07/09/2024
- Re: [Coq-Club] review of Kerjean's “Functorial Differential” at TLLA 2024 — [HoTT] Postdoc Category Theory, nicolas tabareau, 07/10/2024
- [Coq-Club] CFP: CIFMA 2024 - Cognition and Formal Methods, Antonio Cerone, 07/10/2024
- [Coq-Club] PhD position: Coq for AI, Ekaterina Komendantskaya, 07/12/2024
- [Coq-Club] Coq Platform Docs: a documentation project for Coq and its Platform, thomas lamiaux, 07/18/2024
- Re: [Coq-Club] Coq Platform Docs: a documentation project for Coq and its Platform, mukesh tiwari, 07/21/2024
- Re: [Coq-Club] Coq Platform Docs: a documentation project for Coq and its Platform, Iaroslav Baranov, 07/22/2024
- Re: [Coq-Club] Coq Platform Docs: a documentation project for Coq and its Platform, Pierre Roux, 07/22/2024
- Re: [Coq-Club] Coq Platform Docs: a documentation project for Coq and its Platform, John Beattie, 07/22/2024
- Re: [Coq-Club] Coq Platform Docs: a documentation project for Coq and its Platform, thomas lamiaux, 07/22/2024
- Re: [Coq-Club] Coq Platform Docs: a documentation project for Coq and its Platform, Pierre Roux, 07/22/2024
- [Coq-Club] POPL 2025: Final Call for Workshops and Co-located Events (July 26 AOE), Ningning Xie, 07/19/2024
- [Coq-Club] Is it save to use (Proof Mode "Ltac2") in big projects?, Iaroslav Baranov, 07/27/2024
- Re: [Coq-Club] Is it save to use (Proof Mode "Ltac2") in big projects?, Jim Fehrle, 07/27/2024
- [Coq-Club] PhD Symposium iFM 2024 - Call for Papers, Mattias Ulbrich, 07/27/2024
- [Coq-Club] ETAPS 2025 1st joint call for papers, Claudio MENGHI, 07/29/2024
- [Coq-Club] Call for Participation, Functional Software Architecture (Sep 6, Milan), Michael Sperber, 07/29/2024
- [Coq-Club] HTML output that remembers proof states step by step, Jason Hu, 07/30/2024
- Re: [Coq-Club] HTML output that remembers proof states step by step, Julin S, 07/30/2024
- Re: [Coq-Club] HTML output that remembers proof states step by step, James McKinna, 07/30/2024
- Re: [Coq-Club] HTML output that remembers proof states step by step, Jason Hu, 07/30/2024
- [Coq-Club] Call for Participation: Third Workshop on Formal Verification of Physical Systems (FVPS-2024) - Colocated with CICM-2024, Adnan Rashid, 07/31/2024
Archive powered by MHonArc 2.6.19+.