coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Matthieu Sozeau <matthieu.sozeau AT inria.fr>
- To: "coqdev AT inria.fr" <coqdev AT inria.fr>, Coq Club <coq-club AT inria.fr>
- Subject: [Coq-Club] Save the Date: Coq Implementors Workshop 2018
- Date: Mon, 19 Mar 2018 14:33:24 +0000
- Authentication-results: mail3-smtp-sop.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-wm0-f41.google.com
- Ironport-phdr: 9a23:jhsIbhJPEu6kH1D9FtmcpTZWNBhigK39O0sv0rFitYgfKv3xwZ3uMQTl6Ol3ixeRBMOHs6kC07KempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffwtFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJOUchRWSJPAZ6yYZUTAOcaJ+lUs5PwqkESoReiBwShAv7kxD9Shn/x2K03y+MvHhva3Aw8H9IOsWrbrMjoP6kPVuC0zbfHwi/eb/hL3jr97ZLHcgw9ofGMXLJ/b9fRxVM0FwPCj1Sft5bqPy6O2+QMtWib9etgWvi1h24psQF8uz6izdoihInOg4Ia0FHE9SNhzYY6JN24VE57YcO/H5dKqy6aMI52T8U/SG9roCY30r8LtJGhcCQX1pgqxwTTZv+Zf4SS7R/vSeCcKipiin1/YrKwnROy/FCgyuLiUsm0105Hri9fndnNsnABzhLS6s2bRvdk8Ees1iuD2xrc6uFDJkA0mq7bJIA7zrEskZoTtFzPHi7wmErokK+bbkcp9+ey5+j6fLnrpoWQOoxqhg3kPakih9SzAeEiPQgPW2ib9/681Lrm/UDhRbVFlOE2krXZsJDbO8sbu7S1AxRS0oci9RmwFSqm3c8XnXkCNl1FeRaHg5L1NFHJJfD0Fe2/jEi0kDd32/DGOaXsDYnKLnjajbjuY6h95lVHyAszyNBf/4hbBqsAIPL1QE/xtcbXAgU3Mwyu2+znEsly1psCWWKTBa+UKL/dsViR5u42P+aMYJIVty3mJvg+5//uiGc5lkUHcamo25sXcnG4Ee58L0WXe3q/yusGRC0BuRMyQfLCiVuYUDcVaWz4F/Y34Sg3BZyODIHZR4nrjqbXmG+QGYQeTWRbABjYGnDxMo6ARv0kaSSII8YnnCZSBpa7TIp08BiyqA/7xqcvFe3G9yQF/cbm3cRp5+zeiFcp8i55Btm10meXTmgykHleFGx+57x2vUEokgTL6qN/mfENUIULv6oYADd/DobVyqlBM/63XwvAetmTT1P/G4epBDgwSpQ6xNpcOh8hSeXntQjK2m+RO5FQj6aCXcRm86TG3nG3Kdwvky+bhplktEEvR450DUPjhqN78FKOVYvAkkHciKPyMKpAhWjC82CMyWfIt0ZdAlZ9
Dear all,
the 4th Coq Implementors Workshop will take place at Inria Sophia-Antipolis (Nice, France) during the last week of May, from the 28th to June 1st. As usual the program will start on monday afternoon and end around noon on the friday.
The workshop is open to anyone interested in development around Coq, in particular plugin developers and people interested in learning about the internals of Coq and getting advice from the core developers are welcome.
For more information, consult the (WIP) wiki page:
Best regards,
-- Matthieu Sozeau for the Coq Development Team
- [Coq-Club] Save the Date: Coq Implementors Workshop 2018, Matthieu Sozeau, 03/19/2018
- Re: [Coq-Club] Save the Date: Coq Implementors Workshop 2018 (Change of location), Yves Bertot, 03/21/2018
Archive powered by MHonArc 2.6.18.