Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Registration to the Coq Implementors Workshop 2017 - June 12-16

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Registration to the Coq Implementors Workshop 2017 - June 12-16


Chronological Thread 
  • From: Matthieu Sozeau <matthieu.sozeau AT inria.fr>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>, "coqdev AT inria.fr" <coqdev AT inria.fr>
  • Subject: [Coq-Club] Registration to the Coq Implementors Workshop 2017 - June 12-16
  • Date: Wed, 19 Apr 2017 13:50:23 +0000
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=matthieu.sozeau AT inria.fr; spf=Pass smtp.mailfrom=matthieu.sozeau AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua0-f169.google.com
  • Ironport-phdr: 9a23:S+HQfxH/U+TquaDimC5xUJ1GYnF86YWxBRYc798ds5kLTJ7yp8uwAkXT6L1XgUPTWs2DsrQf2raQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbQhFgDWwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KODE5/m/ZicJ+kbxVrw66qhNl34LZepuYOOZicq7fe94RWGpPXtxWVyxEGo6yaJEAD/YdPeZYronyuUYOpgajCwmrBeLg1CVHhmLr1qA91uQuCx3G3BAgH9IPrnvUsc/5NLwVUeG00qbH1yjDYuhX2Tf78ojIcwoureuCXbJqaMfcz1QkGQ3CjlWVs4PlPjWV2/wCs2ia9+pvSeWvh3c9pA5spDiv3d0ghZXOhoIQ0lzE9CN5wJw0JdKiUkJ7b8SkHZ1NvC+ZL4t7Wt0uT31stSogybALuYS3cDYXxJkl3RLTdv2KfoyO7xn+TuieOy14i2hgeL+nhxa970ygyurkW8mxyllKry5FnsDRtn8XyxDf88aHRuZ880qlwzqP2AfT6uZLIUAwi6XXMYIuwrk1lpYLsETDGDH5mFnugaOIakkp/vKk5ufnb7n8uJOQKo15hhvjPqkvnsGzGeE4PRIPX2if9+S8zrrj/UjhTbVPlPI2jrXZsJDbJcsFu661GRRV0oEi6hmhFTimzc8VnXYCLF1feRKHi5LlNE3JIPD9Ffu/mUijkC93x/DaOb3sGonCLn/akLv4Ybl971NcxxEowNBE55NUD6kBL+jpVk/wstzYFB45PBauz+bpEtV3zpkeVn6XAq+FLKPStkeF6f4oI+mVeYAapij9JuM+5//uiH85gUUScbOo3ZsRcnC4H+5pL1+XYXr20Z89FjJAtQ0nCefulVeqUDhJZn/0Ubh2rmUwD5vjBoPeTKishqaA1WG1BMsSLipNDUmAHGnAdoOeWv5KZjjYaptqlSUIWKaJSok71BjouhWsmJR9Ke+B3yQEqZLi2cU93OrBmBgvvWhxBtiB02CAUidvmXEFTiIe3aZloEU7xE3VgvswuOBRCdEGv6ABaQw9L5OJl+E=

Dear all,

  it is our pleasure to announce that registration to the third Coq Implementors Workshop is open. The workshop which will take place June 12th to June 16th in Port-aux-rocs, Le Croisic, France. Registration is open at: 

   http://gipco-adns.com/site/5922/coqdev+2017+registration+form

  The registration deadline is **May 10th**.

  The program will be announced soon and will include talks by developers on parts of the system, and time for technical discussions of the features in development. More details can be found on the wiki page: 

  https://coq.inria.fr/cocorico/CoqImplementorsWorkshop/CoqIW2017

-- The Coq Development Team


  • [Coq-Club] Registration to the Coq Implementors Workshop 2017 - June 12-16, Matthieu Sozeau, 04/19/2017

Archive powered by MHonArc 2.6.18.

Top of Page