List archive

• 24/09/02
  • [Coq-Club] Postdoc position available at the University of Lille – Starting October 2024, David Nowak
• 24/09/04
  • [Coq-Club] [TFP 2025 Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK), Peter Achten
  • [Coq-Club] Postdoc position at University of Kent, Vineet Rajani
  • [Coq-Club] Seeking nominations: POPL 2025 Artifact Evaluation Committee, Vadim Zaliva
• 24/09/06
  • [Coq-Club] Teaching Committee Meeting at FM'24 next week, Wed 11.9 @12:50-14, Luigia Petre
• 24/09/09
  • [Coq-Club] CADE-30 Call for Colocated Events, geoff
  • [Coq-Club] ICTAC 2024: Call for Participation, Hans-Dieter A. Hiep
• 24/09/11
  • [Coq-Club] Coq 8.20.0 is out, Pierre Roux
  • [Coq-Club] CFP - JFLA 2025 - Journées Francophones des Langages Applicatifs, Marie Kerjean
  • [Coq-Club] WebAssembly Workshop (WAW) @ POPL 2025 - Call for Presentations, Conrad Watt
  • [Coq-Club] semantics of EVM bytecode, Abhishek Anand
  • Re: [Coq-Club] semantics of EVM bytecode, mukesh tiwari
• 24/09/16
  • [Coq-Club] PriSC @ POPL'25: Call for Presentations, PriSC PC Chairs
  • [Coq-Club] (2nd CfP) Dafny Workshop at POPL 2025, Stefan Zetzsche
  • [Coq-Club] [CFP] PEPM 2025 co-located with POPL, Guillaume Allais
• 24/09/19
  • [Coq-Club] Postdoc & senior researcher positions in Tokyo, Ichiro Hasuo
  • [Coq-Club] Assistant Professor (tenure-track) and Professor (tenured) positions in Computer Science at Institute of Science and Technology Austria (ISTA) (apply by November 28, 2024), Michael Sammler
• 24/09/20
  • [Coq-Club] FME Teaching Tutorial on September 27, 2024, 3 pm CEST: Prof Rosemary Monahan, Maynooth University, Ireland, on Teaching Dafny at undergraduate and MSc level on Irish and Erasmus+ European Degree programmes, Luigia Petre
  • [Coq-Club] 39th Agda Implementor's Meeting (AIM XXXIX) 25-30 Nov 2024 in Gothenburg, Andreas Abel
• 24/09/21
  • [Coq-Club] PLDI 2025 Call For Papers, Konstantinos Kallas
  • [Coq-Club] PLDI 2025 Call For Papers (Corrected Author Response Dates), Konstantinos Kallas
• 24/09/22
  • [Coq-Club] Workshop on "Big Specification: Specification, Proof, and Testing at Scale", Peter Sewell
• 24/09/23
  • [Coq-Club] ETAPS 2025 Final Joint Call for Papers, Claudio MENGHI
• 24/09/24
  • [Coq-Club] Simulating lambda terms in lambda calculus, Helmut Brandl
  • Re: [Coq-Club] Simulating lambda terms in lambda calculus, peio borthelle
• 24/09/25
  • Re: [Coq-Club] Simulating lambda terms in lambda calculus, Helmut Brandl
• 24/09/26
  • [Coq-Club] Types post-proceedings call for papers, Rasmus Ejlers Møgelberg
• 24/09/27
  • [Coq-Club] LICS 2025 Call for Papers and Call for Workshops, Sam Staton
• 24/09/30
  • [Coq-Club] Call for Papers: FORMALISE 2025, Gwen Salaün

Archive powered by MHonArc 2.6.19+.