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/03
121 mails
Chronological Thread << < page # 2/5 > >>
- [Coq-Club] CFP FMICS 2019: 24th International Conference on Formal Methods for Industrial Critical Systems, Tim Willemse, 03/09/2019
- [Coq-Club] Researcher positions (postdoc) within the ERC Consolidator grant “Certified Quantum Security”, Dominique Unruh, 03/11/2019
- [Coq-Club] CONCUR 2019 final call for papers, Fokkink, W.J., 03/11/2019
- [Coq-Club] ENTROPY 2019: Deadline Extension -- Final Call for Papers, David Nowak, 03/11/2019
- [Coq-Club] SEFM 2019 - Call for Papers, Publicity Chair, 03/12/2019
- [Coq-Club] AIBlock 2019: Call for Paper [Mar 30, 2019] - IJIS Special Issue: IF = 1.658, Conference CFP, 03/12/2019
- [Coq-Club] IFIPTM 2019 Call for Paper [March 25, 2019], Conference CFP, 03/12/2019
- [Coq-Club] Formal Methods 2019 - Doctoral Symposium, Renato Neves, 03/12/2019
- [Coq-Club] LSFA 2019 - Second Call for papers, Amy Felty, 03/12/2019
- [Coq-Club] Defining Tactics from plugins in Coq 8.9, Stefan Muller, 03/12/2019
- [Coq-Club] Principles and Practice of Declarative Programming 2019 -- 2nd CFP, Ekaterina Komendantskaya, 03/12/2019
- [Coq-Club] FTfJP 2019: Call for Papers, Toby Murray, 03/13/2019
- [Coq-Club] [CFP] The Coq Workshop 2019, AffeldtReynald, 03/14/2019
- [Coq-Club] Formal Methods 2019 - Final Call For Papers, Renato Neves, 03/14/2019
- <Possible follow-up(s)>
- [Coq-Club] Formal Methods 2019 - Final Call For Papers, Severus Winston, 03/19/2019
- [Coq-Club] generalized rewriting question, Dan Dougherty, 03/14/2019
- Re: [Coq-Club] generalized rewriting question, Pierre Courtieu, 03/15/2019
- Re: [Coq-Club] generalized rewriting question, Dan Dougherty, 03/16/2019
- Re: [Coq-Club] generalized rewriting question, Pierre Courtieu, 03/18/2019
- Re: [Coq-Club] generalized rewriting question, Dan Dougherty, 03/16/2019
- Re: [Coq-Club] generalized rewriting question, Pierre Courtieu, 03/15/2019
- [Coq-Club] ITP 2019: Final Call for Papers, O'Leary, John W, 03/14/2019
- [Coq-Club] Induction on Permutation, Jake, 03/15/2019
- Re: [Coq-Club] Induction on Permutation, Jason -Zhong Sheng- Hu, 03/15/2019
- Re: [Coq-Club] Induction on Permutation, Jake, 03/15/2019
- Re: [Coq-Club] Induction on Permutation, Jason -Zhong Sheng- Hu, 03/15/2019
- Re: [Coq-Club] Induction on Permutation, Favonia, 03/15/2019
- Re: [Coq-Club] Induction on Permutation, Jake, 03/15/2019
- Re: [Coq-Club] Induction on Permutation, Jason -Zhong Sheng- Hu, 03/16/2019
- Re: [Coq-Club] Induction on Permutation, Jake, 03/15/2019
- Re: [Coq-Club] Induction on Permutation, Jason -Zhong Sheng- Hu, 03/15/2019
- [Coq-Club] TAP 2019 - Second CFP, Chantal Keller, 03/15/2019
- [Coq-Club] Mechanised System F Omega, Elias Castegren, 03/15/2019
- [Coq-Club] [TFP'19] second call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA, Peter Achten, 03/15/2019
Archive powered by MHonArc 2.6.18.