List archive

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

Archive powered by MHonArc 2.6.19+.