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
2024/04
44 mails
Chronological Thread << < page 2 / 2 > >>
- [Coq-Club] Formal Methods Teaching Workshop (FMTea 2024) Call for Papers, Sekerinski, Emil, 04/18/2024
- [Coq-Club] using Equations to first do wf induction on some index and then structural induction?, Jason Hu, 04/19/2024
- Re: [Coq-Club] using Equations to first do wf induction on some index and then structural induction?, mukesh tiwari, 04/20/2024
- [Coq-Club] Student Research Competition (SRC) at ICFP 2024, Favonia, 04/21/2024
- [Coq-Club] Coq Workshop 2024 call for presentations, Théo Winterhalter, 04/22/2024
- [Coq-Club] School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024, Favonia, 04/22/2024
- [Coq-Club] The 18th International Conference on Reachability Problems - RP 2024, geoff, 04/22/2024
- [Coq-Club] ICTAC 2024 - Second Call for Papers, Hans-Dieter Hiep, 04/23/2024
- [Coq-Club] 2nd Call for Papers: ACM Workshop on Functional Software Architecture [Deadline June 3], Michael Sperber, 04/24/2024
- [Coq-Club] Open postdoc positions in "CyPhAI: Formal Analysis and Design of AI-intensive Cyber-Physical Systems", Kohei SUENAGA, 04/25/2024
- [Coq-Club] Reminder: MSFP 2024 Call for Papers (deadline 30 Apr), Favonia, 04/26/2024
- [Coq-Club] 1st CfP: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering, Andrei Chis, 04/29/2024
- [Coq-Club] PPDP 2024 - Final CFP, Alessandro Bruni, 04/29/2024
- [Coq-Club] Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24), Claudio Sacerdoti Coen, 04/29/2024
Archive powered by MHonArc 2.6.19+.