[TYPES/announce] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP)
Daniel Hillerström
daniel.hillerstrom at ed.ac.uk
Wed Apr 27 07:06:21 EDT 2022
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://urldefense.com/v3/__https://icfp22.sigplan.org/home/hope-2022__;!!IBzWLUs!RmTbJowFh1AIrQC498Zwav_R8Yye4a9iF5uXNBez-y-MwzCUozi10r1UBeyfSgpO_-9fHlWKwYwJjO61vU7H69UTrAG1VG7aKZF1gIDYkEY$
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 at ed.ac.uk<mailto:daniel.hillerstrom at ed.ac.uk>) and Oleg Kiselyov (oleg at okmij.org<mailto:oleg at okmij.org>).
* 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
--
Kind regards
Daniel Hillerström
Find me in Informatics Forum<https://urldefense.com/v3/__https://www.google.co.uk/maps/place/Informatics*Forum/@55.944781,-3.187282,15z/data=*214m2*213m1*211s0x0:0xb8b2415ee37c6dd4?sa=X&ved=0CGkQ_BIwC2oVChMI95qg5f6AyAIVRPEUCh1MEgNK__;KyUlJQ!!IBzWLUs!RmTbJowFh1AIrQC498Zwav_R8Yye4a9iF5uXNBez-y-MwzCUozi10r1UBeyfSgpO_-9fHlWKwYwJjO61vU7H69UTrAG1VG7aKZF1MRh0hkA$ > 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220427/49d6331e/attachment-0001.htm>
More information about the Types-announce
mailing list