[Agda] Numerical Methods in Functional Programming (CfP)

[dominic at steinitz.org]

I’m the chair this year for the first(!) ACM SIGPLAN International Workshop on Numerical Programming in Functional Languages (NPFL), which will be co-located with ICFP this September in St. Louis, Missouri, USA.

Please consider submitting something! All you have to do is submit between half a page and a page describing your talk. There will be no proceedings so all you need do is prepare your slides or demo. We do plan to video the talks for the benefit of the wider world.

We have Eva Darulova <https://people.mpi-sws.org/%7Eeva/> giving the keynote.

The submission deadline is Friday 13th July but I and the Committee would love to see your proposals earlier.

See here <https://icfp18.sigplan.org/track/npfl-2018-papers> for more information. Please contact me if you have any questions!

Dominic Steinitz
dominic at steinitz.org
http://idontgetoutmuch.wordpress.com
Twitter: @idontgetoutmuch



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180513/369591ca/attachment.html>