coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] HOPE 2018: Deadline extension until June 15th

From: Filip Sieczkowski <efes AT cs.uni.wroc.pl>
To: coq-club AT inria.fr
Subject: [Coq-Club] HOPE 2018: Deadline extension until June 15th
Date: Mon, 11 Jun 2018 17:16:13 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=efes AT cs.uni.wroc.pl; spf=None smtp.mailfrom=efes AT cs.uni.wroc.pl; spf=None smtp.helo=postmaster AT mail-wm0-f48.google.com
Ironport-phdr: 9a23:lqc4rhNPOlKo8vLHfvol6mtUPXoX/o7sNwtQ0KIMzox0Lfn+rarrMEGX3/hxlliBBdydt6oZzbKO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxlIiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhSkHOTA383zZhNJsg69Auh2tuwZyzpTIbI2JNvdzeL7Wc9MARWpGW8ZcTyxPAoK4b4sOF+oKIPtWr4jjqFQSrBq+Bg6sBe30yj9Lh3/9wKo33PovEQ7YxwwtBM4BsG/OoNXoMqcSUPq5zafSzTXEc/xawy/96IzRfx0nvPqCU7Vwcc/LxkkuEQPIlk6QqY3qPzON0uQCqW6b4/BnVeK1hG4rswFxoj+zxsgwkInJnpgZxUzD9SV8xos+ON62SFZjbNOmH5ZcrTyWO5V2T884QGxkpjw2x7IFtJO9YSME0o4oxwTFZPyCa4WI4gzsVOKWITpggXJqYrO/hxKr/Umuz+3wStC40FhFoydGiNXMuXcN1xvc6siDVPRx5Fuu2TGK1wzL6+FEJ147lbbDJpMjzbM8jIcfvVrDEyPsm0j6krWae0on9+Sw7uToeLTmppuSN49ujQH+N7wjldKxAesmKQgDRHSU+f+m2L3++035Qa9Gj/MskqnerJ/WP9wbpqqhDw9Pzokj8wq/Dyuh0NkAgXYHK0tFdAubgIjtJlHBO+v1Dey/glSpiDdk3erKPrznApXXL3jMiq3tfbhn6x0U9A1mxtdGoplQF7spIfTpW0a3usaLIAU+NlmawuLmEJ1G144VS2GIHbSaMeuGvFGF/cokOK+RYo5Tpyz6IL4946i93jcChVYBcPzxjtMsY3eiE6E+ehTLUT/Xmt4EVFwykE87Re3uhkeFVGcNNX2pGb8653ckEoWtS5/HFNj03O6xmRyjF5gTXVhoT0iWGC62JY6fHeoKaWSNOMhq1CQAB+D4Ft0RkCq2vQq/8IJJa+rZ/ipC6MDm3dlxovLWzVQ8qWwyAMOa3GWACWpzmzFQSg==

Dear all,

The Workshop on Higher-Order Programming with Effects, colocated with ICFP

on September 23rd, hasn't received as many submissions as we would like.

We decided to extend the deadline to

June 15th, anywhere on earth.
submission link: http://icfp-hope18.hotcrp.com/

If you were considering submitting a presentation, you should now have
plenty of time to do so -- we ask for a PDF of around 2 pages.

If you were not considering a submission, maybe you should! HOPE is an

interesting forum to discuss all sorts of problems relevant to the ICFP community,

from tackling shared, mutable state in functional languages, to continuations,

algebraic effects and more.

See the Call for Presentations at

https://icfp18.sigplan.org/track/hope-2018-papers#Call-for-Presentations

and please write me an email if you have any question.

Thanks!

— Filip Sieczkowski

[Coq-Club] HOPE 2018: Deadline extension until June 15th, Filip Sieczkowski, 06/11/2018