16 Sep
2024
16 Sep
'24
8:49 p.m.
Dear colleague,
As you may know, FSTTCS 2024 (https://www.fsttcs.org.in/2024/) is going to
be held in IIT Gandhinagar during 16-18 December. 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.
In continuation from last year, this year too co-located with the main
FSTTCS conference, 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.
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. Please visit the webpage
for more details: https://fmindia.cmi.ac.in/rhpl2024/
We solicit
(1) Talk proposals: On recent work that has been published in good venues,
or is mature in terms of approach and evaluation.
(2) Poster proposals: 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: October 15, 2024 (AoE)
Notification: October 25, 2024
RHPL@FSTTCS: December 16-18, 2024
We look forward to receiving your talk/poster proposals to 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)