coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2025/05
61 mails
Chronological Thread << < page 2 / 3 > >>
- [Coq-Club] OCAML'25: The OCaml Users and Developers Workshop - Second Call for Papers, Kiran (She/Her), 05/07/2025
- [Coq-Club] LSFA 2025: Extended Deadlines (abstracts: May 19, papers: May 26), Christophe Ringeissen, 05/07/2025
- [Coq-Club] 1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25), Frédéric Blanqui, 05/07/2025
- [Coq-Club] Call for Participation: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering, Andrei Chis, 05/08/2025
- [Coq-Club] The chicken or the egg problem in the foundation of mathematics, Iaroslav Baranov, 05/09/2025
- Re: [Coq-Club] The chicken or the egg problem in the foundation of mathematics, Pierre Courtieu, 05/15/2025
- Re: [Coq-Club] The chicken or the egg problem in the foundation of mathematics, Marco Servetto, 05/15/2025
- Re: [Coq-Club] The chicken or the egg problem in the foundation of mathematics, Iaroslav Baranov, 05/16/2025
- [Coq-Club] UNIF 2025: Extended submission deadline (May 17), Laurent Vigneron, 05/09/2025
- [Coq-Club] WST 2025 - Workshop on Termination, First Call for Papers, Carsten Fuhs, 05/12/2025
- [Coq-Club] SMT 2025: Deadline extension, geoff, 05/13/2025
- [Coq-Club] [CFP] SEFM 2025, MIGUEL BENITO PAREJO, 05/13/2025
- [Coq-Club] HOR 2025: Deadline extension - Last Call for Papers, Pablo Barenbaum, 05/13/2025
- [Coq-Club] HCVS 2025, **Deadline Extension**: 12th Workshop on Horn Clauses for Verification and Synthesis, 22 July 2025, Zagreb (Croatia), Florian Frohn, 05/14/2025
- [Coq-Club] Postdoc & senior researcher position in Tokyo, Ichiro Hasuo, 05/15/2025
- [Coq-Club] DisCoTec Call for Participation - Early Registration Deadline Soon, Matthew Alan Le Brun (PGR), 05/15/2025
- [Coq-Club] 2nd CfP: Functional Software Architecture (FUNARCH, Deadline June 16), Michael Sperber, 05/18/2025
- [Coq-Club] CADE-30 Woodie Bledsoe Awards, geoff, 05/18/2025
- [Coq-Club] Call for Contributions: RSSRail 2025: 6th International Conference on Reliability, Safety, and Security of Railway Systems, Giovanna Broccia, 05/19/2025
- [Coq-Club] FSCD 2025: Call for Participation (early registration deadline: *15 June 2025*), Carsten Fuhs, 05/19/2025
- [Coq-Club] [PPDP 25] Extended Call for Papers, Carlos Olarte, 05/19/2025
- [Coq-Club] ETAPS 2026 - Call for Satellite Events, root, 05/20/2025
- [Coq-Club] ESOP 2026 - Second Call for Papers, root, 05/20/2025
- [Coq-Club] Problem with scope of lemmas, richard, 05/21/2025
- Re: [Coq-Club] Problem with scope of lemmas, Li-yao Xia, 05/22/2025
- Re: [Coq-Club] Problem with scope of lemmas, Richard Dapoigny, 05/22/2025
- Re: [Coq-Club] Problem with scope of lemmas, Li-yao Xia, 05/22/2025
- [Coq-Club] TYPES 2025: Final Call for Participation, Fredrik Nordvall Forsberg, 05/21/2025
- [Coq-Club] PhD Offer / Formally Verified Compilation of Interactive Software, Basile Pesin, 05/22/2025
- [Coq-Club] ITP 2025: Call for workshops, Yannick Forster, 05/22/2025
- [Coq-Club] ECOOP 2025: Call for Participation - Early Registration Deadline (28th May 2025 CEST) is approaching, Violet Ka I Pun, 05/26/2025
Archive powered by MHonArc 2.6.19+.