FSTTCS 2015
35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Indian Institute of Science, Bangalore. December 16–18, 2015.
35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Indian Institute of Science, Bangalore. December 16–18, 2015.
IARCS, the Indian Association for Research in Computing Science, announces the 35th Foundations of Software Technology and Theoretical Computer Science conference at the Indian Institute of Science, Bangalore, India. 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 will be in electronic form via EasyChair. There is no page limit, however material other than the abstract, references, and the first 12 pages is considered as supplementary. A submission must contain within its first 12 pages (not including the abstract and references) a clear presentation of the merits of the paper. The submission should be in single-column format, use at least 10-point font, and have standard margins and spacing between lines. (Please note that the fontsize constraint has been relaxed to be consistent with the LIPIcs class file.) 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), under a CC-BY license, as a free, open, electronic archive with access to all. Instructions for formatting camera-ready versions will be communicated to the authors of accepted papers. Authors will retain full rights over their work. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference.
Paper Submission deadline: July 13, 2015 (Monday) (Anywhere on earth)
Notification to Authors: September 14, 2015
Deadline for camera-ready papers: October 13, 2015
Conference: December 16–18, 2015
Boaz Barak
(Harvard University & Microsoft Research)
Convexity, Bayesianism, and the quest towards Optimal Algorithms [ slides (pptx, 2.5MB) ]
Ahmed Bouajjani
(LIAFA, CNRS & Univ. Paris Diderot)
Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability [ slides (pdf, 0.7MB) ]
Moses Charikar
(Stanford University)
Bypassing Worst Case Analysis: Tensor Decomposition and Clustering [ slides (pptx, 3.6MB) ]
Suresh Jagannathan
(Purdue University)
Relational Refinement Types for Higher-Order Shape Transformers [ slides (pdf, 0.8MB) ]
Ankur Moitra
(MIT)
Beyond Matrix Completion [ slides (pdf, 3.4MB) ]
James Worrell
(University of Oxford)
Reachability Problems for Continuous Linear Dynamical Systems [ slides (pdf, 0.8MB) ]
|
|
Deepak D’Souza (IISc Bangalore), co-chair
Suprovat Ghosal (IISc Bangalore)
Rahul Gupta (IISc Bangalore)
Inzemamul Haque (IISc Bangalore)
Sabuj Kumar Jena (IISc Bangalore)
Shalini Kaleeswaran (IISc Bangalore)
Aditya Kanade (IISc Bangalore), co-chair
Pallavi Maiya (IISc Bangalore)
Suvam Mukherjee (IISc Bangalore)
Shyam Sankaran (IISc Bangalore)
Anirudh Santhiar (IISc Bangalore)
The proceedings volume of FSTTCS'15 as volume 45 of LIPIcs is
officially published and available at:
http://www.dagstuhl.de/dagpub/978-3-939897-97-2