Association for Research in Computing Science
(IARCS) announces the second workshop on Research
Highlights in Programming Languages. The workshop will take
place over 3 days concurrent with FSTTCS 2023 scheduled to be
held Dec. 18—20 2023. The focus of this workshop
(RHPL@FSTTCS) will be on all areas of Programming Languages,
including but not limited to program analysis and verification,
applied formal methods, and compilers. The inaugural edition of RHPL@FSTTCS was held in 2020.
The objective of this workshop is to foster interactions between the attendees of the workshop, and more broadly between researchers working on programming languages and the traditional FSTTCS community of researchers working on theoretical computer science and formal methods. To facilitate this, we invite talk proposals for recent work that has been published in reputed venues, or is mature in terms of approach and evaluation.
In the long term we hope that RHPL will evolve into a regular conference or a track integrated with the FSTTCS conference.