caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] [CFP] HOPE'21: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
@ 2021-03-20  8:06 Oleg
  0 siblings, 0 replies; only message in thread
From: Oleg @ 2021-03-20  8:06 UTC (permalink / raw)
  To: caml-list

HOPE'21: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
August 22nd, 2021 (Sun), ONLINE    (immediately after main ICFP)

Call-for presentations

HOPE is an established informal workshop bringing together researchers
interested in the design, semantics, implementation, and verification
of higher-order effectful programs. Talks about work in progress are
particularly encouraged.  It has been held since 2012 in affiliation
with ICFP.

We solicit proposals for contributed talks, in plain text or PDF
format. The motivation, the problem to solve, accomplished and
anticipated results should be clear from two first pages of the
submission. By default contributed talks are about 30 minutes long;
proposals for shorter or longer talks will also be
considered. Speakers may also submit supplementary material (e.g. a
full paper, talk slides), which PC members are free (but not expected)
to read. If you have any questions about the relevance of a particular
topic, please contact the PC chairs, Oleg Kiselyov (
and Ohad Kammar (

* Deadline for talk proposals: **May     6th, 2021**  (Thursday)
* Notification of acceptance:  **June   14th, 2021**  (Monday)
* Workshop:                    **August 22nd, 2021**  (Sunday)

Program Committee

Anton Bachin               USA
Eli Bingham                Broad Institute, USA
Liron Cohen                Ben Gurion Univeristy, Israel
Ohad Kammar   (co-chair)   University of Edinburgh, Scotland, UK
Jeehoon Kang               KAIST, South Korea
Oleg Kiselyov (co-chair)   Tohoku University, Japan
Andreas Rossberg           DFinity Foundation, Germany
Kathrin Stark              Princeton University, New Jersey, USA
Simon Thompson             University of Kent / IOHK, England, UK

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-03-20  8:01 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-03-20  8:06 [Caml-list] [CFP] HOPE'21: ACM SIGPLAN Workshop on Higher-Order Programming with Effects Oleg

caml-list - the Caml user's mailing list

This inbox may be cloned and mirrored by anyone:

	git clone --mirror
	git clone --mirror

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 caml-list caml-list/ \
	public-inbox-index caml-list

Example config snippet for mirrors.
Newsgroup available over NNTP:

AGPL code for this site: git clone