List archive

• [Coq-Club] 2025 Summer School on Formal Techniques, Atherton, California, May 24-30, 2025, Natarajan Shankar, 01/31/2025
• [Coq-Club] Midlands Graduate School 2025 hosted by the University of Sheffield, Andrei Popescu, 02/03/2025
• [Coq-Club] Associate/Assistant professorship in Copenhagen or Aalborg at Aalborg University, Anders Schlichtkrull, 02/04/2025
• [Coq-Club] PhD Position: Verification of Golang using Interactive Theorem Proving (Application Deadline 2025-02-10), Achim D. Brucker, 02/04/2025
• [Coq-Club] PPDP'25 CFP, Carlos Olarte, 02/04/2025
• [Coq-Club] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques, Bas van den Heuvel, 02/04/2025
• [Coq-Club] [CFP] 1st Int. Conf. on Quantum Software :: Submission Deadline - 18th February, calendarsites, 02/05/2025
  • <Possible follow-up(s)>
  • [Coq-Club] [CFP] 1st Int. Conf. on Quantum Software :: Submission Deadline - 18th February, calendarsites, 02/05/2025
• [Coq-Club] Paid internship position at Virginia Tech, USA, Swarn Priya, 02/06/2025
• [Coq-Club] Fully funded PhD position at KU Leuven on Mechanized Systems-Level Security (Deadline 2025-03-16), Steven Keuchel, 02/07/2025
• [Coq-Club] rename bound variable, Abhishek Anand, 02/10/2025
  • Re: [Coq-Club] rename bound variable, Laurent Thery, 02/10/2025
• [Coq-Club] TYPES 2025: Second Call for Contributions, Fredrik Nordvall Forsberg, 02/10/2025
• [Coq-Club] 2nd CfC: Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM), Jonathan Weinberger, 02/11/2025
• [Coq-Club] Scottish Programming Languages and Verification Summer School 2025 at the University of Edinburgh, Simon Fowler, 02/11/2025
• [Coq-Club] Fully-funded PhD position in Static Analysis at Inria Lille, France, Raphaël Monat, 02/11/2025
• [Coq-Club] FSCD 2025: Extended deadline (Abstract: February 17/ Submission: February 22), Carsten Fuhs, 02/12/2025
• [Coq-Club] CFP: RSSRail 2025: 6th International Conference on  Reliability, Safety, and Security of Railway Systems, Giovanna Broccia, 02/13/2025
• [Coq-Club] Second Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia, Serge Autexier, 02/15/2025
• [Coq-Club] Call for STSMs and ITC conference grants, simona . k, 02/17/2025
• [Coq-Club] Registration now open -- Re: Midlands Graduate School 2025 hosted by the University of Sheffield, Andrei Popescu, 02/18/2025
• [Coq-Club] Midlands Graduate School - registration now open, Graham Hutton, 02/18/2025
• [Coq-Club] Postdoc position at MPI-SWS (Foundations of Programming group), Derek Dreyer, 02/19/2025
• [Coq-Club] UNIF 2025 Call for Papers, Laurent Vigneron, 02/20/2025
• [Coq-Club] Workshop on GenAI for Theorem Proving, Edinburgh 7-9 April 2025, Ekaterina Komendantskaya, 02/21/2025
• [Coq-Club] FME Teaching Tutorial on February 28, 2025 3 pm CET: Prof Mariëlle Stoelinga, University of Twente, The Netherlands, on Life long learning — experience with educational programs for professionals, Luigia Petre, 02/21/2025
• [Coq-Club] skip %Qp, %nat when Printing, Abhishek Anand, 02/24/2025
• [Coq-Club] Allowing record field access to be disambiguated by record type, tchajed AT gmail.com, 02/24/2025
  • Re: [Coq-Club] Allowing record field access to be disambiguated by record type, Chris Dams, 02/25/2025
• [Coq-Club] TYPES 2025: Deadline Extension and Final Call for Contributions, Fredrik Nordvall Forsberg, 02/27/2025

Archive powered by MHonArc 2.6.19+.