posted by user: subhas || 2449 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

ICCCI--IEEE, Ei & Scopus 2020   IEEE--2020 The 2nd International Conference on Computer Communication and the Internet (ICCCI 2020)--Ei Compendex & Scopus
ICSSE--Ei and Scopus 2020   2020 The 3rd International Conference on Software and Services Engineering (ICSSE 2020)--EI Compendex, SCOPUS
SPIE--ICDIP--Ei Compendex, Scopus 2020   SPIE--2020 The 12th International Conference on Digital Image Processing (ICDIP 2020)--Ei Compendex, Scopus
ICSSE--Ei Compendex and Scopus 2020   2020 The 3rd International Conference on Software and Services Engineering (ICSSE 2020)--EI Compendex, SCOPUS
SI-ATAPS 2019   Special Issue on Advanced Techniques in the Analysis and Prediction of Students' Behaviour in Technology-Enhanced Learning Contexts
ICIAE 2020   The 8th IIAE International Conference on Industrial Application Engineering 2020
ICICT--Ei Compendex and Scopus 2020   2020 the 3rd International Conference on Information and Computer Technologies (ICICT 2020)--Ei Compendex and Scopus
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
ISBDAI 2020   【Ei Compendex Scopus】2018 International Symposium on Big Data and Artificial Intelligence
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação