List archive

• 19/02/28
  • [Coq-Club] Funding available for Second School and Workshop on Univalent Mathematics, Birmingham (UK), April 1-5, Marco Maggesi
• 19/03/01
  • Re: [Coq-Club] [直播] [2 x 1 = 1] Postdoc Position at the University of, OOO1337777 OOO1337777
• 19/03/03
  • [Coq-Club] Ackermann Award 2019: Final Call for Nominations, EACSL Mail-Account
• 19/03/04
  • Re: [Coq-Club] [gdr.gpl ] [4PAD 2019] Deadline extension, Frédéric Dabrowski
  • [Coq-Club] CICM 2019, July 8-12: Extended Deadline 8th March 2019 (abstracts), 15th March 2019 (full papers), Serge Autexier
  • [Coq-Club] Homotopy Type Theory and Univalent Foundations conference June 2019 in Oslo, Benedikt Ahrens
• 19/03/05
  • [Coq-Club] Second call for papers, MPC 2019, Portugal, Graham Hutton
• 19/03/06
  • [Coq-Club] PhD scholarships and post-doctoral opportunities at Programming Language Systems, ANU, Michael.Norrish
  • [Coq-Club] Call for Papers F-IDE Workshop 2019, Virgile Prevosto
  • [Coq-Club] Announcement : FormalData, Evelyne Contejean
• 19/03/07
  • [Coq-Club] Second Dali Workshop: First Call for Papers, Renato Neves
  • [Coq-Club] Homotopy Type Theory and Univalent Foundations conference June 2019 in Oslo, Benedikt Ahrens
  • [Coq-Club] 5th Workshop on Bridging the Gap between Human and Automated Reasoning, geoff
• 19/03/08
  • [Coq-Club] Implementation of Coq's automation tactics, Xuanrui Qi
  • Re: [Coq-Club] Implementation of Coq's automation tactics, Joomy Korkut
  • Re: [Coq-Club] Implementation of Coq's automation tactics, Gaëtan Gilbert
• 19/03/09
  • [Coq-Club] CFP FMICS 2019: 24th International Conference on Formal Methods for Industrial Critical Systems, Tim Willemse
• 19/03/11
  • [Coq-Club] Researcher positions (postdoc) within the ERC Consolidator grant “Certified Quantum Security”, Dominique Unruh
  • [Coq-Club] CONCUR 2019 final call for papers, Fokkink, W.J.
  • [Coq-Club] ENTROPY 2019: Deadline Extension -- Final Call for Papers, David Nowak
• 19/03/12
  • [Coq-Club] SEFM 2019 - Call for Papers, Publicity Chair
  • [Coq-Club] AIBlock 2019: Call for Paper [Mar 30, 2019] - IJIS Special Issue: IF = 1.658, Conference CFP
  • [Coq-Club] IFIPTM 2019 Call for Paper [March 25, 2019], Conference CFP
  • [Coq-Club] Formal Methods 2019 - Doctoral Symposium, Renato Neves
  • [Coq-Club] LSFA 2019 - Second Call for papers, Amy Felty
  • [Coq-Club] Defining Tactics from plugins in Coq 8.9, Stefan Muller
  • [Coq-Club] Principles and Practice of Declarative Programming 2019 -- 2nd CFP, Ekaterina Komendantskaya
• 19/03/13
  • [Coq-Club] FTfJP 2019: Call for Papers, Toby Murray
• 19/03/14
  • [Coq-Club] [CFP] The Coq Workshop 2019, AffeldtReynald
  • [Coq-Club] Formal Methods 2019 - Final Call For Papers, Renato Neves

Archive powered by MHonArc 2.6.18.