FST TCS 2000


----------------------------
Twentieth Conference on the
FOUNDATIONS OF SOFTWARE TECHNOLOGY
AND THEORETICAL COMPUTER SCIENCE
December 13-15, 2000, New Delhi, India

IARCS, the Indian Association for Research in Computing Science, announces the 20th Annual FST TCS Conference in New Delhi, organized by the Indian Institute of Technology, Delhi.

This annual conference provides a platform for presentation of original research results in fundamental aspects of computer science. It also provides an excellent forum for meeting and exchanging ideas with people who are at the frontline of software technology and theoretical computer science.

The Conference Proceedings will be published by Springer-Verlag in the series Lecture Notes in Computer Science (LNCS) as volume number 1974. Conference Proceedings of the last few years appeared as LNCS Volumes 880, 1026, 1180, 1346, 1530, 1738.

There will be two satellite workshops this year.
The first is a tutorial workshop on Recent Advances in Programming Languages, which will be held on December 11-12, 2000 at IIT Delhi.
The second is Workshop on Computational Geometry, which will be held on December 16-17, 2000 at IIT Delhi.

There is no separate registration for the workshops, but we require you to indicate on your registration form which workshops you will attend.

----------------------------

Programme


Invited Speakers                Accepted Papers



Register Online



Local Organization



Organizing Committee          Sponsors          Conference Venue         



Visa and Travel Advice          Conference Travel Agent

Hotel Information



FST TCS History

IARCS membership form in Postscript.

Important dates

Deadline for Early Registration: 30 November, 2000
Recent Advances in Programming Languages 11-12 December, 2000
FST TCS 2000 Conference 13-15 December, 2000
Computational Geometry 16-17 December, 2000

Contact Information 

Conference Email Address:  fsttcs20@cse.iitd.ernet.in 
Conference Home Page:  http://www.cse.iitd.ernet.in/~fsttcs20 
Postal Address: Department of Computer Science and Engineering,
Indian Institute of Technology, Delhi
Hauz Khas
New Delhi 110016, India. 
Phone:  ++91-11 659 1294 / +91 11 659 1286
Fax:  ++91-11 686 8765

Invited Speakers

Peter Buneman (U Penn)
Bernard Chazelle (Princeton)
E Allen Emerson (U Texas, Austin)
Martin Grötschel (ZIB)
Jose Meseguer (SRI)
Philip Wadler (Avaya Labs)

About the invited speakers


Programme Committee

Pankaj Agarwal (Duke)
Manindra Agrawal (IIT, Kanpur)
Tetsuo Asano (JAIST)
Vijay Chandru (IISc, Bangalore)
Rance Cleaveland (Stony Brook)
Anuj Dawar (Cambridge)
Sampath Kannan (AT&T Research)
Sanjiv Kapoor (co-chair) (IIT, Delhi)
Kamal Lodaya (IMSc, Chennai)
Madhavan Mukund (CMI, Chennai)
Gopalan Nadathur (Minnesota)
Seffi Naor (Bell Labs and Technion)
Tobias Nipkow (TU Munich)
Luke Ong (Oxford)
C. Pandu Rangan (IIT, Chennai)
Paritosh Pandya (TIFR)
Benjamin Pierce (U Penn)
Sanjiva Prasad (co-chair) (IIT, Delhi)
Sridhar Rajagopalan (IBM, Almaden)
Abhiram Ranade (IIT, Mumbai)
Dave Sands (Chalmers)
A Prasad Sistla (U Illinois, Chicago)
Michiel Smid (Magdeburg)
Mandayam K. Srivas (SRI)

Organizers

The 20th FST TCS (FST TCS 2000) will be organized by the Department of Computer Science and Engineering, Indian Institute of Technology, Delhi, Hauz Khas, New Delhi 110 016

Organizing Committee

Sandeep Sen (IIT, Delhi) (chair)
Naveen Garg (IIT, Delhi) (treasurer)
S N Maheshwari (IIT, Delhi)

Sponsors

IBM India Research Laboratories
Cadence Design Systems
Tata Infotech
Sasken Communications Technologies Limited
Tata Consultancy Services (TRDDC)
IIT Delhi

Conference Site

The conference will be held at The India International Centre, Max Mueller Marg, 40 Lodhi Estate, New Delhi 110 003.
Telephone number: +91 11 461 9431. Fax: +91 11 462 7751
The invited talks will be in the auditorium.


Previous Conferences

To learn more about FST TCS, you can read


Other TCS Events in India

People interested in theoretical Computer Science may check out