posted by organizer: oleg_okmij || 905 views || tracked by 1 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: https://icfp21.sigplan.org/home/hope-2021
 
When Aug 22, 2021 - Aug 22, 2021
Where online
Submission Deadline May 6, 2021
Notification Due Jun 14, 2021
Categories    PL   programming language   design, implementation, theory
 

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, Oleg Kiselyov (oleg@okmij.org)
and Ohad Kammar (ohad.kammar@ed.ac.uk).


Program Committee

Anton Bachin USA
Eli Bingham Broad Institute, USA
Liron Cohen Ben Gurion Univeristy, Israel
Ohad Kammar (co-chair) University of Edinburgh, Scotland, UK
Jeehoon Kang KAIST, South Korea
Oleg Kiselyov (co-chair) Tohoku University, Japan
Andreas Rossberg DFinity Foundation, Germany
Kathrin Stark Princeton University, New Jersey, USA
Simon Thompson University of Kent / IOHK, England, UK

Related Resources

ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
SLE 2024   17th ACM SIGPLAN International Conference on Software Language Engineering
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
SNAM-Special Issue 2024   Datasets, Language Resources and Algorithmic Approaches on Online Wellbeing and Social Order in Asian Languages
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
PLDI 2024   The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
Ei/Scopus-ACAI 2024   2024 7th International Conference on Algorithms, Computing and Artificial Intelligence´╝łACAI 2024´╝ë