[Agda] HOPE 2018: Deadline extension until June 15th

Filip Sieczkowski efes at cs.uni.wroc.pl
Mon Jun 11 17:17:11 CEST 2018


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180611/39785513/attachment.html>


More information about the Agda mailing list