posted by organizer: oleg_okmij || 909 views || tracked by 2 users: [display]

HOPE 2022 : ACM SIGPLAN Workshop on Higher-Order Programming with Effects

FacebookTwitterLinkedInGoogle

Link: https://icfp22.sigplan.org/home/hope-2022
 
When Sep 11, 2022 - Sep 11, 2022
Where Ljubljana, Slovenia
Submission Deadline Jun 1, 2022
Notification Due Jul 13, 2022
Categories    computer science   programming languages   SIGPLAN
 

Call For Papers

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) and Oleg Kiselyov (oleg@okmij.org).

Related Resources

SLE 2023   16th ACM SIGPLAN International Conference on Software Language Engineering
EI-CFAIS 2023   2023 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2023)
ICFP 2023   The 28th ACM SIGPLAN International Conference on Functional Programming
ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
OOPSLA (R2) 2023   The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity - Round 2
ACM-EI/Scopus-ITCC 2023   2023 3rd International Conference on Information Technology and Cloud Computing (ITCC 2023) -EI Compendex
ICESS 2023   ACM--2023 The 5th International Conference on Education and Service Sciences (ICESS 2023)
IEEE Xplore-Ei/Scopus-CCCAI 2023   2023 International Conference on Communications, Computing and Artificial Intelligence (CCCAI 2023) -EI Compendex
ICDEL 2023   ACM--2023 the 8th International Conference on Distance Education and Learning (ICDEL 2023)
ECCSIT 2023   2023 European Conference on Computer Science and Information Technology (ECCSIT 2023)