FSTTCS: Foundations of Software Technology and Theoretical Computer Science

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2018 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
FSTTCS 2017 37th Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Dec 11, 2017 - Dec 15, 2017 Kanpur, India Jul 24, 2017
FSTTCS 2016 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Dec 13, 2016 - Dec 15, 2016 Chennai, India Jul 15, 2016
FSTTCS 2015 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Dec 16, 2015 - Dec 18, 2015 Bangalore, India Jul 13, 2015
FSTTCS 2014 34th Foundations of Software Technology and Theoretical Computer Science
Dec 15, 2014 - Dec 17, 2014 New Delhi, India Jul 18, 2014 (Jul 11, 2014)
FSTTCS 2013 Foundations of Software Technology and Theoretical Computer Science
Dec 10, 2013 - Dec 14, 2013 IIT Guwahati, India Jul 15, 2013 (Jul 8, 2013)
FSTTCS 2012 IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Dec 15, 2012 - Dec 17, 2012 Hyderabad, India Jul 13, 2012
FSTTCS 2011 IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Dec 12, 2011 - Dec 14, 2011 Bombay, India Jul 6, 2011
FSTTCS 2010 Foundations of Software Technology and Theoretical Computer Science
Dec 15, 2010 - Dec 18, 2010 Chennai, India Jul 7, 2010
 
 

Present CFP : 2017

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

37th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017)
Kanpur, India, December 11 - 15, 2017
----------------

Conference website: http://fsttcs.org/
Submission website: https://easychair.org/conferences/?conf=fsttcs2017

Paper submission deadline: Monday, July 24, 2017 (Anywhere on earth)
Notification to Authors: Monday, September 18, 2017
Camera-ready deadline: Monday, October 16, 2017
Conference: December 11 - 15, 2017


Overview
----
The 37th Foundations of Software Technology and Theoretical Computer Science (FSTTCS) conference will take place at the Indian Institute of Technology, Kanpur, during December 11 (Mon) - 15 (Fri), 2017, under the auspices of the Indian Association for Research in Computing Science (IARCS). Submissions presenting original results in foundational aspects of Computer Science and Software Technology are invited. Representative areas include, but are not limited to, the following.

- Algorithms and Data Structures
- Algorithmic Graph Theory and Combinatorics
- Approximation Algorithms
- Automata and Formal Languages
- Combinatorial Optimization
- Communication Complexity
- Computational Biology
- Computational Complexity
- Computational Geometry
- Computational Learning Theory
- Cryptography and Security
- Game Theory and Mechanism Design
- Logic in Computer Science
- Model Theory, Modal and Temporal Logics
- Models of Concurrent and Distributed Systems
- Models of Timed, Reactive, Hybrid and Stochastic Systems
- Parallel, Distributed and Online Algorithms
- Parameterized Complexity
- Principles and Semantics of Programming Languages
- Program Analysis and Transformation
- Proof Complexity
- Quantum Computing
- Randomness in Computing
- Specification, Verification, and Synthesis
- Theorem Proving, Decision Procedures, and Model Checking
- Theoretical Aspects of Mobile and High-Performance Computing


Invited Speakers
----
Sham Kakade (University of Washington, USA)
Anca Muscholl (LaBRI & Universite' de Bordeaux, France)
Devavrat Shah (MIT, USA)
Vinod Vaikuntanathan (MIT CSAIL, USA)
Thomas Wilke (Christian-Albrechts-Universitaet zu Kiel, Germany)


Submission Information
----
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.


Program Committee
----
Alexandr Andoni (Columbia University),
Arnab Bhattacharyya (IISc Bangalore),
Eshan Chattopadhyay (IAS Princeton),
Nicola Galesi (Sapienza Universita Roma, Italy),
Sumit Ganguly (IIT Kanpur),
Prateek Jain (MSR Bangalore),
Rahul Jain (NUS, Singapore),
Neeraj Kayal (MSR Bangalore),
Satya Lokam (MSR Bangalore, co-chair),
Daniel Lokshtanov (University of Bergen, Norway),
Ruta Mehta (University of Illinois at Urbana-Champaign),
Manoj Prabhakaran (IIT Bombay),
Alon Rosen (IDC Herzliya, Israel),
Alex Samorodnitsky (HUJI, Israel),
Srikanth Srinivasan (IIT Bombay),
Nikhil Srivastava (University of California, Berkeley),
Justin Thaler (Georgetown University),
Kasturi Varadarajan (University of Iowa),

S Akshay (IIT Bombay),
Christel Baier (TU Dresden),
Stephanie Delaune (IRISA & CNRS Rennes),
Tim French (UWA, Perth),
Prasad Jayanti (Dartmouth College),
Daniel Kroening (University of Oxford),
Ranko Lazic (University of Warwick),
Rupak Majumdar (MPI),
Stephan Merz (INRIA Nancy & LORIA),
Paritosh K. Pandya (TIFR, Mumbai),
Pavithra Prabhakar (Kansas State University),
R Ramanujam (IMSc Chennai, co-chair),
Simona Ronchi Della Rocca (Universita di Torino),
Sunil Simon (IIT Kanpur),
Sonja Smets (University of Amsterdam),
B Srivathsan (CMI, Chennai),
Lidia Tendera (Uniwersytet Opolski),
Nobuko Yoshida (Imperial College)
 

Related Resources

ECCSIT 2023   2023 European Conference on Computer Science and Information Technology (ECCSIT 2023)
EI-CFAIS 2023   2023 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2023)
CACEE 2023   2023 International Conference on Automation, Control and Electronics Engineering (CACEE 2023) -EI Compendex
CSPIT 2023   2023 Asia Conference on Communications, Signal Processing and Information Technology (CSPIT 2023) -EI Compendex
CCCE 2024   2024 4th International Conference on Computer and Communication Engineering (CCCE 2024)
GreeNet Symposium - SGNC 2023   14th Symposium on Green Networking and Computing (SGNC 2023)
CGO 2024   Symposium on Code Generation and Optimization
ICMLT 2024   2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
ICIAE 2024   The 12th IIAE International Conference on Industrial Application Engineering 2024
AICME 2023   2023 International Conference on Artificial Intelligence, Communications and Mechatronics (AICME 2023) -EI Compendex