coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

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