FSTTCS 2017
37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Indian Institute of Technology, Kanpur. December 11–15, 2017.
37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Indian Institute of Technology, Kanpur. December 11–15, 2017.
IARCS, the Indian Association for Research in Computing Science, announces the 37th Foundations of Software Technology and Theoretical Computer Science conference at the Indian Institute of Technology, Kanpur. 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. More detailed submission instructions are provided on the FSTTCS 2017 submission page.
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.
Click here to download the Call for Papers (PDF)
For authors: Click here to download instructions for the camera-ready version
Paper Submission deadline: Monday, July 24, 2017 Monday, July 31, 2017 (Anywhere on earth)
Notification to Authors: Friday, September 22, 2017
Deadline for camera-ready papers: Monday, October 16, 2017
Conference: December 11–15, 2017
Edith Elkind (University of Oxford, UK)
Sham Kakade (University of Washington, USA)
Anca Muscholl (LaBRI & Université Bordeaux, France)
Devavrat Shah (MIT, USA)
Vinod Vaikuntanathan (MIT CSAIL, USA)
Thomas Wilke (Christian-Albrechts-Universität zu Kiel)
Probabilistic reasoning and Formal Methods. December 11, 2017.
Organisers: S. Akshay (IIT Bombay) and Kuldeep S. Meel (National University of Singapore)
Computational Social Choice Theory. December 15, 2017.
Organisers: Swaprava Nath (IIT Kanpur) and Sunil Simon (IIT Kanpur)
Lattice Algorithms and Cryptography. December 15, 2017.
Organisers: Shweta Agrawal (IIT Madras) and Vinod Vaikuntanathan (MIT)
Manindra Agrawal (IIT Kanpur)
Supratik Chakraborty (IIT Bombay), chair
Deepak D'Souza (IISc Bangalore)
Naveen Garg (IIT Delhi)
Meena Mahajan (IMSc Chennai)
K Narayan Kumar (CMI Chennai)
|
|
Purushottam Kar, IIT Kanpur
Piyush Kurur, IIT Kanpur
Manindra Agrawal, IIT Kanpur (chair)
Surender Baswana, IIT Kanpur
Rajat Mittal, IIT Kanpur
Swaprava Nath, IIT Kanpur
Nitin Saxena, IIT Kanpur
Sunil Simon, IIT Kanpur
Raghunath Tewari, IIT Kanpur
The FSTTCS '17 proceedings are available at:
http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16058.