posted by user: tuzze || 6663 views || tracked by 22 users: [display]

FSTTCS 2012 : IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Foundations of Software Technology and Theoretical Computer Science
 
Link: http://www.fsttcs.org/
 
When Dec 15, 2012 - Dec 17, 2012
Where Hyderabad, India
Submission Deadline Jul 13, 2012
Notification Due Sep 12, 2012
Final Version Due Oct 10, 2012
Categories    algorithms   automata   combinatorial optimization   computational complexity
 

Call For Papers



Scope

Authors are invited to submit papers presenting original and unpublished research in any area of Theoretical Computer Science or Foundational aspects of Software Technology. Submissions will be electronic, via EasyChair. Representative areas include, but are not limited to:
Algorithms, including randomized and approximation algorithms, distributed algorithms, geometry, online and streaming algorithms, fixed-parameter algorithms
Automata and Formal Languages
Combinatorial Optimization
Computational Complexity, including circuits, communication, derandomization, PCPs, proof complexity, structural complexity
Concurrent, timed and hybrid systems
Cryptography and security
Logic in Computer Science, including finite model theory, modal and temporal logics, specification and verification
Programming languages, including semantics, types, program analysis and correctness
Concurrent Submissions

Concurrent submissions are not allowed until accept/reject notification (or submission of the final version, if the submission is accepted at FSTTCS).
Submission Format

Submissions are restricted to 12 pages using the FSTTCS style file. Proofs omitted due to space constraints must be put into an appendix to be read by the program committee members/reviewers at their discretion.
Authors should upload pdf files generated using LaTeX along with the FSTTCS style file. Examples of usage for this style can be downloaded here as a zip file.

Accepted papers will have to be formatted for the Proceedings using the LIPIcs LaTeX style, which will be available shortly.

Important Dates

Submissions: June 1 to July 13 2012.
Notification to Authors: September 12, 2012.
Final Version Due: October 10, 2012.
Conference: December 15-17, 2012.
Proceedings

Accepted papers will be published as the 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 licensed under the Creative Commons Attribution-Noncommercial-No Derivative Works 2.5 License: Creative Commons -NC-ND For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference.

Related Resources

DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
ADMIT 2024   2024 3rd International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2024)
CVIPPR 2024   2024 2nd Asia Conference on Computer Vision, Image Processing and Pattern Recognition
FCSIT 2024   2024 3rd Eurasian Conference on Frontiers of Computer Science and Information Technology
ACM-Ei/Scopus-CVCM 2024   2024 5th International Conference on Computer Vision, Communications and Multimedia (CVCM 2024) -EI Compendex
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
SOICT 2024   The 13th International Symposium on Information and Communication Technology