[ecoop-info] Call For Papers: FSTTCS 2015

Ganesan Ramalingam grama at microsoft.com
Wed Jun 10 10:26:55 CEST 2015

(Apologies in case you receive duplicate copies of this CFP)


35th Foundations of Software Technology and Theoretical Computer Science

December 16--18, 2015

Indian Institute of Science, Bangalore, India

Call for Papers


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 & Data Structures

* Algorithmic Graph Theory & Combinatorics

* Approximation Algorithms

* Automata & Formal Languages

* Combinatorial Optimization

* Communication Complexity

* Computational Biology

* Computational Complexity

* Computational Geometry

* Computational Learning Theory

* Cryptography & Security

* Game Theory & Mechanism Design

* Logic in Computer Science

* Model Theory, Modal & Temporal Logics

* Models of Concurrent & Distributed Systems

* Models of Timed, Reactive, Hybrid & Stochastic Systems

* Parallel, Distributed & Online Algorithms

* Parameterized Complexity

* Principles & Semantics of Programming Languages

* Program Analysis & Transformation

* Proof Complexity

* Quantum Computing

* Randomness in Computing

* Specification, Verification, & Synthesis

* Theorem Proving, Decision Procedures, & Model Checking

* Theoretical Aspects of Mobile & High-Performance Computing



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 submissions to journals or other conferences with published proceedings are disallowed.

Accepted papers will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series, under a Creative Commons-BY license.

Important Dates


Paper Submission deadline: July 13, 2015

Notification to Authors: September 14, 2015

Deadline for camera-ready papers: October 16, 2015


Important Links


Conference page:     http://www.fsttcs.org

Submission page:     https://www.easychair.org/conferences/?conf=fsttcs2015

Invited Speakers


Boaz Barak (MSR)

Ahmed Bouajjani (LIAFA, U. Paris)

Moses Charikar (Princeton)

Suresh Jagannathan (Purdue Univ.)

Ankur Moitra (MIT)

James Worrell (Oxford)

Programme Committee


Andrej Bogdanov (CUHK)

Amit Deshpande (MSR)

Fedor Fomin (U. Bergen)

Naveen Garg (IIT Delhi)

Sariel Har-Peled (UIUC)

Prahladh Harsha (TIFR), co-chair

Nutan Limaye (IIT Bombay)

Meena Mahajan (IMSc)

Ruta Mehta (Georgia Tech.)

Alantha Newman (CNRS-Grenoble)

Debmalya Panigrahi (Duke Univ.)

Prasad Raghavendra (UC Berkeley)

Ramprasad Saptharishi (Tel Aviv Univ.)

Pranab Sen (TIFR)

Suresh Venkatasubramanian (U. Utah)

Magnus Wahlstrom (RHUL)

S. Akshay (IIT Bombay)

Parosh Abdulla (Uppsala Univ.)

Erika Abraham (RWTH Aachen Univ.)

Franck Cassez (Macquarie Univ.)

Avik Chaudhuri (Facebook)

Thomas Colcombet (LIAFA, CNRS)

Stephanie Delaune (LSV, CNRS)

Javier Esparza (TU Munich)

Ashutosh Gupta (TIFR)

Ranjit Jhala (UCSD)

Roland Meyer (U. Kaiserslautern)

V. Krishna Nandivada (IIT Madras)

G. Ramalingam (MSR), co-chair

R. Ramanujam (IMSc)

Sriram Sankaranarayanan (CU-Boulder)

Nishant Sinha (IBM Research)

S. P. Suresh (CMI)

Organizing Committee


Deepak D'Souza (IISc), co-chair

Rahul Gupta (IISc)

Shalini Kaleeswaran (IISc)

Aditya Kanade (IISc), co-chair

Pallavi Maiya (IISc)

Suvam Mukherjee (IISc)

Anirudh Santhiar (IISc)

More information about the ecoop-info mailing list