List archive

• 22/10/01
  • [Coq-Club] POPL 2023 Call for Tutorials, Kristopher K Micinski
  • [Coq-Club] Call for Presentations: PriSC 2023 @ POPL 2023, Marco Guarnieri
• 22/10/02
  • [Coq-Club] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct, Nicolai Kraus
  • [Coq-Club] Faculty positions in Oxford, Sam Staton
• 22/10/04
  • Re: [Coq-Club] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct, Milad Ketabi
• 22/10/06
  • [Coq-Club] ETAPS 2023 Final joint call for papers, jan . kofron
• 22/10/07
  • [Coq-Club] Faculty position in Logical Foundations at the University of Cambridge, Neel Krishnaswami
  • [Coq-Club] ETAPS Doctoral Dissertation Award 2023, jan . kofron
• 22/10/08
  • [Coq-Club] Postdoc positions at Virginia Tech/Open University, Binoy Ravindran
  • [Coq-Club] Red-black tree and remove/add specifications, Suneel Sarswat
  • Re: [Coq-Club] Red-black tree and remove/add specifications, Chris Dams
  • Re: [Coq-Club] Red-black tree and remove/add specifications, Suneel Sarswat
  • Re: [Coq-Club] Red-black tree and remove/add specifications, Chris Dams
  • Re: [Coq-Club] Red-black tree and remove/add specifications, Clément Pit-Claudel
  • Re: [Coq-Club] Red-black tree and remove/add specifications, Suneel Sarswat
• 22/10/09
  • Re: [Coq-Club] Red-black tree and remove/add specifications, Chris Dams
  • Re: [Coq-Club] Red-black tree and remove/add specifications, Castéran Pierre
• 22/10/10
  • [Coq-Club] LAST CALL: Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022, Orestis Melkonian
  • [Coq-Club] Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct), Fredrik Nordvall Forsberg
• 22/10/11
  • [Coq-Club] rewrite clears hypotheses in evar's context, Abhishek Anand
  • [Coq-Club] Coq Platform 2022.09.0 (including beta version for Coq 8.16.0 and a updated and extended package pick), Théo Zimmermann
  • [Coq-Club] PLDI 2023, Call for Workshops and Tutorials, William J. Bowman
  • Re: [Coq-Club] rewrite clears hypotheses in evar's context, Samuel Gruetter
• 22/10/12
  • [Coq-Club] mettre à jour votre compte, Postmaster INRIA
  • [Coq-Club] Ph.D. positions at Portland State University, Yao Li
  • [Coq-Club] Fwd: [personnel-sif] phishing campaign targeting Inria, Amélie Ledein
  • [Coq-Club] MathComp Workshop and Winter School (Dec 5-9 2022) - second call, Enrico Tassi
  • [Coq-Club] PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University, Bas Spitters
• 22/10/13
  • [Coq-Club] Zify support for all instances of a type function, Eddy Westbrook
  • Re: [Coq-Club] Zify support for all instances of a type function, mukesh tiwari

Archive powered by MHonArc 2.6.19+.