[FM-India] FSTTCS 2020 - Call for Participation
Sunil Simon
simon at cse.iitk.ac.in
Fri Nov 20 18:44:49 IST 2020
FSTTCS 2020 - Call for Participation
=====================================
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
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
=============
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)
More information about the FMIndia
mailing list