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.
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 |
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 |
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 |
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 |