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/05
61 mails
Chronological Thread << < page # 1/3 > >>
- [Coq-Club] [TFP'19] Third call for papers: Trends in Functional Programming 2019, 12--14 June 2019, Vancouver, BC, CA, William J. Bowman, 05/01/2019
- [Coq-Club] Postdoc Position VirginiaTech: x86-64 binary verification, Freek Verbeek, 05/01/2019
- [Coq-Club] RADICAL@CONCUR'19: Recent Advances in Concurrency and Logic - 2nd Call for Submissions, Ornela Dardha, 05/02/2019
- [Coq-Club] CUDW 2019 - 2nd call for participation, Pierre-Marie Pédrot, 05/03/2019
- [Coq-Club] My new book: Computational Commutative Algebra and Algebraic Geometry, ihsen yengui, 05/04/2019
- [Coq-Club] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France, Frédéric Blanqui, 05/06/2019
- [Coq-Club] SEFM 2019 - Final CfP with Extended Deadlines, Lina Marsso, 05/06/2019
- [Coq-Club] Phd Position at University of Orléans, Frédéric Dabrowski, 05/06/2019
- [Coq-Club] PxTP 2019 - Last Call for Papers, Chantal Keller, 05/06/2019
- [Coq-Club] Coqtop links broken, Robert Rand, 05/06/2019
- Re: [Coq-Club] Coqtop links broken, Robert Rand, 05/07/2019
- Re: [Coq-Club] Coqtop links broken, Théo Zimmermann, 05/07/2019
- Re: [Coq-Club] Coqtop links broken, Robert Rand, 05/07/2019
- [Coq-Club] FroCoS and TABLEAUX 2019 (London): SECOND (AND FINAL) DEADLINE EXTENSION, Andrei Popescu, 05/07/2019
- [Coq-Club] FTfJP 2019: CFP for Second Round, Toby Murray, 05/07/2019
- [Coq-Club] Facets of realizability - call for contributions, Valentin Blot, 05/07/2019
- [Coq-Club] PLMW at ICFP: Call for Scholarship Applications (due 17 May), Sam Tobin-Hochstadt, 05/07/2019
- [Coq-Club] Galois Is Hiring, Joey Dodds, 05/08/2019
- [Coq-Club] [TFP'19] final call for papers (deadline extension): Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA, Peter Achten, 05/08/2019
- [Coq-Club] [TFPIE'19] Final call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA, Peter Achten, 05/08/2019
- [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Graham Hutton, 05/08/2019
- [Coq-Club] Workshop on Formal Methods for Blockchains (FMBC) 2019 - Second Call, Néstor Cataño Collazos, 05/08/2019
- [Coq-Club] CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation, Serge Autexier, 05/09/2019
- [Coq-Club] FSCD 2019 - Early registration ends soon (May 13th), Sandra Alves, 05/10/2019
- [Coq-Club] TYPES 2019 and HoTT-UF, 11-14 June 2019, Oslo: Call for Participation, early registration deadline 25 May, Marcus Aloysius Bezem, 05/10/2019
- [Coq-Club] Variable closure, richard Dapoigny, 05/12/2019
- Re: [Coq-Club] Variable closure, Arthur Azevedo de Amorim, 05/12/2019
- Re: [Coq-Club] Variable closure, Jeremy Dawson, 05/12/2019
- Re: [Coq-Club] Variable closure, richard Dapoigny, 05/12/2019
- Re: [Coq-Club] Variable closure, Tadeusz Litak, 05/12/2019
- Re: [Coq-Club] Variable closure, Kenji Maillard, 05/12/2019
- Re: [Coq-Club] Variable closure, richard Dapoigny, 05/12/2019
Archive powered by MHonArc 2.6.18.