[FM-India] FSTTCS 2016 --- Final Call for Papers [submission deadline: July 15]

[Akshay S.]

(apologies for multiple copies/cross posting)

CALL FOR PAPERS
===============

IARCS, the Indian Association for Research in Computing Science, 
announces the 36th conference on Foundations of Software Technology and 
Theoretical Computer Science (FSTTCS) at Chennai Mathematical Institute, 
Chennai, India.

December 13--15, 2016, Chennai, India
http://www.fsttcs.org/

The FSTTCS conference is a forum for presenting original results in 
foundational aspects of Computer Science and Software Technology.

Scope
-----

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

* Algorithms & data structures  * Automata & formal languages
* Algorithmic graph theory      * Models of concurrent, distributed
   & combinatorics                 & mobile systems
* Approximation algorithms      * Cryptography & security
* Combinatorial optimization    * Game theory & mechanism design
* Communication complexity      * Logic in computer science
* Computational complexity      * Model theory & temporal logics
* Computational geometry        * Computational biology
* Computational learning theory * Models of timed, reactive,
                                   hybrid & stochastics systems
* Parallel, distributed         * Principles & semantics of
   & online algorithms             programming languages
* Parameterized complexity      * Program analysis & transformation
* Proof complexity              * Specification, verification
                                   & synthesis
* Quantum computing             * Theorem proving & model checking
* Randomness in computing       * Type systems, type theory & calculi


Submissions
-----------

Submissions will be in electronic form via EasyChair. Submissions must 
not exceed 12 pages (including the title page, but excluding 
bibliography).  The authors may include a clearly marked appendix 
containing extra material, which will be read at the discretion of the
program committee. The submission must be formatted in the LIPIcs style 
(see the conference website for more details). Simultaneous submissions 
to journals or other conferences with published proceedings are 
disallowed.

Submissions must be uploaded via
https://www.easychair.org/conferences/?conf=fsttcs2016

Accepted papers will be published as proceedings of the conference in 
the Leibniz International Proceedings in Informatics (LIPIcs).

Important Dates
---------------

Paper submission:         July 15, 2016 (Anywhere on Earth)
Notification to authors:  September 15, 2016
Camera-ready version due: October 15, 2016
Conference:               December 13-15, 2016

Invited Speakers
----------------

Tevfik Bultan (UCSB)
Holger Hermanns (Saarland Univ.)
Mooly Sagiv (Tel Aviv Univ.)
Mikkel Thorup (Univ. Copenhagen)
(more to be added)

Program Committee Chairs
------------------------

Akash Lal (MSR India)
S. Akshay (IIT Bombay)
Saket Saurabh (IMSc)
Sandeep Sen (IIT Delhi)

Program Committee
-----------------


Olaf Beyersdorff (University of Leeds)
Umang Bhaskar (TIFR)
Parinya Chalermsook (MPI)
Arkadev Chattopadhyay (TIFR)
Ajit Diwan (IIT Bombay)
Samir Datta (CMI)
Fabrizio Grandoni (IDSIA)
Daniel Lokshtanov (University of Bergen)
M. S. Ramanujan (TU Wien)
Chandan Saha (IISc Bangalore)
Saket Saurabh (IMSc)
Sandeep Sen (IIT Delhi)
Mohit Singh (MSR, Redmond)
Chaitanya Swamy (University of Waterloo)
Kasturi R. Varadarajan (The University of Iowa)
Neal Young (University of California, Riverside)

S. Akshay (IIT Bombay)
Patricia Bouyer (LSV Cachan)
Krishnendu Chatterjee (IST Austria)
Pedro D'Argenio (Univ. Nac. Cordoba)
Alastair Donaldson (Imperial College, London)
Pranav Garg (Amazon India)
Aditya Kanade (IISc Bangalore)
Steve Kremer (LORIA, Nancy)
Shuvendu Lahiri (MSR)
Akash Lal (MSR India)
Slawomir Lasota (University of Warsaw)
Madhavan Mukund (CMI)
Sophie Pinchinat (University of Rennes 1)
M Praveen (CMI)
Ashish Tiwari (SRI)
James Worrell (University of Oxford)

Organizing Committee
------------------

Computer Science Group, CMI