[FM-India] soliciting talk proposals to Workshop on Research Highlights in Programming Languages

Madhavan Mukund madhavan at cmi.ac.in
Thu Sep 17 17:19:43 IST 2020

----- Forwarded message from K V Raghavan <raghavan at iisc.ac.in> -----

Date: Thu, 17 Sep 2020 16:27:58 +0530
From: K V Raghavan <raghavan at iisc.ac.in>
To: fmindia at cmi.ac.in
Subject: soliciting talk proposals to Workshop on Research Highlights in
 Programming Languages

FSTTCS 2020 is the 40th conference on Foundations of Software Technology
and Theoretical Computer Science. It is organised by IARCS, the Indian
Association for Research in Computing Science. It is a very visible forum
for presenting original results in foundational aspects of Computer Science
and Software Technology. Papers are in two tracks. Track A covers all
aspects of algorithms and theoretical computer science, while Track B
covers all aspects of formal methods, programming languages, program
analysis and verification, reactive and functional synthesis, as well
theorem proving and decision procedures.

More information about FSTTCS 2020 is available here:


This year, co-located with the main FSTTCS conference, IARCS is also
organizing the inaugural Workshop on Research Highlights in Programming
Languages.  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.

We solicit talk proposals for presenting recent work that has been
published in good venues, or is mature in terms of approach and evaluation.
More information about the workshop and about submitting talk proposals is
available here:


This year the conference and workshop both will occur in online fashion
(with remote presentations).

We look forward to receiving your talk proposal to this workshop. The
deadline for submitting your proposal is Sep. 30th 2020 (Anywhere on Earth

With regards,

Komondoor V Raghavan

on Behalf of FSTTCS program committee and the workshop organizing committee

----- End forwarded message -----

More information about the FMIndia mailing list