# 重複して受けとられた方はご容赦ください

みなさま

国立情報学研究所の関山です。

ICFP 2022 併設ワークショップ HOPE の発表募集の案内をお送りいたします。 HOPE では高階プログラムとエフェクト(計算効果)に関連する、未完成の研究を含む幅広い発表を募集しています。 投稿締切は 6/1、ワークショップは 9/11 の開催を予定しています。

みなさまの投稿をお待ちしておりますので、ご検討のほどよろしくお願いいたします。

-- 国立情報学研究所 関山 太朗

======

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 ([email protected]) and Oleg Kiselyov ([email protected]).

* Deadline for talk proposals: **June 1st, 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