Logic List Mailing Archive

26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Kolkata (Calcutta), India, Dec 2006

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