List archive

• [Coq-Club] Two Senior Research Fellows on Concurrent and Distributed Programming, Quantum Computing ― University of Oxford., Burak Ekici, 06/03/2024
• [Coq-Club] Deadline extension: ACM Workshop on Functional Software Architecture [NOW JUNE 12], Michael Sperber, 06/04/2024
• [Coq-Club] 2nd EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs, Frédéric Blanqui, 06/04/2024
• [Coq-Club] Call for Participation: Scottish PL & Verification Summer School, Guillaume Allais, 06/06/2024
• [Coq-Club] Mini PL workshop on June 24, Jules Jacobs, 06/06/2024
• [Coq-Club] SEFM'24 -- Deadline extended!, Alexandre Madeira, 06/07/2024
• [Coq-Club] Call for Papers: SPLASH 2024 Student Research Competition, Umar Farooq, 06/07/2024
• [Coq-Club] 19th International Conference on Integrated Formal Methods - iFM 2024, geoff, 06/08/2024
• [Coq-Club] 18th International Conference on Reachability Problems - RP'24, geoff, 06/08/2024
• [Coq-Club] Coq 8.19.2, Gaëtan Gilbert, 06/10/2024
• [Coq-Club] [Second Call for Papers] Women in Formal Methods (WiFM-2024), Serge Autexier, 06/10/2024
• [Coq-Club] Second Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Extended Deadline: June 20, 2024, Serge Autexier, 06/10/2024
• [Coq-Club] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024, Serge Autexier, 06/12/2024
• [Coq-Club] ITP 2024 Call for Participation (September 9-14 2024, Tbilisi, Georgia), Yves Bertot, 06/13/2024
• [Coq-Club] POPL 2025: Call for Workshops and Co-located Events, Ningning Xie, 06/13/2024
• [Coq-Club] Postdoc position Machine Learning translation between formal math libraries, Cyril Cohen, 06/14/2024
• [Coq-Club] ICTAC 2024 - Final Call for Papers (& deadline extension), Hans-Dieter Hiep, 06/14/2024
• [Coq-Club] newlines misparsed as space in emacs+proof-general+company-coq, Abhishek Anand, 06/14/2024
  • Re: [Coq-Club] newlines misparsed as space in emacs+proof-general+company-coq, Erik Martin-Dorel, 06/14/2024
• [Coq-Club] Last CfA: Fully-funded Ph.D. Positions in Computer Science at IMT School for Advanced Studies Lucca, Cosimo P. Brogi, 06/17/2024
• [Coq-Club] CAV 2024 - Call for Participation (Early Registration Ends June 23), Norine Coenen, 06/17/2024
• [Coq-Club] PLMW@ICFP'24: Final call for Participation (travel funding application by June 21), Ningning Xie, 06/17/2024
• [Coq-Club] LLM query in Ltac2, Abhishek Anand, 06/20/2024
• [Coq-Club] Why subtyping rule is not contravariant in input types for Pi, Jason Hu, 06/20/2024
  • Re: [Coq-Club] Why subtyping rule is not contravariant in input types for Pi, Xavier Leroy, 06/20/2024
  • Re: [Coq-Club] Why subtyping rule is not contravariant in input types for Pi, Meven Lennon-Bertrand, 06/21/2024
    • Re: [Coq-Club] Why subtyping rule is not contravariant in input types for Pi, Jason Hu, 06/21/2024
      • Re: [Coq-Club] Why subtyping rule is not contravariant in input types for Pi, nicolas tabareau, 06/24/2024
• [Coq-Club] UNIF 2024 - Call for Participation, Oliver Fernandez Gil, 06/22/2024
• [Coq-Club] SPLASH'24: Call for Volunteers, Umar Farooq, 06/24/2024

Archive powered by MHonArc 2.6.19+.