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/01
34 mails
Chronological Thread << < page 1 / 2 > >>
- [Coq-Club] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA), Peter Achten, 12/22/2023
- [Coq-Club] LICS 2024 Second Call for Papers, Sam Staton, 12/22/2023
- [Coq-Club] Funded Masters and PhD positions at U of Regina, Joseph Eremondi, 01/02/2024
- [Coq-Club] Call for ETAPS Test of Time Award 2024 Nominations, jan . kofron, 01/03/2024
- [Coq-Club] LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024, Andrei Popescu, 01/08/2024
- Re: [Coq-Club] LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024, Andrei Popescu, 01/08/2024
- [Coq-Club] Assistant/Associate/Full professorship in Copenhagen or Aalborg at Aalborg University, Anders Schlichtkrull, 01/09/2024
- [Coq-Club] fully qualified names in Print Assumptions, Abhishek Anand, 01/10/2024
- Re: [Coq-Club] fully qualified names in Print Assumptions, Jason Gross, 01/10/2024
- [Coq-Club] FSCD 2024: Second Call for Papers, Carsten Fuhs, 01/11/2024
- [Coq-Club] HoTT/UF 2024: Final Call for Contributions (Deadline: 19 Jan 2024), Tom de Jong, 01/12/2024
- [Coq-Club] Announcing Graph2Tac, a prover based on Tactician's new API, Lasse Blaauwbroek, 01/12/2024
- [Coq-Club] Fully-funded PhD studentship in functional programming, Graham Hutton, 01/15/2024
- [Coq-Club] inductive definitions in Type, Nicolas Magaud, 01/15/2024
- Re: [Coq-Club] inductive definitions in Type, Gaëtan Gilbert, 01/15/2024
- [Coq-Club] FMBC 2024 - Third Call for Papers, Marmsoler, Diego, 01/15/2024
- Re: [Coq-Club] [CFP] Dosen's polynomial functorial programming & AI @UAE NYU 17th Jan — Re: [categories] Outreach Panel, Camille Noûs, 01/15/2024
- [Coq-Club] CICM 2024, Call for Workshop and Tutorial Proposals, Conference on Intelligent Computer Mathematics 2024, Serge Autexier, 01/16/2024
- [Coq-Club] UNIF 2024 Call for Papers, Oliver Fernandez Gil, 01/17/2024
- [Coq-Club] Why are my terms not reducing?, Agnishom Chattopadhyay, 01/17/2024
- Re: [Coq-Club] Why are my terms not reducing?, Dominique Larchey-Wendling, 01/18/2024
- Re: [Coq-Club] Why are my terms not reducing?, Samuel Gruetter, 01/22/2024
- Re: [Coq-Club] Why are my terms not reducing?, Agnishom Chattopadhyay, 01/24/2024
- Re: [Coq-Club] Why are my terms not reducing?, mukesh tiwari, 01/25/2024
- Re: [Coq-Club] Why are my terms not reducing?, Agnishom Chattopadhyay, 01/24/2024
- [Coq-Club] MathComp 2.2.0 and 1.19.0 released, Laurent Thery, 01/18/2024
- [Coq-Club] query to print topfile, Abhishek Anand, 01/18/2024
- Re: [Coq-Club] query to print topfile, Gregory Malecha, 01/20/2024
- [Coq-Club] FME Teaching Tutorial on January 26, 2024, 3pm CEST: Prof Alcino Cunha, University of Minho, Portugal: Teaching Alloy with Alloy4Fun, Luigia Petre, 01/19/2024
- [Coq-Club] Notation for Strings without double quotes, Murali Vijayaraghavan, 01/19/2024
- [Coq-Club] CFP: Formal Methods and Programming Languages Track at CCS'24, Catalin Hritcu, 01/22/2024
Archive powered by MHonArc 2.6.19+.