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