posted by organizer: oleg_okmij || 1275 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

ML Family 2023   Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
IEEE Xplore-Ei/Scopus-CSPIT 2023   2023 Asia Conference on Communications, Signal Processing and Information Technology (CSPIT 2023) -EI Compendex
PLDI 2024   The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
IEEE Xplore-Ei/Scopus-DMCSE 2023   2023 International Conference on Data Mining, Computing and Software Engineering (DMCSE 2023) -EI Compendex
ASPLOS 2024   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Fall)
IEEE Xplore-Ei/Scopus-CACEE 2023   2023 International Conference on Automation, Control and Electronics Engineering (CACEE 2023) -EI Compendex
SLE 2023   16th ACM SIGPLAN International Conference on Software Language Engineering
ICDM 2024   24th Industrial Conference on Data Mining
OCaml 2023   The OCaml Users and Developers Workshop
IEEE Xplore-Ei/Scopus-AICME 2023   2023 International Conference on Artificial Intelligence, Communications and Mechatronics (AICME 2023) -EI Compendex