[TYPES/announce] FSTTCS 26: Call for papers

[S. Arun-Kumar]

			     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

  Gordon Plotkin
  University of Edinburgh, UK


  Emo Welzl
  ETH Zurich, Switzerland


  Gerard Boudol
  INRIA, Sophia Antipolis, France 



  David Shmoys
  Cornell University, USA


  Eugene Asarin 
  LIAFA, Universite' Paris 7, France


WORKSHOPS

In addition to invited talks and contributed papers, the conference will have 
two pre-conference workshops (TBA).


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 or 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            Universita` di Roma "Tor Vergata"
Helmut Veith                 TU Munich
Javier Esparza               Universita"t Stuttgart
Joost-Pieter Katoen          RWTH Aachen
Kavitha Telikepalli          IISc Bangalore
Madhavan Mukund              CMI Chennai
Manindra Agrawal             IIT Kanpur
Marco Pistore                DIT Universita` di Trento
Marina Papatriantafilou      Chalmers U of Technology
Naveen Garg                  IIT Delhi (co-chair)
Neal Young                   U California, 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               Universita"t Freiburg
Yuval Rabani                 Technion





CONTACTS

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:                          08 May    2006
Deadline (Abstract):                      18 June   2006 
Submission(Papers):                       25 June   2006 
Notification to Authors:                  20 August 2006 
Final Version of Accepted Papers due on:  16 September 2006 (tentative)
Workshops:                                10-12 December 2006 
Conference:                               13-15 December 2006

___________________________________________________________________________

Naveen Garg<naveen at cse.iitd.ernet.in> S. Arun-Kumar <sak at cse.iitd.ernet.in>
Department of Computer Science & Engineering Ph:+(91) (11) 2659-1287 
IIT, Hauz Khas, New Delhi 110 016, India.    FAX:+(91) (11) 2658-1060
                      http://www.cse.iitd.ernet.in/~fsttcs26/           
____________________________________________________________________________