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
2018/04
151 mails
Chronological Thread << < page # 1/6 > >>
- [Coq-Club] WADT 2018 - 2nd Call for Papers, WADT 2018, 03/30/2018
- [Coq-Club] Call for Papers - MIWAI 2018 @Hanoi, Vietnam, 18-20 Nov. 2018, Nicolas Schwind, 03/31/2018
- [Coq-Club] LSFA 2018, 2nd CfP, Carlos Olarte, 04/01/2018
- Re: [Coq-Club] [Coq-club] Website seems down, Théo Zimmermann, 04/01/2018
- [Coq-Club] Announcement: a Coq formulation of Claude Shannon's masters thesis is now available., Andrew Harris, 04/01/2018
- [Coq-Club] CICM 2018 - Call for Papers, geoff, 04/02/2018
- [Coq-Club] 2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages), Jurriaan Hage, 04/03/2018
- <Possible follow-up(s)>
- Re: [Coq-Club] 2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages), makarius, 04/03/2018
- [Coq-Club] call for papers: FCS 2018, William Mansky, 04/03/2018
- [Coq-Club] Parallel Logical Reasoning (PLR) at FLoC 2018 - Call for Contributions, Wijs, A.J., 04/04/2018
- Re: [Coq-Club] "tactics written in ocaml" broken, Emilio Jesús Gallego Arias, 04/04/2018
- <Possible follow-up(s)>
- Re: [Coq-Club] "tactics written in ocaml" broken, makarius, 04/04/2018
- Re: [Coq-Club] "tactics written in ocaml" broken, Théo Zimmermann, 04/04/2018
- Re: [Coq-Club] Operations on boolean vector : shift / mask, Emilio Jesús Gallego Arias, 04/04/2018
- [Coq-Club] Monoid and Group?, Jason -Zhong Sheng- Hu, 04/05/2018
- Re: [Coq-Club] Monoid and Group?, Pierre-Marie Pédrot, 04/05/2018
- <Possible follow-up(s)>
- Re: [Coq-Club] Monoid and Group?, makarius, 04/05/2018
- [Coq-Club] PPDP 2018: Second Call for Papers, David Sabel, 04/05/2018
- [Coq-Club] PARIS workshop @ FLoC 2018 : Programming And Reasoning on Infinite Structures - CFP, Alexis Saurin IRIF, 04/06/2018
- [Coq-Club] WiL 2018: Women in Logic Workshop Final Call for Papers, Amy Felty, 04/06/2018
- <Possible follow-up(s)>
- Re: [Coq-Club] WiL 2018: Women in Logic Workshop Final Call for Papers, makarius, 04/06/2018
- [Coq-Club] Autumn school "Proof and Computation", Chuangjie Xu, 04/08/2018
- <Possible follow-up(s)>
- Re: [Coq-Club] Autumn school "Proof and Computation", makarius, 04/08/2018
- [Coq-Club] DCM'18: Deadline extension (15 April), Sandra Alves, 04/08/2018
- [Coq-Club] Final Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18), Anders Mortberg, 04/08/2018
- [Coq-Club] TFPIE 2018: First Call for Papers, Heather Miller, 04/08/2018
- [Coq-Club] iFM 2081 Call For Papers, Hao Wu, 04/09/2018
- [Coq-Club] CICM 2018, final CfP, Abstract submission deadline April 15, 2018, Serge Autexier, 04/09/2018
- [Coq-Club] Final Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018), Christoph Lüth, 04/09/2018
- [Coq-Club] ARQNL 2018 Final Call for Papers, geoff, 04/09/2018
Archive powered by MHonArc 2.6.18.