Workshop on Research Highlights in Programming Languages


The Indian Association for Research in Computing Science (IARCS) announces the inaugural Workshop on Research Highlights in Programming Languages. The workshop will take place over 2 days concurrent with the main FSTTCS conference scheduled to be held Dec. 15 – Dec. 17 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 starting this 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. In the long term we hope that this will evolve into a regular conference or a track integrated with the FSTTCS conference.


Call for proposals:

We solicit talk proposals for recent work that has been published in good venues, or is mature in terms of approach and evaluation. The duration of each talk will be around 30 minutes. The proposal should highlight the novel research contribution, and its relevance to the target community.

Submit your proposals here: Submission Page

Submission deadline : Wednesday 30 September 2020 (AoE)


Attending the Workshop:

There is no separate registration fees for the workshop. It will be open to all the attendees of FSTTCS.



Deepak D’Souza (Indian Institute of Science)

Uday P. Khedkar (Indian Institute of Technology – Bombay)

K. Narayan Kumar (Chennai Mathematical Institute)

K.V. Raghavan (Indian Institute of Science)

Aseem Rastogi (Microsoft Research, India)



Please contact Raghavan ( or Aseem ( if you have any questions.

COVID-19 Update

COVID-19 policy for the workshop is same as that of the main FSTTCS conference. We are making backup plans for an online workshop. For presenters who may not want to travel this year, we guarantee the option of presenting their talk remotely no matter which form (physical or online) the workshop takes.