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/12
58 mails
Chronological Thread << < page # 2/2 > >>
- 19/12/14
- [Coq-Club] Prop / Type (again), Jeremy Dawson
- Re: [Coq-Club] Prop / Type (again), Gaëtan Gilbert
- 19/12/15
- Re: [Coq-Club] Prop / Type (again), Jeremy Dawson
- [Coq-Club] or in ltac tryif, Abhishek Anand
- Re: [Coq-Club] or in ltac tryif, Jason Gross
- 19/12/16
- [Coq-Club] First ETAPS Doctoral Dissertation Award, Tarmo Uustalu
- [Coq-Club] Program for CoqPL 2020, Robbert Krebbers
- [Coq-Club] Formal proofs of Google's code jams, Vincent Semeria
- 19/12/17
- [Coq-Club] 10 PhD studentships in Nottingham, Graham Hutton
- [Coq-Club] [CFP] Tokenomics 2020 (deadline January 20) - 2nd International Conference on Blockchain Economics, Security and Protocols, zaynah dargaye
- [Coq-Club] Computability in Europe 2020 SECOND CALL FOR PAPERS, acie
- [Coq-Club] JFLA 2020 | Second appel à participation, zaynah dargaye
- [Coq-Club] PEPM 2020 Call for Participation, Casper Bach Poulsen
- 19/12/18
- [Coq-Club] Practical Aspects of Declarative Languages (PADL 2020) Call for Participation, Ekaterina Komendantskaya
- [Coq-Club] semantics/verification postdoc positions at Cambridge, Peter Sewell
- [Coq-Club] Final CFP: JFP Special Issue on Gradual Typing, Amal Ahmed
- 19/12/19
- [Coq-Club] IJCAR 2020 - Call for Papers, geoff
- [Coq-Club] simpl (unfold definition) only if the argument is in fully normal form, Abhishek Anand
- Re: [Coq-Club] simpl (unfold definition) only if the argument is in fully normal form, Gaëtan Gilbert
- Re: [Coq-Club] simpl (unfold definition) only if the argument is in fully normal form, Abhishek Anand
- 19/12/20
- 19/12/21
- 19/12/23
- [Coq-Club] POPLmark Retrospective Panel at POPL: Come, and send us your questions!, Talia Ringer
- Re: [Coq-Club] Formal proofs of Google's code jams, Guillaume Claret
- Re: [Coq-Club] Formal proofs of Google's code jams, Kinan Dak Albab
- 19/12/24
- 19/12/25
- [Coq-Club] universe inconsistency, Jeremy Dawson
Archive powered by MHonArc 2.6.18.