IARCS, the Indian Association for Research in Computing Science, announces the 38th Foundations of Software Technology and Theoretical Computer Science conference at the Ahmedabad University, in Ahmedabad, Gujarat. The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

Representative areas include, but are not limited to, the following.

Submissions must be in electronic form via ​EasyChair using the ​LIPIcs LaTeX style file.  Submissions must not exceed 12 pages (excluding bibliography), but may  include a clearly marked appendix containing technical details. The appendix  will be read only at the discretion of the program committee. Simultaneous  submissions to journals or other conferences with published proceedings are  disallowed.

Accepted papers will be published as proceedings of the conference in  the ​Leibniz International Proceedings in Informatics (LIPIcs)​ as a free, open,  electronic archive with access to all. Authors will retain full rights over their  work. The accepted papers will be published under a ​CC-BY license​. For an accepted paper to be included in the proceedings, one of the authors must  commit to presenting the paper at the conference. 

• Abstract Submission deadline(Revised): July 24, 2018 AOE

• Full Paper Submission deadline(Revised): July 31, 2018 AOE

• Notification to Authors: September 24, 2018 AOE 

• Deadline for camera-ready papers: October 05, 2018 AOE

• Early registration for conference ends on: October 31, 2018 IST

• Regular registration for conference ends on: December 05, 2018 IST

To register click here.

• Ola Svensson (EPFL, Lausanne, Switzerland)

• Santosh Vempala (Georgia Institute of Technology, USA)

• Rupak Majumdar (Max Planck Institute for Software Systems, Kaiserslautern, Germany)

• Aravinda Prasad Sistla (The University of Illinois, Chicago)

Trends in Transformations. December 10, 2018.
Co-ordinators: Paul Gastin and S.Krishna
Click here to go to the workshop page.

• Deepak D'Souza (Indian Institute of Science, Bangalore, India)

• K Narayan Kumar (CMI, Chennai, India)

• Manindra Agrawal (Indian Institute of Technology, Kanpur, India)

• Meena Mahajan (Institute of Mathematical Sciences, Chennai, India) chair

• Naveen Garg (Indian Institute of Technology, Delhi, India)

• Supratik Chakraborty (Indian Institute of Technology, Bombay, India)

• Ahmed Bouajjani (Paris Diderot University, France)

• Alessandro Cimatti (Fondazione Bruno Kessler, Trento, Italy)

• Alexander Rabinovich (Tel-Aviv University, Israel)

• Amit Deshpande (Microsoft Research, Bangalore, India)

• Anand Louis (Indian Institute of Science, Bangalore, India)

• Anirban Dasgupta (Indian Institute of Technology, Gandhinagar, India)

• Anupam Gupta (Carnegie Mellon University, USA)

• Chaitanya Swamy (University of Waterloo, Canada)

• Chandra Chekuri (University of Illinois, Urbana-Champaign, USA)

• Jean-Francois Raskin (ULB, Belgium)

• Jugal Garg (University of Illinois, Urbana-Champaign, USA)

• K Narayan Kumar (CMI, Chennai, India )

• Krishnendu Chatterjee (IST, Austria )

• Krzysztof Onak (IBM Research, NY, USA)

• Mahesh Viswanathan (University of Illinois, Urbana-Champaign, USA)

• Meena Mahajan (Institute of Mathematical Sciences, Chennai, India)

• Michael Kapralov (École Polytechnique Fédérale de Lausanne, Switzerland)

• Naveen Garg (Indian Institute of Technology, Delhi, India)

• Neeldhara Misra (Indian Institute of Technology, Gandhinagar, India)

• Neeraj Kayal (Microsoft Research, Bangalore, India)

• Nisheeth Vishnoi (École Polytechnique Fédérale de Lausanne, Switzerland)

• Nitin Saxena (Indian Institute of Technology, Kanpur, India)

• Nutan Limaye (Indian Institute of Technology, Bombay, India)

• Paritosh Pandya (TIFR, Mumbai, India) Co-chair

• Paul Gastin (LSV Cachan, France )

• Piyush Srivastava (Tata Institute of Fundamental Research, Bombay, India)

• Prahladh Harsha (Tata Institute of Fundamental Research, Bombay, India)

• R Ramanujam (Institute of Mathematical Sciences, Chennai, India)

• Raghunath Tewari (Indian Institute of Technology, Kanpur, India)

• Saket Saurabh (Institute of Mathematical Sciences, Chennai, India)

• Sandeep Shukla (Indian Institute of Technology, Kanpur, India)

• Sanjiva Prasad (Indian Institute of Technology, Delhi, India)

• Seeun Umboh (University of Sydney, Australia)

• Siddharth Barman (Indian Institute of Science, Bangalore, India)

• Subodh Sharma (Indian Institute of Technology, Delhi, India)

• Sumit Ganguly (Indian Institute of Technology, Kanpur, India) co-chair

• Sunil Simon (Indian Institute of Technology, Kanpur, India)

• Supratik Chakraborty (Indian Institute of Technology, Bombay, India)

• Thomas Thierauf (Ulm University, Germany)

• Yossi Azar (Tel-Aviv University, Israel)

• Anurag Lakhlani (Ahmedabad University)

• Barbara Morawska (Ahmedabad University)

• Dhaval Patel (Ahmedabad University)

• Mazad Zaveri (Ahmedabad University)

• Mehul Raval (Ahmedabad University)co-chair

• Pratik Trivedi (Ahmedabad University)

• Ratnik Gandhi (Ahmedabad University) co-chair

• Sanjay Chaudhary (Ahmedabad University)