To address the concerns of authors who may not want to travel this year, we guarantee that the option of presenting their paper remotely will be made .. Read more available to them no matter which form the conference takes (physical or online). This year, in track B, with a view to having sufficient representation in the program from "Foundations of Software Technology" we particularly solicit submissions in the areas of programming languages and practical verification, including, but not limited to,. The workshop will take place over two days concurrent with the main FSTTCS 2020 conference. 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.
- Share your Experience