IARCS, the Indian Association for Research in Computing Science, announces the 38thFoundations of Software Technology and Theoretical Computer Science conference at
Ahmedabad University, Ahmedabad, Gujarat. The FSTTCS conference is a forum forpresenting original results in foundational aspects of Computer Science and Software
Technology.
Representative areas include, but are not limited to, the following.
●
●
●
●
●
●
●
●
●
●
●
●
●
●
●
●
●

Algorithmic Algebra
Algorithms and Data Structures
Algorithmic Graph Theory andCombinatorics
Approximation Algorithms
Automata, Games and Formal
Languages
Combinatorial Optimization
Communication ComplexityComputational Biology
Computational Complexity
Computational Geometry
Computational Learning
TheoryCryptography and Security
Data Streaming and Sublinear
algorithm
Game Theory and Mechanism
DesignLogic in Computer Science
Machine Learning
Quantum Computing

●
●
●
●
●
●
●
●
●
●
●
●
●

Model Theory, Modal and TemporalLogics
Models of Concurrent and Distributed
Systems
Models of Timed, Reactive, Hybrid andStochastic Systems
Parallel, Distributed and Online
Algorithms
Parameterized Complexity
Principles and Semantics ofProgramming Languages
Program Analysis and Transformation
Proof Complexity
Quantum Computing
Randomness in Computing
Specification, Verification, andSynthesisTheorem Proving, Decision Procedures,
Model Checking and Reactive Synthesis
Theoretical Aspects of Mobile andHigh-Performance Computing

Accepted Papers
View the Accepted Papers.
Click Here To Download PDF.

Submissions
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 clearlymarked appendix containing technical details. The appendix will be read only at thediscretion of the program committee. Simultaneous submissions to journals or otherconferences 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 withaccess 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.

Important Dates
Abstract Submission Deadline(Revised): July 24, 2018 AOE
Full Paper Submission Deadline(Revised): July 31, 2018 AOE
Notification to Authors: September 24, 2018 AOE
Camera-ready version submission: October 05, 2018 AOE

Invited Speakers


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)

Workshops
Trends in Transformations. December 10, 2018.
Coordinators: Paul Gastin and S.N. Krishna
Click here to go to the workshop page.

Algorithmic Contest
To make FSTTCS more appealing to students there will be an algorithmic contest as part ofthe conference. The contest will be held in co-ordination with Algo Muse and is fully online.
Algo Muse was started in 2010 by theory student-group of IIT Bombay. Since then they haveconducted many contests and FSTTCS is happy to support this initiative. We hope attendees
will find time to ponder over the puzzles during the event. There are also exciting prizes for
top performers! Please visit the contest website.
Note: Interested participants are requested to submit the answers on the above mentioned
link latest by 12th December'18.
Click here to submit.

Steering Committee
 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)

Program Committee 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)

Organizing Committee Anurag Lakhlani (Ahmedabad University) Barbara Morawska (Ahmedabad University)
 Dhaval Patel (Ahmedabad University)
 Mazad Zaveri (Ahmedabad University) co-chair Mehul Raval (Ahmedabad University) Pratik Trivedi (Ahmedabad University) Ratnik Gandhi (Ahmedabad University) co-chair Sanjay Chaudhary (Ahmedabad University)