caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (DEADLINE EXTENSION)
@ 2022-06-01 17:20 Daniel Hillerström
  0 siblings, 0 replies; only message in thread
From: Daniel Hillerström @ 2022-06-01 17:20 UTC (permalink / raw)
  To: caml-list

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

The deadline has been extended by a week to enable more people to
submit their work. The new deadline is *Wednesday June 8, 2022 AoE*.

HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
September 11, 2022 (Sun), Ljubljana, Slovenia  (the day before ICFP 2022)

Call-for presentations https://icfp22.sigplan.org/home/hope-2022

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, Daniel Hillerström
(daniel.hillerstrom@ed.ac.uk<mailto:daniel.hillerstrom@ed.ac.uk>) and Oleg Kiselyov (oleg@okmij.org<mailto:oleg@okmij.org>).

* Deadline for talk proposals: **June       8th, 2022**  (Wednesday)
* Notification of acceptance:  **July      13th, 2022**  (Wednesday)
* Workshop:                    **September 11th, 2022**  (Sunday)

Program Committee

Jonathan Immanuel Brachthäuser   University of Tübingen, Germany
Edwin Brady                      University of St. Andrews, UK
Daniel Hillerström (co-chair)    University of Edinburgh, UK
Mauro Jaskelioff                 National University of Rosario, Argentina
Oleg Kiselyov      (co-chair)    Tohoku University, Japan
Sean Moss                        University of Oxford, UK
Maciej Piróg                     Huawei Research, UK
Taro Sekiyama                    National Institute of Informatics, Japan
Ningning Xie                     University of Cambridge, UK
Yizhou Zhang                     University of Waterloo, Canada

--
Kind regards
Daniel Hillerström

Find me in Informatics Forum office 5.28/1.

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.

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

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

only message in thread, other threads:[~2022-06-01 17:20 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-01 17:20 [Caml-list] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (DEADLINE EXTENSION) Daniel Hillerström

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).