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

ICIST 2019   25th International Conference on Information and Software Technologies (ICIST 2019)
ICCV 2019   International Conference on Computer Vision
ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
ICSTR 2018   3rd ICSTR Dubai – International Conference on Science & Technology Research, 26-27 February 2019
ICSTR 2019   2nd ICSTR Singapore – International Conference on Science & Technology Research, 15-16 March 2019
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
ESEC/FSE 2019   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
COMML 2020   International Conference on Optimization, Metaheuristics and Machine Learning
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)