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
2023/02
48 mails
Chronological Thread << < page 2 / 2 > >>
- [Coq-Club] SPLASH 2023: Call for Workshops Proposal, Andreea Costea, 02/17/2023
- [Coq-Club] FSCD 2025: Call for Location, Carsten Fuhs, 02/17/2023
- Re: [Coq-Club] Universe Polymorphism, Helmut Brandl, 02/18/2023
- [Coq-Club] Alternate Definition of Well-Foundedness, mukesh tiwari, 02/18/2023
- Re: [Coq-Club] Alternate Definition of Well-Foundedness, Frédéric Blanqui, 02/18/2023
- Re: [Coq-Club] Alternate Definition of Well-Foundedness, Dominique Larchey-Wendling, 02/18/2023
- [Coq-Club] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023), Serge Autexier, 02/19/2023
- [Coq-Club] character pipe in a comment, Michel Levy, 02/19/2023
- Re: [Coq-Club] character pipe in a comment, Gaëtan Gilbert, 02/19/2023
- Re: [Coq-Club] character pipe in a comment, Stefan Monnier, 02/19/2023
- [Coq-Club] 1st Call for Contributions - Women in Logic Workshop (WiL 2023), Daniele Nantes, 02/21/2023
- [Coq-Club] [ICTAC 2023] First call for papers – deadline 16 June 2023, Violet Ka I Pun, 02/21/2023
- [Coq-Club] FMTea 2023 - colocated with FM 2023 - call for participation, Catherine DUBOIS, 02/24/2023
- [Coq-Club] HCVS 2023 - Call for Papers (Extended deadline), Jose F. Morales, 02/25/2023
- [Coq-Club] CfP Reliability, safety and security of railway systems (RSSRail 2023), Alexander Romanovsky, 02/27/2023
- [Coq-Club] Postdoc position at Kyoto University, Japan, Kohei SUENAGA, 02/28/2023
- [Coq-Club] [CUDW 2023] Coq Users and Developers Workshop - June 26 to 30 - Save the Date!, Enrico Tassi, 02/28/2023
- [Coq-Club] Second Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23), Carlos Olarte, 02/28/2023
Archive powered by MHonArc 2.6.19+.