posted by user: ndisp || 8449 views || tracked by 16 users: [display]

FSTTCS 2015 : 35th 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://fsttcs.org/
 
When Dec 16, 2015 - Dec 18, 2015
Where Bangalore, India
Submission Deadline Jul 13, 2015
Notification Due Sep 14, 2015
Final Version Due Oct 16, 2015
Categories    theoretical computer science   formal methods   algorithms   logic
 

Call For Papers

FSTTCS 2015

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

Indian Institute of Science, Bangalore. December 16–18, 2015.

About FSTTCS

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

Submissions will be in electronic form via EasyChair. There is no page limit, however material other than the abstract, references, and the first 12 pages is considered as supplementary. A submission must contain within its first 12 pages a clear presentation of the merits of the paper. The submission should be in single-column format, use at least 11-point font, and have standard margins and spacing between lines. Simultaneous sub- missions to journals or other conferences with published proceedings are disallowed.

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 13, 2015 (Monday) (Anywhere on earth)

Notification to Authors: September 14, 2015

Deadline for camera-ready papers: October 16, 2015

Conference: December 16–18, 2015

Invited Speakers

Boaz Barak (Microsoft Research)

Ahmed Bouajjani (LIAFA, CNRS & Univ. Paris Diderot)

Moses Charikar (Princeton University)

Suresh Jagannathan (Purdue University)

Ankur Moitra (MIT)

James Worrell (University of Oxford)

Programme Committee

Andrej Bogdanov (The Chinese University of Hong Kong)

Amit Deshpande (Microsoft Research)

Fedor Fomin (Univ. Bergen)

Naveen Garg (IIT Delhi)

Sariel Har-Peled (Univ. Illinois, Urbana-Champaign)

Prahladh Harsha (TIFR), co-chair

Nutan Limaye (IIT Bombay)

Meena Mahajan (IMSc)

Ruta Mehta (Georgia Tech.)

Alantha Newman (CNRS-Univ. Grenoble Alpes & G-SCOP)

Debmalya Panigrahi (Duke University)

Prasad Raghavendra (Univ. California, Berkeley)

Ramprasad Saptharishi (Tel Aviv University)

Pranab Sen (TIFR)

Suresh Venkatasubramanian (Univ. Utah)

Magnus Wahlström (Royal Holloway, Univ. London)

S. Akshay (IIT Bombay)

Parosh Abdulla (Uppsala University)

Erika Ábrahám (RWTH Aachen University)

Franck Cassez (Macquarie University)

Avik Chaudhuri (Facebook)

Thomas Colcombet (LIAFA, CNRS & Univ. Paris Diderot)

Stéphanie Delaune (LSV, CNRS & ENS Cachan)

Javier Esparza (TU Munich)

Ashutosh Gupta (TIFR)

Ranjit Jhala (Univ. California, San Diego)

Roland Meyer (Univ. Kaiserslautern)

V Krishna Nandivada (IIT Madras)

G. Ramalingam (Microsoft Research), co-chair

R. Ramanujam (IMSc)

Sriram Sankaranarayanan (Univ. Colorado Boulder)

Nishant Sinha (IBM Research)

S. P. Suresh (Chennai Mathematical Institute)

Organizing Committee

Deepak D’Souza (IISc Bangalore), co-chair

Rahul Gupta (IISc Bangalore)

Shalini Kaleeswaran (IISc Bangalore)

Aditya Kanade (IISc Bangalore), co-chair

Pallavi Maiya (IISc Bangalore)

Suvam Mukherjee (IISc Bangalore)

Anirudh Santhiar (IISc Bangalore)

Workshops

We expect to have 2-3 workshops before and after the conference. See the call for workshops if you are interested in hosting a workshop.

Related Resources

ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
FCSIT 2024   2024 3rd Eurasian Conference on Frontiers of Computer Science and Information Technology
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)
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
CVIPPR 2024   2024 2nd Asia Conference on Computer Vision, Image Processing and Pattern Recognition
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