List archive

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

Archive powered by MHonArc 2.6.19+.