=====================================
Conference dates: December 15 - 17, 2020
Registration Deadline: 30 November 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
====================================
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
Dates: 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
=============
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
=====================
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)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
