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

Sunil Simon simon at cse.iitk.ac.in
Fri Dec 4 23:53:17 IST 2020

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>


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)

More information about the FMIndia mailing list