[FM-India] FSTTCS 2020 - Final Call for Participation

[Sunil Simon]

FSTTCS 2020 - Final Call for Participation
=====================================

Conference dates: December 15 - 17, 2020

Registration Deadline: 8 December 2020


FSTTCS 2020 is the 40th conference on Foundations of Software Technology and Theoretical Computer Science. It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.               

Due to the COVID-19 pandemic, FSTTCS 2020 will be held online. 

=================
Invited Speakers
=================


* Sanjeev Arora, Princeton University
* Albert Atserias, Universitat Politècnica de Catalunya
* Yin Tat Lee, University of Washington
* Joël Ouaknine, MPI for Software Systems, Saarbrücken and University of Oxford
* Sanjit Seshia, University of California, Berkeley
* Amir Shpilka, Tel Aviv University


=====================
Conference Programme
=====================


FSTTCS 2020 features 52 high-quality papers. The detailed conference programme is available at:


https://www.fsttcs.org.in/2020/program.php <https://www.fsttcs.org.in/2020/program.php>


====================================
Workshops and Co-located Events
====================================


Track A workshop

Title: Workshop on Matrix Rigidity
Dates: December 13 - 14, 2020


Track B workshops

Title: Strategies for Uncertainty (SUN)
Dates: December 13 - 14, 2020


Title: Advances in Verification
Date: December 18, 2020


Co-located event

Title: Workshop on Research Highlights in Programming Languages
Dates: December 15 - 17, 2020


More details about the workshops and the co-located event can be found at:

https://www.fsttcs.org.in/2020/#workshops <https://www.fsttcs.org.in/2020/#workshops>


=============
Registration
=============

This year there is a common registration for FSTTCS 2020, the satellite workshops and the co-located event. The fee for basic registration is INR 1000 (approximately 12 Euros or 14 Dollars). The deadline for registration is November 30, 2020. 


https://www.fsttcs.org.in/2020/#register <https://www.fsttcs.org.in/2020/#register>


=====================
Organising Committee
=====================

* A Baskar (BITS Pilani, K K Birla Goa Campus)
* Pritam Bhattacharya (BITS Pilani, K K Birla Goa Campus)
* Amaldev Manuel (IIT Goa)
* Anup Basil Mathew (BITS Pilani, K K Birla Goa Campus)
* A V Sreejith (IIT Goa)

Program Co-chairs:

* Nitin Saxena (IIT Kanpur)
* Sunil Simon (IIT Kanpur)