5 Sep
2023
5 Sep
'23
4:23 p.m.
Dear colleague,
The deadline for RHPL@FSTTCS has been extended to September 25, 2023 (AOE).
The CFP for the workshop is included below. We look forward to receiving your talk
proposals.
Best regards,
RHPL@FSTTCS organizing committee
---------------------------------------------------------------------------------------------
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)