posted by user: subhas || 1387 views || tracked by 11 users: [display]

FSTTCS 2014 : 34th 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, 2014 - Dec 17, 2014
Where New Delhi, India
Abstract Registration Due Jul 11, 2014
Submission Deadline Jul 18, 2014
Notification Due Sep 15, 2014
Final Version Due Oct 15, 2014
 

Call For Papers

FSTTCS 2014
34th Foundations of Software Technology and Theoretical Computer Science
December 15--17, 2014
India International Centre, New Delhi, India

Second Call for Papers
---------------------

IARCS, the Indian Association for Research in Computing Science, announces the 34th Foundations of Software Technology and Theoretical Computer Science conference at India International Centre, New Delhi, 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
randomized algorithms
approximation algorithms
distributed algorithms
geometric algorithms
online and streaming algorithms
fixed-parameter tractability
graph algorithms
Computational complexity
circuits
communication complexity
proof complexity
structural complexity
pseudorandomness
PCPs
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
finite model theory
modal and temporal logics
specification
verification
synthesis
Programming languages
semantics
types
program analysis and correctness

Submissions
-----------

Submissions will be in electronic form via EasyChair using the LIPIcs LaTeX style file (see http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors). Submissions must not exceed 12 pages (including bibliography). Simultaneous submissions 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) as a free, open, electronic archive with access to all. 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

**************************************************************************

Abstract Submission deadline: July 11, 2014
Paper Submission deadline: July 18, 2014
Notification to Authors: September 15, 2014
Deadline for camera-ready papers: October 15, 2014

**************************************************************************

Important Links and email addresses
------------------------------------
Conference page: http://www.fsttcs.org
Submission page: https://www.easychair.org/conferences/?conf=fsttcs2014


Invited Speakers
----------------

Nikhil Bansal (TU Eindhoven)
Paul Gastin (LSV, ENS Cachan)
Martin Grohe (RWTH Aachen)
Orna Kupferman (Hebrew University)
Ryan Williams (Stanford University)

Programme Committee
-------------------

Deeparnab Chakrabarty (MSR, India)
Timothy Chan (Univ. Waterloo)
Anirban Dasgupta (IIT Gandhinagar)
Amit Kumar (IIT Delhi)
Neeldhara Misra (IISc, Bangalore)
Subhas Nandy (ISI Kolkata)
Patrick Nicholson (MPI Saarbrucken)
Michal Pilipczuk (Univ. Bergen)
Jaikumar Radhakrishnan (TIFR, Mumbai)
Rajmohan Rajaraman (Northeastern Univ.)
Venkatesh Raman (IMSc, Chennai), co-chair
Rahul Santhanam (Univ. Edinburgh)
Jayalal Sarma (IIT Madras)
Srikanth Srinivasan (IIT Bombay)
Kavitha Telikepalli (TIFR, Mumbai)
Suresh Venkatasubramanian (Univ. Utah)

Dietmar Berwanger (LSV, ENS Cachan)
Ahmed Bouajjani (LIAFA Paris)
Supratik Chakraborty (IIT Bombay)
Radha Jagadeesan (DePaul University)
Aditya Kanade (IISc, Bangalore)
Dietrich Kuske (TU Ilmenau)
Ralf Kusters (Univ. Trier)
Kamal Lodaya (IMSc, Chennai)
Madhavan Mukund (CMI, Chennai)
Shaz Qadeer (MSR, Redmond)
Arnaud Sangnier (LIAFA Paris)
Alexis Saurin (CNRS, Univ. Paris-Diderot)
Sunil Simon (IIT Kanpur)
S P Suresh (CMI, Chennai), co-chair
Ashutosh Trivedi (IIT Bombay)
Mahesh Viswanathan (Univ. Illinois)

Organizing Committee
--------------------

Shweta Agrawal (IIT Delhi)
Naveen Garg (IIT Delhi)
Ragesh Jaiswal (IIT Delhi), chair
Amit Kumar (IIT Delhi)
Sanjiva Prasad (IIT Delhi)
Sandeep Sen (IIT Delhi)

Related Resources

OpenSuCo @ ISC HPC 2017   2017 International Workshop on Open Source Supercomputing
ICTS 2017   The 11th International Conference on Information & Communication Technology and System
ACML 2017   The 9th Asian Conference on Machine Learning
SoICT 2017   The Eighth Interntional Symposium on Information and Communication Technology
COMIT 2017   International Conference on Computer Science and Information Technology
ICSRS - Ei 2017   2017 2nd International Conference on System Reliability and Science (ICSRS 2017)--IEEE, Ei Compendex and Scopus
IEEE - ISCMI 2017   2017 4th Intl. Conference on Soft Computing & Machine Intelligence (ISCMI 2017)--IEEE Xplore, Ei Compendex
ICRE - Ei 2017   2017 3rd International Conference on Reliability Engineering (ICRE 2017)--SCOPUS, Ei Compendex
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
IEEE - ICCC 2017   3rd IEEE International Conference on Computer and Communications