15 Oct
2024
15 Oct
'24
3:58 p.m.
Dear colleague,
As you may know, co-located with FSTTCS 2024 (
https://www.fsttcs.org.in/2024/), IARCS is organizing a Workshop on
Research Highlights in Programming Languages (RHPL@FSTTCS). 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. Please visit the webpage for more details:
https://fmindia.cmi.ac.in/rhpl2024/
The objective of RHPL 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.
Click here to register: https://fmindia.cmi.ac.in/rhpl2024/attend.html
We solicit proposals for
(1) Talks -- on recent work that has been published in good venues, or is
mature in terms of approach and evaluation, and
(2) Posters -- 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.
You may submit a proposal using this Google form:
https://forms.gle/B3sj8xu4hrCKar2M9
The important dates are as below.
Submission deadline (extended): October 22, 2024 (AoE)
Notification: October 25, 2024
Early-bird registration deadline: November 15, 2024 (AoE)
RHPL@FSTTCS: December 16-18, 2024
We look forward to your participation in the workshop.
On behalf of the RHPL@FSTTCS workshop organizing committee:
Deepak D'Souza (IISc Bangalore)
Uday Khedker (IIT Bombay)
Kumar Madhukar (IIT Delhi) (Co-Chair)
Kartik Nagar (IIT Madras)
Ganesan Ramalingam (Microsoft)
Aseem Rastogi (Microsoft Research)
Abhik Roychoudhury (National University of Singapore)
Abhisekh Sankaran (Tata Consultancy Services Research)
Divyesh Unadkat (Synopsys) (Co-Chair)