coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] [coqdev] Save the Date: Coq Implementors Workshop 2018

From: Jim Fehrle <jfehrle AT sbcglobal.net>
To: Matthieu Sozeau <matthieu.sozeau AT inria.fr>, "coqdev AT inria.fr" <coqdev AT inria.fr>, Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] [coqdev] Save the Date: Coq Implementors Workshop 2018
Date: Wed, 21 Mar 2018 02:20:36 +0000 (UTC)
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jfehrle AT sbcglobal.net; spf=None smtp.mailfrom=jfehrle AT sbcglobal.net; spf=None smtp.helo=postmaster AT sonic307-15.consmr.mail.ne1.yahoo.com
Ironport-phdr: 9a23:4fhyUBd8spmw/QB6mOg2eL1tlGMj4u6mDksu8pMizoh2WeGdxcW5Yh7h7PlgxGXEQZ/co6odzbaO6Oa4ASQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTahb75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9LlgRgP2hygbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQds4YS2VcRMZcTyJPDIOmb4URDOQPIOlXoJXzp1UJthaxHxWgCfn0xTJSmnP736s32PkhHwHc2wwgGsoDvnDVrNXwKawcUf66zKnSzTXHcfxdxDDw6IrGch8/ofGMR7ZwftTKxEk0DAzKklqQqYjiPzyOzOsNt3KX7+x+WuKzkmMqrRx6rDaoxscpkIbJh4QVx0jL9SV43IY1JcC4R1VhbdG4F5tQsieXPJZ1TMM6W2xluSc3xqcbtZO6ciUG0okryhrDZ/CdfYWF4RTuX/uLLzhinnJqYre/ig6y8Ue+zu38UdG50E1NripDk9nDqn4A2wDR58SeV/dw/l2t1iqI1wDV8eFEJFo0mbDeK5E7w74wkoAfsULdESPrgkn3jLWZdkUj+uiv8ejofrLmppqEO491jAHxLLgul9S+DOk5KAQCQmmW9Oqm2LH++UD1XK9Gg/M1n6XBtZDVP8Ubpqq3Aw9P1YYj7g6yDzWo0NsGnXkHNlZFdwycgojyIF7BPP/4DfO4g1u3ijhrw+rKPrv/DZXRNnTDiqvufa5h605Azwo+1cxQ55VNCr0YPP3zXlLxu8fDAx8iMw20xv7nB89n2oMfX2KPGK6ZP7nIvV+G/OJ8a9WLMaocpCr9KvU4r8Xpn3IwhBdJeKC1wZsWZW3+BfN0LkyESXvqmNYIV2kQ6E52BuftkVGPTxZSYWyzVuQy/HtzXImhFIvOWKishqaA1WG1BMsSLktBExinFWriP9GPXO5JYyaPKOdglCYFXP6vUdly7xy2sB7GzO9FL++c1CAYr5bunIx36eDTjxU/3Sd+BMuZ1GuESydyk39eFBEs26Uqg014gnmO0bJ8jrQMF9Je5+lNXy8hP5XTy+twAtS0XA/dKITaAG26S8mrVGliBuk6xMUDNgMkQ43730LzmhGyCrpQrISlQZk986bSxX/0fpsv0HzN260mhVAiBM1CKT/+3/Itx03oH4fM1n6hueOyb61FgXzW/myMyW2EtUUeVgNsA/2cACIvI3DOpNG83XvsCr+jDbN8Y1lazsiDIfASNZiw0BNNQ/H4Pc6YZmuwnyG2CE/O17qMa42scGIYjn3Q

Hi Matthieu,

Can you say more about the format for the workshop, such as how much is presentations, how much is discussion? Can I suggest topics I'm interested in learning about and discussing (e.g. how to make Coq more powerful and easier to use; plans to improve documentation)? How many people do you expect to participate?

Perhaps there are wiki pages with the agendas of previous workshops?

Thanks,

Jim

From: Matthieu Sozeau <matthieu.sozeau AT inria.fr>
To: "coqdev AT inria.fr" <coqdev AT inria.fr>; Coq Club <coq-club AT inria.fr>
Sent: Monday, March 19, 2018 7:33 AM
Subject: [coqdev] Save the Date: Coq Implementors Workshop 2018

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:

https://github.com/coq/coq/wiki/Coq-Implementors-Workshop-2018

Best regards,

-- Matthieu Sozeau for the Coq Development Team

Re: [Coq-Club] [coqdev] Save the Date: Coq Implementors Workshop 2018, Jim Fehrle, 03/21/2018