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

PLDI 2022   The 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation
Beyond First Order Methods in ML- ICML 2021   ICML 2021 Workshop: Beyond First Order Methods in Machine Learning
PPoPP 2022   The 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
ACM--ICDEL--Ei Compendex, Scopus 2022   ACM--2022 the 7th International Conference on Distance Education and Learning (ICDEL 2022)--Ei Compendex, Scopus
ACM--ICMLT--Ei and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
ASIACCS 2022   ACM Symposium on Information, Computer and Communications Security
ECOOP 2022   European Conference on Object-Oriented Programming
ASPLOS 2022   27th International Conference on Architectural Support for Programming Languages and Operating Systems
ICMLT--ACM, Ei Compendex and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
OOPSLA 2022   The ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity