List archive

• 22/05/15
  • [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), mukesh tiwari
• 22/05/16
  • Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), Dominique Larchey-Wendling
  • [Coq-Club] The ALP Alain Colmerauer Prolog Heritage Prize: Call for Nominations, geoff
  • Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), jtm
  • Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), D. Ben Knoble
• 22/05/17
  • Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), Qinshi Wang
  • Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), Talia Ringer
  • [Coq-Club] Assistant Professorships in Nottingham, Graham Hutton
  • Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), Dominique Larchey-Wendling
  • Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), Weijer, W. de (Wessel)
  • Re: [Coq-Club] Experience with formalising projects with length indexed vector (Vector.t) and finite type (Fin.t), Adam Chlipala
  • [Coq-Club] ML Family Workshop 2022: Final Call for Presentations, Benoit Montagu
  • [Coq-Club] CiE 2022 Call for Participation, acie
  • [Coq-Club] Lamport on TLA+ in Quanta, with Coq mention, jonikelee AT gmail.com
  • Re: [Coq-Club] Lamport on TLA+ in Quanta, with Coq mention, Ralf Jung
  • Re: [Coq-Club] Lamport on TLA+ in Quanta, with Coq mention, Andrew Appel
  • Re: [Coq-Club] Lamport on TLA+ in Quanta, with Coq mention, Filip Vukovinski
  • [Coq-Club] 2nd CfP (deadline 27 May): Autumn school "Proof and Computation" 2022, Chuangjie Xu
• 22/05/19
  • [Coq-Club] ChoiceType for Coq Type with Field Axioms, mukesh tiwari
• 22/05/20
  • [Coq-Club] TYPES 2022 -- Second call for participation, Pierre-Marie Pédrot
  • [Coq-Club] JFLA 2022 -- second appel à participation et précisions sur l'inscription, Chantal Keller
  • [Coq-Club] Call for Papers: Workshop on Type-Driven Development (TyDe), Harley D. Eades III
• 22/05/23
  • [Coq-Club] Second CfP: FM 2023 - 25th International Symposium on Formal Methods, Violet Ka I Pun
• 22/05/25
  • [Coq-Club] ITP 2022: Call for Participation, Leonardo de Moura
  • [Coq-Club] Workshop in honour of Thierry Coquand's 60th birthday, Anders Mortberg
  • [Coq-Club] Postdoctoral Researcher Position in Formalization of Algorithms in Proof Assistants, University of Bergen, Norway (Deadline: June 30), Mateus de Oliveira Oliveira
• 22/05/29
  • [Coq-Club] Forcing computation through opaque terms, kirang
  • [Coq-Club] Deadline Extension: 5th Workshop on Program Equivalence and Relational Reasoning (PERR2022 @ CAV/FLOC), Mattias Ulbrich
• 22/05/30
  • [Coq-Club] Ltac versus Ltac2, Jason Hu
  • Re: [Coq-Club] Ltac versus Ltac2, Michael Soegtrop

Archive powered by MHonArc 2.6.19+.