caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] Final CFP HOPE 2018
@ 2018-06-04 15:55 Filip Sieczkowski
  0 siblings, 0 replies; 1+ messages in thread
From: Filip Sieczkowski @ 2018-06-04 15:55 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 2259 bytes --]

Dear Friends and Colleagues,

We have a great pleasure inviting you to participate in this year's edition
of the ACM SIGPLAN Workshop on Higher-Order Programming with Effects (
https://icfp18.sigplan.org/track/hope-2018-papers). The HOPE workshop
series are intended to bring together researchers interested in the design,
semantics, implementation, and verification of higher-order effectful
programs. They are *informal*, consisting of invited talks, contributed
talks on work in progress, and open-ended discussion sessions. They are
dedicated to John Reynolds, whose work is an inspiration to us all.

**Call for Presentations**

We solicit proposals for contributed talks. We recommend preparing
proposals of *at most 2 pages*, in PDF format. However, we will accept
longer proposals or submissions to other conferences, under the
understanding that PC members are only expected to read the first two pages
of such longer submissions. When submitting talk proposals, authors should
specify how long a talk the speaker wishes to give. By default, contributed
talks will be 30 minutes long, but proposals for shorter or longer talks
will also be considered. Speakers may also submit supplementary material
(e.g., a full paper, talk slides) if they desire, which PC members are free
(but not expected) to read.

We are interested in talks on all topics related to the interaction of
higher-order programming and computational effects. Talks about work in
progress are particularly encouraged. If you have any questions about the
relevance of a particular topic, please contact the PC chairs, Filip
Sieczkowski (efes@cs.uni.wroc.pl) and François Pottier (
francois.pottier@inria.fr).

** Submission link **

https://icfp-hope18.hotcrp.com/

**Important Dates**

* Deadline for talk proposals: June 8th, 2018 (Friday)
* Notification of acceptance:  July 8th, 2018 (Sunday)
* Workshop:  September 23, 2018 (Sunday)

— Best regards,

Filip Sieczkowski and François Pottier, PC co-chairs

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[-- Attachment #2: Type: text/html, Size: 4029 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-06-04 15:55 [Caml-list] Final CFP HOPE 2018 Filip Sieczkowski

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox