List archive

• [Coq-Club] Unfolded not cannot be refolded, Jason -Zhong Sheng- Hu, 03/29/2018
  • Re: [Coq-Club] Unfolded not cannot be refolded, ikdc, 03/31/2018
• [Coq-Club] CSL 2018: Final Call for Papers, European Association of Computer Science Logic, 03/29/2018
• [Coq-Club] Postdoc Position VirginiaTech: x86-64 binary verification, Freek Verbeek, 03/29/2018
• [Coq-Club] Bridging the Gap between Human and Automated Reasoning, geoff, 03/29/2018
• [Coq-Club] Final CFP 3rd International Workshop about Sets and Tools (SETS 2018), dubois, 03/29/2018
• [Coq-Club] Vacancy Full Professor Software Science (Radboud University Nijmegen NL), Herman Geuvers, 03/30/2018
  • Re: [Coq-Club] Vacancy Full Professor Software Science (Radboud University Nijmegen NL), Barry Jay, 03/31/2018
    • Re: [Coq-Club] Vacancy Full Professor Software Science (Radboud University Nijmegen NL), Travis Ayres, 03/31/2018
      • Re: [Coq-Club] Vacancy Full Professor Software Science (Radboud University Nijmegen NL), Barry Jay, 03/31/2018
• [Coq-Club] QBFEVAL'18 -- Registration closes in 1 week, Luca Pulina, 03/30/2018
• [Coq-Club] LOPSTR 2018: Second Final Call for Papers, Fred Mesnard, 03/30/2018
• [Coq-Club] Generalizing binders don't seem to work as described, Karl Crary, 03/30/2018
  • Re: [Coq-Club] Generalizing binders don't seem to work as described, Li-yao Xia, 03/30/2018
  • Re: [Coq-Club] Generalizing binders don't seem to work as described, Tej Chajed, 03/30/2018
• [Coq-Club] [Coq-club] Website seems down, Merlin Göttlinger, 03/31/2018
• [Coq-Club] LOLA 2018: Second Call-for-Proposals, Valentin Blot, 03/31/2018
• [Coq-Club] Mathematically Structured Functional Programming 2018: Final Call for Papers, Robert Atkey, 03/31/2018

Archive powered by MHonArc 2.6.18.