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
2022/01
42 mails
Chronological Thread << < page 1 / 2 > >>
- [Coq-Club] PEPM 2022 - Call for Participation, Youyou Cong, 01/03/2022
- [Coq-Club] A unification problem, Qinshi Wang, 01/03/2022
- [Coq-Club] Call for STSMs, deadline 16 January 2022, Ambrus Kaposi, 01/03/2022
- [Coq-Club] Give scope annotations for arguments of Ltac-defined tactics?, Peter LeFanu Lumsdaine, 01/04/2022
- Re: [Coq-Club] Give scope annotations for arguments of Ltac-defined tactics?, Jason Gross, 01/04/2022
- [Coq-Club] Associate/Assistant professorship in Copenhagen or Aalborg at Aalborg University, Anders Schlichtkrull, 01/04/2022
- [Coq-Club] WADT'22 1st cfp, Alexandre Madeira, 01/07/2022
- [Coq-Club] First Call for Papers: Student Session @ ESSLLI 2022, Sasha Mayn, 01/07/2022
- [Coq-Club] CoqPL 2022: Call for Participation, Amin Timany, 01/08/2022
- [Coq-Club] A verified bootstrapping computer (academic curiousity), Talia Ringer, 01/08/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), Adam Chlipala, 01/08/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), Talia Ringer, 01/08/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), Andrei Popescu, 01/08/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), Marco Servetto, 01/08/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), Talia Ringer, 01/08/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), Sam Kuper, 01/09/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), Freek Wiedijk, 01/10/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), Robert Solovay, 01/11/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), Jeremy Dawson, 01/11/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), Sam Kuper, 01/11/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), Freek Wiedijk, 01/11/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), Timothy Carstens, 01/11/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), D. Ben Knoble, 01/11/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), Robert Solovay, 01/11/2022
- Re: [Coq-Club] A verified bootstrapping computer (academic curiousity), Adam Chlipala, 01/08/2022
- [Coq-Club] Fully funded PhD position on formalization of mathematics at Radboud University Nijmegen, Freek Wiedijk, 01/10/2022
- [Coq-Club] CSL 2022 - Call for participation, Manea, Florin, 01/10/2022
- [Coq-Club] [TFP'22] second call for papers: Trends in Functional Programming 2022 moved to March 17-18 online (together with TFPiE), Peter Achten, 01/11/2022
- [Coq-Club] CAUSAL 2022: Fourth Workshop on Causal Reasoning and Explanation in Logic Programming, Víctor Pérez, 01/13/2022
- [Coq-Club] GDE 2022: Workshop on Goal-directed Execution of Answer Set Programs, Víctor Pérez, 01/13/2022
- [Coq-Club] MEandE-LP 2022: 2nd Workshop on Machine Ethics and Explainability-The Role of Logic Programming, Víctor Pérez, 01/13/2022
- [Coq-Club] PLP 2022: The 9th Workshop on Probabilistic Logic Programming, Víctor Pérez, 01/13/2022
- [Coq-Club] [Final CfP] ICLP 2022 - The 38th International Conference on Logic Programming, Víctor Pérez, 01/13/2022
Archive powered by MHonArc 2.6.19+.