RHPL 2024 solicits proposals for:

• Talks  — based on recent work that has been published in good venues, or is mature in terms of approach and evaluation, and
• Poster presentations  — based on early ideas that are promising but have not been developed fully.

The scope of RHPL spans all areas of Programming Languages, including but not limited to program analysis and verification, applied formal methods, and compilers.

Please submit your entries using this Google form. The submission deadline is October 15 October 22 (AoE).