List archive

• [Coq-Club] Deadline extension |CFP CRiSIS 2019 |Hammamet Tunisia, SAOUSSEN CHEIKHROUHOU, 06/10/2019
  • <Possible follow-up(s)>
  • [Coq-Club] Deadline extension |CFP CRiSIS 2019 |Hammamet Tunisia, SAOUSSEN CHEIKHROUHOU, 06/10/2019
• [Coq-Club] Guardedness check sensitive to use of section variables?, Colin Stebbins Gordon, 06/11/2019
  • Re: [Coq-Club] Guardedness check sensitive to use of section variables?, Li-yao Xia, 06/11/2019
• [Coq-Club] setoid_rewrite with term vs hypothesis, Abhishek Anand, 06/12/2019
• [Coq-Club] Formal Methods 2019 - LOPSTR (Second Call for Papers), nevrenato, 06/12/2019
• [Coq-Club] CfP: Formal Techniques for Safety-Critical Systems (FTSCS'19 -- an ICFEM event), Osman Hasan, 06/14/2019
• [Coq-Club] CONCUR 2019 call for participation, Fokkink, W.J., 06/14/2019
• [Coq-Club] Help Beta Test a Study of Proof Assistant Users, Talia Ringer, 06/15/2019
  • Re: [Coq-Club] Help Beta Test a Study of Proof Assistant Users, Tej Chajed, 06/15/2019
  • Re: [Coq-Club] Help Beta Test a Study of Proof Assistant Users, Théo Zimmermann, 06/15/2019
    • Re: [Coq-Club] Help Beta Test a Study of Proof Assistant Users, Talia Ringer, 06/15/2019
• [Coq-Club] Debugging "unable to build a covering" errors in Equations, Xuanrui Qi, 06/15/2019
  • <Possible follow-up(s)>
  • Re: [Coq-Club] Debugging "unable to build a covering" errors in Equations, Jason -Zhong Sheng- Hu, 06/15/2019
• [Coq-Club] Line numbers in list printing?, Joshua Gancher, 06/15/2019
  • Re: [Coq-Club] Line numbers in list printing?, Samuel Gruetter, 06/21/2019
    • Re: [Coq-Club] Line numbers in list printing?, Ralf Jung, 06/21/2019
      • Re: [Coq-Club] Line numbers in list printing?, Joshua Gancher, 06/23/2019
• [Coq-Club] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence, Luca Pulina, 06/17/2019
• [Coq-Club] [Job] Thales (France) is hiring an expert engineer in formal methods, Julien Signoles, 06/17/2019
• Re: [Coq-Club] [logic-ml] ENTROPY 2019: Second Call for Papers - Co-located with EuroS&P'19, はげ はげお, 06/18/2019
• [Coq-Club] tampering with discharged assumptions of "in" tactical, Jeremy Dawson, 06/18/2019
  • Re: [Coq-Club] tampering with discharged assumptions of "in" tactical, Théo Zimmermann, 06/18/2019
  • Re: [Coq-Club] tampering with discharged assumptions of "in" tactical, Robbert Krebbers, 06/18/2019
• [Coq-Club] Final Call for Papers - Computer Science Logic (CSL 2020), EACSL Mail-Account, 06/19/2019
• [Coq-Club] 3d Call for Papers F-IDE Workshop 2019 (Extended Deadlines), Virgile Prevosto, 06/20/2019
• [Coq-Club] Open CfP: TYPES 2019 post-proceedings, Marc . Bezem, 06/22/2019
• [Coq-Club] CoqIDE failure on Windows, Cao Qinxiang, 06/23/2019
  • Re: [Coq-Club] CoqIDE failure on Windows, Jim Fehrle, 06/23/2019
    • RE: [Coq-Club] CoqIDE failure on Windows, Soegtrop, Michael, 06/23/2019

Archive powered by MHonArc 2.6.18.