FSTTCS 2006

The 26th Conference on Foundations of Software Technology and Theoretical Computer Science

December 13-15, 2006
Indian Statistical Institute
Kolkata, INDIA

IARCS, the Indian Association for Research in Computing Science announces the 26th Annual FSTTCS Conference in Kolkata (formerly Calcutta). The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

Invited Speakers

The following is the list of speakers who have confirmed their participation in the conference.
Gordon Plotkin University of Edinburgh, UK
Emo Welzl ETH Zurich, Switzerland
Gérard Boudol INRIA, Sophia Antipolis, France
David Shmoys Cornell University, USA
Eugene Asarin LIAFA, Université Paris 7, France

Workshops

In addition to invited talks and contributed papers, the following workshops will be held.

Proceedings

The conference proceedings will be published by Springer in its Lecture Notes in Computer Science (LNCS) series. The proceedings of the 2005 conference was published as LNCS 3821.

For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference.

Scope

Authors are invited to submit papers presenting original and unpublished research in any area of Theoretical Computer Science or Foundational aspects of Software Technology. Representative areas include, but are not limited to:


Automata, Languages and Computability

Automated Reasoning, Rewrite Systems, and Applications

Combinatorial Optimization

Computational Biology

Computational Complexity

Computational Geometry

Concurrency Theory

Cryptography and Security Protocols

Database Theory and Information Retrieval

Data Structures

Graph and Network Algorithms

Logic, Proof Theory, Model Theory and Applications

Logics of Programs and Temporal Logics

New Models of Computation

Parallel and Distributed Computing

Programming Language Design and Semantics

Randomized and Approximation Algorithms

Software Specification and Verification

Timed and Hybrid Systems

Type Systems

Submission Guidelines

Authors may submit drafts of full papers or extended abstracts. Submissions are limited to 12 pages in LNCS style. Proofs omitted due to space constraints may be put into a clearly marked appendix (but the paper should be intelligible without the appendix, as reviewers are not required to read appendices). Concurrent submissions to other conferences / journals are not acceptable.

Electronic submission is very strongly recommended. The submission server will be set up by 08 May 2006 and submissions will be accepted till 18 June 2006.

Programme Committee

Amit Kumar IIT Delhi  
Anil Seth IIT Kanpur  
Anuj Dawar Cambridge University  
Anupam Gupta Carnegie Mellon University  
Ashish Tiwari SRI International  
Astrid Kiehn IIT Delhi  
Dale Miller INRIA-Futurs  
Deepak D'Souza IISc Bangalore  
Edgar Ramos U. of Illinois, Urbana-Champaign  
Giuseppe Italiano Università di Roma "Tor Vergata"  
Helmut Veith TU Munich  
Javier Esparza Universität Stuttgart  
Joost-Pieter Katoen RWTH Aachen  
Kavitha Telikepalli IISc Bangalore  
Madhavan Mukund CMI Chennai  
Manindra Agrawal IIT Kanpur  
Marco Pistore DIT Università di Trento  
Marina Papatriantafilou Chalmers U. of Technology  
Naveen Garg IIT Delhi (co-chair)
Neal Young UC Riverside  
Nobuko Yoshida Imperial College  
Prakash Panangaden McGill University  
Radha Jagadeesan DePaul University  
Rohit Khandekar University of Waterloo  
S. Arun-Kumar IIT Delhi (co-chair)
Sriram K. Rajamani Microsoft Research  
Subhas C. Nandy ISI Kolkata  
Supratik Chakraborty IIT Bombay  
Susanne Albers Universität Freiburg  
Yuval Rabani Technion  

Contacts

Submissions

Email: fsttcs26 AT cse DOT iitd DOT ernet DOT in
Phone: +(91) (11) 2659-1287 or 2659-1296
Fax: +(91) (11) 2658-1060
URLs: www.fsttcs.org, www.cse.iitd.ernet.in./~fsttcs26/

Postal address: Naveen Garg / S. Arun-Kumar
Attention: FSTTCS 2006
Department of Computer Science and Engineering
Indian Institute of Technology Delhi
Hauz Khas
New Delhi 110 016, INDIA

Important Dates

Submission from: 30 May 2006 (Click here to submit)
Deadline (Abstract): 18 June 2006
Submission(Papers): 25 June 2006
Notification to Authors: 20 August 2006 (delayed to 04 Sept 2006)
Final Version of Accepted Papers due on: 24 September 2006
Workshops: 11-12 December 2006 and
  16 December 2006
Conference: 13-15 December 2006


Last modified: Sun Sep 3 11:38:51 2006