TCS Confidential ============================================================= CALL FOR PROPOSALS RHPL@FSTTCS 2026: Workshop on Research Highlights in Programming Languages + Dates: December 16 - 18, 2026 + Venue: IIT Delhi, co-located with FSTTCS 2026 + Website: https://fmindia.cmi.ac.in/rhpl2026/ + Submission link: https://forms.fillout.com/t/7ePHh773f2us + Submission deadline: September 28, 2026 IST ============================================================= Dear Colleague, As you may know, FSTTCS 2026 (https://www.fsttcs.org.in/2026/) will be held at IIT Delhi (https://home.iitd.ac.in/) during December 16 - 18, 2026. The conference is organized by IARCS, the Indian Association for Research in Computing Science (https://www.iarcs.org.in/), in association with ACM India (https://india.acm.org/). It is a very visible forum for presenting original results in foundational aspects of computer science and software technology. As in previous years, the Workshop on Research Highlights in Programming Languages (RHPL) will be co-located with the main FSTTCS conference. The focus of the workshop will be on all areas of programming languages. The workshop is organized jointly this year by IARCS and iPLAN (the India Chapter of ACM SIGPLAN; https://india.acm.org/chapters). The objective of RHPL is to foster interactions between researchers working on programming languages and the traditional FSTTCS community of researchers working on theoretical computer science and formal methods. We invite proposals for: + Talks: based on recent work that has been published in reputed venues, or is mature in terms of approach and evaluation. + Posters: - Regular: Based on early ideas that are promising but have not been developed fully. Selections of these proposals will be made based on the promise of research possibilities and their novelty. - Student: Based on unpublished work at any stage. Selected proposals will be included in a Student Poster Competition that will be judged by a panel of experts. More details on the submission topics, submission guidelines and the poster competition can be found below. --------------- Websites: --------------- RHPL 2026: https://fmindia.cmi.ac.in/rhpl2026/ RHPL 2025: https://fmindia.cmi.ac.in/rhpl2025/ ============= Important Dates ============= All dates below are in Indian Standard Time (IST). - Submission portal opens: August 21, 2026 - Submission deadline: September 28, 2026 - Notification: October 7, 2026 - Early registration deadline: TBA - RHPL@FSTTCS: December 16 - 18, 2026 =============== Submission Topics =============== The submission topics include, but are not limited to, the following: - Applied formal methods - Automated and interactive theorem provers - Compilers - Concurrency and memory models - Domain and type theories - Program analysis and verification - Program sketching, synthesis, and repair - Programming language design and semantics Further, in view of the increasing role of Artificial Intelligence (AI) and Machine Learning (ML) in PL theory and practice, the workshop explicitly includes in its scope themes at this intersection. Of particular interest are the roles of Large Language Models (LLMs) in PL, such as in design and code synthesis, as well as broader mutual influences between AI/ML and PL; for instance, probabilistic programming languages. ==================== Student Poster Competition ==================== We invite students at all stages, from undergraduate to PhD, to submit poster proposals based on their unpublished work. For graduate students, only individual work is allowed to be presented. If the work is being done as part of a group, then the presenters must focus on their individual contributions. Undergraduates can present their individual work and also work done in (undergraduate) team projects. The evaluation of the posters will be on the basis of the technical strength of the work, the presenter's awareness of related literature, and the quality of the poster and presentation. The results will be announced on the RHPL 2026 website following the competition. ================ Submission Guidelines ================ Proposals to the workshop may be submitted using the form below. https://forms.fillout.com/t/7ePHh773f2us Proposals for talks may be based on published or unpublished work. Proposals for posters are only for unpublished work. For both formats, submissions may present either a single study, such as in an individual paper or an unpublished manuscript, or a body of research. Multiple proposal submissions are allowed. Each proposal must be submitted as a single PDF file. Any reasonable style file can be chosen. The proposal page limits are as below; the page counts exclude references. Appendices are to be avoided, and references may contain pointers to papers, preprints, technical reports, or manuscripts under progress that the proposal is based on. + Talks: - Proposals based on work that is published: 2 pages - Proposals based solely on unpublished work: 4 pages + Posters: - Regular (non-student) proposals: 2 pages - Student proposals: 4 pages Talk proposals based on unpublished work and student poster proposals will be provided short referee reports along with their decision notifications. There are no publications of the workshop. Accepted proposals may be compiled into a booklet of abstracts/proposals to be made available on the RHPL 2026 website. ======= Contact ======= For any queries, feel free to write to us at the email addresses below. - pankaj.kumar.kalita@ibm.com<mailto:pankaj.kumar.kalita@ibm.com> - abhisekh.sankaran@tcs.com<mailto:abhisekh.sankaran@tcs.com> We look forward to receiving your talk/poster proposals to the workshop. On behalf of the RHPL@FSTTCS workshop organizing committee: Pankaj Kumar Kalita (IBM Research) (co-Chair) Abhisekh Sankaran (TCS Research) (co-Chair) Deepak D'Souza (IISc Bangalore) Uday Khedker (IIT Bombay) Kumar Madhukar (IIT Delhi) Kartik Nagar (IIT Madras) Ganesan Ramalingam (Microsoft) Abhik Roychoudhury (National University of Singapore) Divyesh Unadkat (Synopsys) =====-----=====-----===== Notice: The information contained in this e-mail message and/or attachments to it may contain confidential or privileged information. If you are not the intended recipient, any dissemination, use, review, distribution, printing or copying of the information contained in this e-mail message and/or attachments to it are strictly prohibited. If you have received this communication in error, please notify us by reply e-mail or telephone and immediately and permanently delete the message and any attachments. Thank you