* RHPL@FSTTCS 2024: Call for submissions and participation
@ 2024-10-16 4:34 Abhisekh Sankaran
0 siblings, 0 replies; only message in thread
From: Abhisekh Sankaran @ 2024-10-16 4:34 UTC (permalink / raw)
To: categories
[-- Attachment #1: Type: text/plain, Size: 2896 bytes --]
Dear colleague,
As you may know, co-located with FSTTCS 2024 (https://www.fsttcs.org.in/2024/<https://url.au.m.mimecastprotect.com/s/VK5iCvl1g2S7OxZ8KfotLFQKAQ_?domain=fsttcs.org.in>), 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/<https://url.au.m.mimecastprotect.com/s/_naJCp81gYCnQmZoKSDh1FG-NMU?domain=fmindia.cmi.ac.in/>
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<https://url.au.m.mimecastprotect.com/s/nxf4Cq71jxf8LZvNlfQi9FEIQZw?domain=fmindia.cmi.ac.in>
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<https://url.au.m.mimecastprotect.com/s/0CETCr810kC8wEOZofysxF4sNWt?domain=forms.gle>
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)
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: 5014 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2024-10-16 4:41 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-10-16 4:34 RHPL@FSTTCS 2024: Call for submissions and participation Abhisekh Sankaran
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).