List archive

• Re: [Coq-Club] Electronic Voting Machines in French Elections, Stefan Monnier, 05/01/2022
  • Re: [Coq-Club] Electronic Voting Machines in French Elections, mukesh tiwari, 05/01/2022
  • <Possible follow-up(s)>
  • Re: [Coq-Club] Electronic Voting Machines in French Elections, Ralf Jung, 05/01/2022
    • Re: [Coq-Club] Electronic Voting Machines in French Elections, Abhishek Anand, 05/02/2022
      • Re: [Coq-Club] Electronic Voting Machines in French Elections, Eddy Westbrook, 05/02/2022
  • Re: [Coq-Club] Electronic Voting Machines in French Elections, Clément Pit-Claudel, 05/02/2022
    • Re: [Coq-Club] Electronic Voting Machines in French Elections, Xavier Leroy, 05/02/2022
  • Re: [Coq-Club] Electronic Voting Machines in French Elections, Clément Pit-Claudel, 05/02/2022
• [Coq-Club] BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!, Andrei Popescu, 05/02/2022
• [Coq-Club] AITP 2022 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 10, Josef Urban, 05/02/2022
• [Coq-Club] SAT/SMT/AR + CP Summer School, Ori Lahav, 05/02/2022
• [Coq-Club] TYPES 2022 -- Call for participation, Pierre-Marie Pédrot, 05/02/2022
• [Coq-Club] Final Call for Proposals for the Coq Workshop 2022, Talia Ringer, 05/02/2022
• [Coq-Club] Journal of Functional Programming - Call For PhD Abstracts, Graham Hutton, 05/03/2022
• [Coq-Club] Release of HTT 1.0, Alexander Gryzlov, 05/04/2022
• [Coq-Club] Deadline extension CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains, Zaynah Dargaye, 05/04/2022
• [Coq-Club] HoTT/UF 2022: Second Call for Contributions, Evan Cavallo, 05/05/2022
• [Coq-Club] ICFP 2022 Student Research Competition: Call for Submissions [2nd CfP], Daniel Hillerström, 05/09/2022
• [Coq-Club] 10 fully-funded Ph.D. positions in Software Quality at IMT School, Lucca, Italy, Letterio Galletta, 05/09/2022
• [Coq-Club] SPLV 2022 - Call for Participation, Filip Sieczkowski, 05/10/2022
• [Coq-Club] Call for Reviewers APLAS 2022 Artifact Evaluation Committee, Jan de Muijnck-Hughes, 05/10/2022
• Re: [Coq-Club] Diagram showing evolution of program logics?, Ralf Jung, 05/10/2022
• [Coq-Club] WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (CALL FOR PARTICIPATION), Alexandre Madeira, 05/11/2022
• [Coq-Club] Extended Deadline for HoTT/UF 2022: 15 May, Evan Cavallo, 05/11/2022
• [Coq-Club] Pointing dune to external libraries (Equations), Tj Barclay, 05/12/2022
  • Re: [Coq-Club] Pointing dune to external libraries (Equations), Pierre Courtieu, 05/13/2022
    • Re: [Coq-Club] Pointing dune to external libraries (Equations), John Sarracino, 05/14/2022
• [Coq-Club] Final extension CfP: FMBC 2022 - 4th International Workshop on Formal Methods for Blockchains, Zaynah Dargaye, 05/13/2022
• [Coq-Club] CICM 2022, Abstract Submnission Deadline Extension May 23rd, 2022; uodate hybrid conference format; 15th Conf. Intelligent Computer Mathematics, Serge Autexier, 05/13/2022
• [Coq-Club] ACKERMANN AWARD 2022: 2ND CALL FOR NOMINATIONS, EACSL Mail-Account, 05/13/2022

Archive powered by MHonArc 2.6.19+.