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
55 mails
Chronological Thread << < page 2 / 2 > >>
- Re: [Coq-Club] Zify support for all instances of a type function, (continued)
- Re: [Coq-Club] Zify support for all instances of a type function, mukesh tiwari, 10/13/2022
- Re: [Coq-Club] Zify support for all instances of a type function, Pierre Vial, 10/13/2022
- Re: [Coq-Club] Zify support for all instances of a type function, Eddy Westbrook, 10/14/2022
- Re: [Coq-Club] Zify support for all instances of a type function, Kazuhiko Sakaguchi, 10/14/2022
- Re: [Coq-Club] Zify support for all instances of a type function, Chantal Keller, 10/14/2022
- Re: [Coq-Club] Zify support for all instances of a type function, Pierre Vial, 10/13/2022
- Re: [Coq-Club] Zify support for all instances of a type function, Samuel Gruetter, 10/14/2022
- Re: [Coq-Club] Zify support for all instances of a type function, mukesh tiwari, 10/13/2022
- [Coq-Club] SRC@POPL 2023 Call for Submissions, Jeehoon Kang, 10/14/2022
- [Coq-Club] Internship for master students at CNES Paris-Daumesnil, Danko Ilik, 10/14/2022
- [Coq-Club] POPL 23 -- Call for student volunteers, Konstantinos Kallas, 10/14/2022
- [Coq-Club] Postdoc and Internship positions at IBM Research, Jason Rute, 10/15/2022
- [Coq-Club] Postdoc Position in "Formal and Automated Security Analysis of Extended Reality Systems" at King's College London, Vigano, Luca, 10/16/2022
- [Coq-Club] Final CFP: Proceedings for ThEdu'22, Joao Marcos, 10/18/2022
- [Coq-Club] Research opportunities (internships, PhD positions, summer school) at Max Planck Institutes in Computer Science, Catalin Hritcu, 10/19/2022
- [Coq-Club] Formal Methods Teaching Tutorial on Frama-C: Dr Allan Blanchard on Friday, October 28, at 3pm CET, Luigia Petre, 10/21/2022
- [Coq-Club] TFPIE 2023 call for submissions (deadline Dec 27th), Elena Machkasova, 10/21/2022
- [Coq-Club] CoqPL 2023, extended submission deadline (Oct 31), Benjamin Pierce, 10/22/2022
- [Coq-Club] TYPES 2022 Second Post-proceeding CfP, Pierre-Marie Pédrot, 10/24/2022
- [Coq-Club] 2nd Call for Presentations - Workshop on Principles of Secure Compilation (PriSC 2023), Marco Guarnieri, 10/24/2022
- [Coq-Club] PLDI 2023 Artifact Evaluation Committee Nominations, Anders Miltner, 10/25/2022
- [Coq-Club] CfP: Doctoral Symposium @ FM 2023, Violet Ka I Pun, 10/25/2022
- [Coq-Club] CiE 2023: FIRST CALL FOR PAPERS, acie, 10/25/2022
- [Coq-Club] PLAS 2022: Call for Papers, Sunjay Cauligi, 10/26/2022
- [Coq-Club] Postdoc position at the University of Birmingham, vincent rahli, 10/28/2022
- [Coq-Club] TYPES 2022 Last Post-proceeding CfP -- Extended Deadline, Pierre-Marie Pédrot, 10/29/2022
- [Coq-Club] Postdoc & Scientific Programmer Positions in Tokyo, Ichiro Hasuo, 10/30/2022
Archive powered by MHonArc 2.6.19+.