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
2019/04
91 mails
Chronological Thread << < page # 1/4 > >>
- 19/03/29
- [Coq-Club] TAP 2019 CFP - Soft deadline for abstract, Chantal Keller
- 19/04/01
- [Coq-Club] Campagne de recrutement ATER de l'Université d'Orléans, Frédéric Dabrowski
- [Coq-Club] FCS'19 - Call for Papers, Mansky, William Ernest
- 19/04/02
- [Coq-Club] PxTP 2019 - Call for Papers, Chantal Keller
- [Coq-Club] Parallel compilation of projects w/ sections, Anton Podkopaev
- Re: [Coq-Club] Impredicative Set, Thorsten Altenkirch
- Re: [Coq-Club] Impredicative Set, Xavier Leroy
- Re: [Coq-Club] Impredicative Set, Thorsten Altenkirch
- Re: [Coq-Club] Impredicative Set, Xavier Leroy
- Re: [Coq-Club] Impredicative Set, Thorsten Altenkirch
- [Coq-Club] 6th Workshop on Proof eXchange for Theorem Proving (PxTP) - CFP, geoff
- Re: [Coq-Club] Impredicative Set, Stefan Monnier
- Re: [Coq-Club] Impredicative Set, Thorsten Altenkirch
- [Coq-Club] CfPart Reliability, safety and security of railway systems (RSSRail 2019), Alexander Romanovsky
- 19/04/03
- [Coq-Club] MPC 2019 final call for papers - submissions due 3rd May, Graham Hutton
- [Coq-Club] RADICAL@CONCUR'19: Recent Advances in Concurrency and Logic - 1st Call for Submissions, Ornela Dardha
- [Coq-Club] Stuck with (at first glance) obvious dependent inversion, Frédéric Dabrowski
- Re: [Coq-Club] Stuck with (at first glance) obvious dependent inversion, Gaëtan Gilbert
- [Coq-Club] WiL 2019: Women in Logic Workshop Final Call for Papers-Extended Deadline, Amy Felty
- Re: [Coq-Club] Stuck with (at first glance) obvious dependent inversion, Frédéric Dabrowski
- Re: [Coq-Club] OPAM archive switch to format 2.0, Enrico Tassi
- Re: [Coq-Club] Stuck with (at first glance) obvious dependent inversion, Gaëtan Gilbert
- Re: [Coq-Club] Stuck with (at first glance) obvious dependent inversion, Yannick Forster
- Re: [Coq-Club] Stuck with (at first glance) obvious dependent inversion, Frédéric Dabrowski
- 19/04/04
- [Coq-Club] Call for Course and Workshop Proposals for ESSLLI 2020, Rajeev.Gore
- [Coq-Club] extract CompCert dependend type, Fritjof Bornebusch
- [Coq-Club] Coq at POST 2019, Ramsdell, John D.
- Re: [Coq-Club] Just for fun: From Coq to a paraconsistent poof assistant, Ben Sherman
- 19/04/05
Archive powered by MHonArc 2.6.18.