posted by user: nkv || 6766 views || tracked by 12 users: [display]

FSTTCS 2013 : Foundations of Software Technology and Theoretical Computer Science


When Dec 10, 2013 - Dec 14, 2013
Where IIT Guwahati, India
Abstract Registration Due Jul 8, 2013
Submission Deadline Jul 15, 2013
Notification Due Sep 16, 2013
Final Version Due Oct 14, 2013
Categories    theory   formal methods   algorithms   complexity

Call For Papers

Call for Papers

33rd IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
December 10-14, 2013
IIT Guwahati, India.


Authors are invited to submit papers presenting original and unpublished research in any area of Theoretical Computer Science or Foundational aspects of Software Technology. Representative areas include, but are not limited to:

* Algorithms and data structures, including randomized, approximations, distributed, geometric, online, streaming, fixed-parameter and graph algorithms

* Computational complexity, including circuits, communication, proof and structural complexity, pseudorandomness, PCPs and inapproximability

* Combinatorial optimization, game theory and mechanism design, quantum computing, computational biology, cryptography and security

* Automata and formal languages

* Concurrent, timed and hybrid systems

* Logic in computer science, including finite model theory, modal and temporal logics, specification, verification, and synthesis

* Programming languages, including semantics, types, program analysis and correctness

Important Dates

Abstract submission deadline: July 8, 2013
Paper Submission deadline: July 15, 2013
Notification to authors: September 16, 2013
Final version due: October 14, 2013
Conference: December 12-14, 2013
Workshops: December 10-11, 2013

Program Committee

Manindra Agrawal (IIT Kanpur)
Arnab Bhattacharyya (DIMACS,Rutgers and IISc, Bangalore)
Elisa Celis (Xerox Research Centre India)
Anupam Gupta (CMU)
Prahladh Harsha (TIFR, Mumbai)
Swastik Kopparty (Rutgers)
Meena Mahajan (IMSc, Chennai)
Raghu Meka (IAS, Princeton and DIMACS, Rutgers)
Yogish Sabharwal (IBM Research India)
C. Seshadhri (Sandia National Lab, CA)
Ola Svensson (EPFL)
Madhur Tulsiani (TTI, Chicago)
Laszlo Vegh (London School of Economics)
Thomas Vidick (MIT)
David Williamson (Cornell)
Nisheeth Vishnoi (Microsoft Research India, Co-Chair)

Mohamed Faouzi Atig (Uppsala, Sweden)
Roberto Bruni (Pisa, Italy)
Arnaud Carayol (Institut Gaspard-Monge, France)
Anuj Dawar (Cambridge, UK)
Laurent Doyen (ENS Cachan)
Deepak D'Souza (IISc, Bangalore)
Deepak Garg (Max Planck, Germany)
Dan Ghica (Birmingham, UK)
Hugo Gimbert (LaBRI)
Ugo Dal Lago (Bologna, Italy)
Ranko Lazic (Warwick, UK)
Gopalan Nadathur (Minnesota, USA)
K. Narayan Kumar (CMI, Chennai)
R. Ramanujam (IMSc, Chennai)
Szymon Torunczyk (Warsaw, Poland)
Anil Seth (IIT Kanpur, Co-Chair)


Submissions will be in electronic form via the EasyChair site ( and are restricted to 12 pdf pages using the LIPIcs LaTeX style file (see Proofs omitted due to space constraints must be put into an appendix to be read by the PC members/reviewers at their
discretion. Accepted papers will be published as the proceedings of the conference in the Leibniz International Proceedings in Informatics (LIPIcs) (see as a free, open, electronic archive with access to all. Authors will retain full rights over their work. Concurrent submission to other conferences or journals is not acceptable.

For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference.

Poster Session for Ph.D. Students
There will be a poster session for doctoral students. There will be a
separate evaluation process for this and the deadline for submission is
Sept. 23, 2013 and notification by Oct. 14, 2013. These will not be
included in the proceedings. Details to be posted on the conference

Conference Website:

Related Resources

IEEE ICICSE 2023   IEEE--2023 the 3rd International Conference on Information Communication and Software Engineering (ICICSE 2023)
ACM-EI/Scopus-ACAI 2022   2022 5th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2022)-EI Compendex
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
ICCSEA 2022   12th International Conference on Computer Science, Engineering and Applications
IEEE CCAI 2023   IEEE--2023 3rd International Conference on Computer Communication and Artificial Intelligence (CCAI 2023)
IOP, EI, Scopus-EMECS 2022   2022 International Conference on Electronics, Mechanical Engineering and Computer Science (EMECS 2022)-EI Compendex
ACM ICHMI 2023   ACM--2023 3rd International Conference on Human–Machine Interaction (ICHMI 2023)
IEEE-ADMIT 2022   2022 International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2022)
ICCCBDA 2023   IEEE--2023 the 8th International Conference on Cloud Computing and Big Data Analytics (ICCCBDA 2023)
SCM 2022   5th International Conference on Soft Computing, Control and Mathematics