[FM-India]Soliciting talks in PL and Verification to RHPL@FSTTCS 2023

Dear colleague, As you may know, FSTTCS 2023 is the 43rd conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS, the Indian Association for Research in Computing Science in association with ACM India. It is a very visible forum for presenting original results in foundational aspects of Computer Science and Software Technology. This year, co-located with the main FSTTCS conference, IARCS is also organizing the Workshop on Research Highlights in Programming Languages (RHPL@FSTTCS), whose inaugural edition was held in 2020. The focus of the workshop will be on all areas of Programming Languages, including but not limited to Program Analysis and Verification, Applied Formal Methods, and Compilers. The objective of the 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. We solicit talk proposals for recent work that has been published in good venues, or is mature in terms of approach and evaluation. More information about the workshop and about submitting talk proposals is available here: https://fmindia.cmi.ac.in/rhpl/index.html We look forward to receiving your talk proposals to this workshop. On Behalf of the RHPL@FSTTCS workshop organizing committee: Deepak D'Souza (IISc Bangalore) Uday Khedker (IIT Bombay) Kumar Madhukar (IIT Delhi) (Organizing Co-Chair, RHPL 2023) Kartik Nagar (IIT Madras) (Organizing Co-Chair, RHPL 2023) Ganesan Ramalingam (Microsoft) Aseem Rastogi (Microsoft Research, Bangalore) Abhik Roychoudhury (National University of Singapore) Abhisekh Sankaran (Tata Consultancy Services Research, Pune)