- Nitin Saxena 0001, Sunil Simon, editors, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference). Volume 182 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.