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

EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
IJPLA 2022   International Journal of Programming Languages and Applications
PPoPP 2023   PPoPP 2023 : The 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
PLDI 2022   The 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation
ACM-Ei/Scopus-ITNLP 2022   2022 2nd International Conference on Information Technology and Natural Language Processing (ITNLP 2022) -EI Compendex
IJCAI-AIofAI 2022   2nd Workshop on Adverse Impacts and Collateral Effects of AI Technologies
IWoSR 2022   2022 International Workshop on Service Robotics (IWoSR 2022)
LCTES 2022   The 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
ECCSIT 2022   2022 European Conference on Computer Science and Information Technology (ECCSIT 2022)
POPL 2023   50th Symposium on Principles of Programming Languages