List archive

• Re: [Coq-Club] moving a definition to a different file, (continued)
  • Re: [Coq-Club] moving a definition to a different file, Abhishek Anand, 10/12/2023
  • Re: [Coq-Club] moving a definition to a different file, Jim Fehrle, 10/12/2023
  • Re: [Coq-Club] moving a definition to a different file, Meven Lennon-Bertrand, 10/12/2023
• [Coq-Club] PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University, Bas Spitters, 10/11/2023
• [Coq-Club] Preliminary CFP - FICS Workshop (submission deadline: 1st December 2023), Alexis Saurin, 10/11/2023
• [Coq-Club] Iris 4.1 and std++ 1.9 released, Johannes Hostert, 10/12/2023
  • Re: [Coq-Club] Iris 4.1 and std++ 1.9 released, mukesh tiwari, 10/12/2023
    • Re: [Coq-Club] Iris 4.1 and std++ 1.9 released, Ralf Jung, 10/12/2023
      • Re: [Coq-Club] Iris 4.1 and std++ 1.9 released, mukesh tiwari, 10/12/2023
• [Coq-Club] CiE 2024: CALL FOR PAPERS, acie, 10/12/2023
• [Coq-Club] LOPSTR 2023 - Final Call for Participation, Daniel Jurjo, 10/12/2023
• [Coq-Club] WITS 2023 CFP, Jacques-Henri Jourdan, 10/13/2023
• [Coq-Club] ACL2-2023 Second Call for Participation, Matt Kaufmann, 10/14/2023
• [Coq-Club] ECI 2024 (Buenos Aires, July 2024) – Second call for course proposals, Pablo Barenbaum, 10/14/2023
• [Coq-Club] POPL24 - Call for Student Volunteers, Ayoun, Sacha-Elie, 10/17/2023
  • Re: [Coq-Club] POPL24 - Call for Student Volunteers, Ayoun, Sacha-Elie, 10/17/2023
• [Coq-Club] Postdoc position in Formal Methods at University of Exeter, Marmsoler, Diego, 10/17/2023
• [Coq-Club] APLAS 2023: Second Call for Participation, Sato, Ryosuke, 10/18/2023
• [Coq-Club] Call for STSMs and ITC conference grants, deadline 12 November 2023, simona . k, 10/18/2023
• [Coq-Club] CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications, geoff, 10/18/2023
  • Re: [Coq-Club] CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications, Patrick Barlatier, 10/19/2023
• [Coq-Club] PhD or postdoc position in logical modelling of notarial procedures at FAU Erlangen-Nürnberg, Lutz Schröder, 10/18/2023
• [Coq-Club] Post-doctoral position in mechanized theorem proving, Guillaume Burel, 10/19/2023
• [Coq-Club] [ICTAC 2023] Call for Participation, Violet Ka I Pun, 10/20/2023
• [Coq-Club] Curly braces in Coq notations, Benjamin Pierce, 10/22/2023
  • Re: [Coq-Club] Curly braces in Coq notations, Gaëtan Gilbert, 10/22/2023
    • Re: [Coq-Club] Curly braces in Coq notations, Benjamin Pierce, 10/22/2023
      • Re: [Coq-Club] Curly braces in Coq notations, Hugo Herbelin, 10/23/2023
      • Re: [Coq-Club] Curly braces in Coq notations, Hugo Herbelin, 10/23/2023
      • Re: [Coq-Club] Curly braces in Coq notations, Benjamin Pierce, 10/23/2023

Archive powered by MHonArc 2.6.19+.