coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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:
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:
-- 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.