IARCS, the Indian Association for Research in Computing Science, announces the 39th Foundations of Software Technology and Theoretical Computer Science conference at IIT Bombay. 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.

Track A

  • Algorithms and Data Structures
  • Algorithmic Graph Theory and Combinatorics
  • Approximation Algorithms
  • Combinatorial Optimization
  • Communication Complexity
  • Computational Biology
  • Computational Complexity
  • Computational Geometry
  • Computational Learning Theory
  • Cryptography and Security
  • Data Streaming and Sublinear algorithms
  • Game Theory and Mechanism Design
  • Parallel, Distributed and Online Algorithms
  • Parameterized Complexity
  • Proof Complexity
  • Quantum Computing
  • Randomness in Computing
  • Theoretical Aspects of Mobile and High-Performance Computing

Track B

  • Automata, Games and Formal Languages
  • Logic in Computer Science
  • Modal and Temporal Logics
  • Model Checking and Reactive Synthesis
  • Models of Concurrent, Distributed and Mobile Systems
  • Models of Timed, Reactive, Hybrid and Stochastic Systems
  • Model Theory
  • Principles and Semantics of Programming Languages
  • Program Analysis and Transformation
  • Security protocols
  • Theorem Proving and Decision Procedures

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.

  • Submission deadline: July 17, 2019 AoE (firm).
  • Notification to authors: September 13, 2019.
  • Deadline for camera-ready papers: October 1, 2019 AoE.
  • SAT/SMT winter school (co-located with FSTTCS 2019): December 8–10, 2019.
  • Pre-conference workshop: December 10, 2019.
  • FSTTCS 2019: December 11–13, 2019.
  • Post-conference workshop : December 14, 2019.

Trends in Transformations

The beautiful and robust theory of regular languages is based on four fundamental pillars: expressions, automata, logic and algebra. Extensions of the pillars of language theory to transformations(functions or relations) from words has been a very active area of research recently. The aim of this workshop is to bring together researchers and students interested in theory and applications of formal models of transformations (transducers). The workshop will feature tutorial kind of talks as well as recent state of the art results in transducers.

  • Date: December 10, 2019
  • Organizer: S.Krishna

GALA: Gems of Automata, Logic and Algebra

This workshop will be targeted towards the participants of FSTTCS 2019, consisting of academicians and graduate students broadly in the area of theoretical computer science, with a focus on classical and recent topics in automata, logic and algebraic techniques in formal methods.

Track A

Track B

Theory group and Formal Methods group, IIT Bombay.