List archive

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

Archive powered by MHonArc 2.6.18.