List archive

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

Archive powered by MHonArc 2.6.19+.