FSTTCS: Foundations of Software Technology and Theoretical Computer Science

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
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 : 2016

FSTTCS 2016

36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

Chennai Mathematical Institute, Chennai. December 13–15, 2016.

About FSTTCS

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

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

Submissions

Authors are invited to submit an extended abstract, presenting original research on the theory of Computer Science, of no more than 12 pages, including the title page, but excluding references and any appendix, in the LIPIcs style (instructions available here). The usage of pdflatex and the LIPIcs style file (see here for some formatting tricks) are mandatory: papers that deviate significantly from the required format may be rejected without consideration of merit.

Submissions will be in electronic form via EasyChair.

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.
Important Dates

Paper Submission deadline: July 15, 2016 (Anywhere on earth)

Notification to Authors: September 15, 2016

Deadline for camera-ready papers: October 15, 2016

Conference: December 13–15, 2016

Invited Speakers

To be announced.
Programme Committee

Olaf Beyersdorff (University of Leeds)

Umang Bhaskar (TIFR)

Parinya Chalermsook (MPI)

Arkadev Chattopadhyay (TIFR)

Ajit Diwan (IIT Bombay)

Samir Dutta (CMI)

Fabrizio Grandoni (IDSIA)

Daniel Lokshtanov (University of Bergen)

M. S. Ramanujan (TU Wien)

Chandan Saha (IISc Bangalore)

Saket Saurabh (IMSc), co-chair

Sandeep Sen (IIT Delhi), co-chair

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), co-chair

Patricia Bouyer (LSV Cachan)

Krishnendu Chatterjee (IST Austria)

Pedro D'Argenio (University of 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), co-chair

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

To be announced.
Workshops

To be announced.
 

Related Resources

ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
ESEC/FSE 2017   11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
IJBES 2016   International journal of Biomedical Engineering and Science
VRST 2017   The ACM Symposium on Virtual Reality Software and Technology (VRST)
LICS 2017   Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science
DICTAP 2017   The Seventh International Conference on Digital Information and Communication Technology and Applications
ICFEM 2017   19th International Conference on Formal Engineering Methods
IEEE ITOEC 2017   2017 IEEE 3rd Information Technology and Mechatronics Engineering Conference
ICIST 2017   23rd International Conference on Information and Software Technologies
BIOEJ 2016   Bioscience & Engineering: An International Journal