posted by organizer: oleg_okmij || 837 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
PLDI 2024   The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
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
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
ACM CIIS 2024   ACM--2024 7th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2024)
ACM AICCC 2024   ACM--2024 7th Artificial Intelligence and Cloud Computing Conference (AICCC 2024)
SNAM-Special Issue 2024   Datasets, Language Resources and Algorithmic Approaches on Online Wellbeing and Social Order in Asian Languages
SIGMETRICS / Performance 2024   2024 ACM SIGMETRICS / IFIP Performance
BDCAT 2024   IEEE/ACM Int’l Conf. on Big Data Computing, Applications, and Technologies
UCC 2024   The IEEE/ACM International Conference on Utility and Cloud Computing