List archive

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

Archive powered by MHonArc 2.6.18.