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
2022/10
44 mails
Chronological Thread << < page 1 / 2 > >>
- [Coq-Club] POPL 2023 Call for Tutorials, Kristopher K Micinski, 10/01/2022
- [Coq-Club] Call for Presentations: PriSC 2023 @ POPL 2023, Marco Guarnieri, 10/01/2022
- [Coq-Club] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct, Nicolai Kraus, 10/02/2022
- Re: [Coq-Club] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct, Milad Ketabi, 10/04/2022
- [Coq-Club] Faculty positions in Oxford, Sam Staton, 10/02/2022
- [Coq-Club] ETAPS 2023 Final joint call for papers, jan . kofron, 10/06/2022
- [Coq-Club] Faculty position in Logical Foundations at the University of Cambridge, Neel Krishnaswami, 10/07/2022
- [Coq-Club] ETAPS Doctoral Dissertation Award 2023, jan . kofron, 10/07/2022
- [Coq-Club] Postdoc positions at Virginia Tech/Open University, Binoy Ravindran, 10/08/2022
- [Coq-Club] Red-black tree and remove/add specifications, Suneel Sarswat, 10/08/2022
- Re: [Coq-Club] Red-black tree and remove/add specifications, Chris Dams, 10/08/2022
- Re: [Coq-Club] Red-black tree and remove/add specifications, Suneel Sarswat, 10/08/2022
- Re: [Coq-Club] Red-black tree and remove/add specifications, Chris Dams, 10/08/2022
- Re: [Coq-Club] Red-black tree and remove/add specifications, Suneel Sarswat, 10/08/2022
- Re: [Coq-Club] Red-black tree and remove/add specifications, Clément Pit-Claudel, 10/08/2022
- Re: [Coq-Club] Red-black tree and remove/add specifications, Chris Dams, 10/09/2022
- Re: [Coq-Club] Red-black tree and remove/add specifications, Castéran Pierre, 10/09/2022
- Re: [Coq-Club] Red-black tree and remove/add specifications, Suneel Sarswat, 10/08/2022
- Re: [Coq-Club] Red-black tree and remove/add specifications, Chris Dams, 10/08/2022
- [Coq-Club] LAST CALL: Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022, Orestis Melkonian, 10/10/2022
- [Coq-Club] Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct), Fredrik Nordvall Forsberg, 10/10/2022
- [Coq-Club] rewrite clears hypotheses in evar's context, Abhishek Anand, 10/11/2022
- Re: [Coq-Club] rewrite clears hypotheses in evar's context, Samuel Gruetter, 10/11/2022
- [Coq-Club] Coq Platform 2022.09.0 (including beta version for Coq 8.16.0 and a updated and extended package pick), Théo Zimmermann, 10/11/2022
- [Coq-Club] PLDI 2023, Call for Workshops and Tutorials, William J. Bowman, 10/11/2022
- [Coq-Club] mettre à jour votre compte, Postmaster INRIA, 10/12/2022
- <Possible follow-up(s)>
- [Coq-Club] mettre à jour votre compte, Postmaster INRIA, 10/22/2022
- [Coq-Club] Ph.D. positions at Portland State University, Yao Li, 10/12/2022
- [Coq-Club] Fwd: [personnel-sif] phishing campaign targeting Inria, Amélie Ledein, 10/12/2022
- [Coq-Club] MathComp Workshop and Winter School (Dec 5-9 2022) - second call, Enrico Tassi, 10/12/2022
- [Coq-Club] PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University, Bas Spitters, 10/12/2022
- [Coq-Club] Zify support for all instances of a type function, Eddy Westbrook, 10/13/2022
Archive powered by MHonArc 2.6.19+.