Soliciting talks and posters in PL and Verification to RHPL@FSTTCS 2024

Soliciting talks and posters in PL and Verification to RHPL@FSTTCS 2024

[Abhisekh Sankaran]

[-- Attachment #1: Type: text/plain, Size: 3055 bytes --]

Dear colleague,

As you may know, FSTTCS 2024 (https://www.fsttcs.org.in/2024/<https://url.au.m.mimecastprotect.com/s/nqWtCNLJxki0ZGlYRsmfpCyxI59?domain=fsttcs.org.in/>) 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/<https://url.au.m.mimecastprotect.com/s/q1X3COMK7YcpNyRDGTvh8CG0FGl?domain=fmindia.cmi.ac.in/>.

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<https://url.au.m.mimecastprotect.com/s/jCm0CP7L1NfK0kGBlS1i6CxCyEh?domain=forms.gle>.

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)



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 5266 bytes --]