Foundations of Software Technology and Theoretical Computer Science  (FST TCS)

1981 | 1982 | 1983 | 1984 | 1985 | 1986 | 1987 | 1988 | 1989 | 1990

1991 | 1992 | 1993 | 1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000


2000 December 13-15
Delhi,  at IIC;  organized by IIT Delhi
LNCS    (eds:  Sanjiv Kapoor, Sanjiva Prasad)
Invited Speakers:
Other Events:

1999   December 13-15
Chennai,   at IIT Madras;  organized by IIT Madras and IMSc
LNCS  1738 (eds:  C Pandu Rangan,  Venkatesh Raman,  R Ramanujam):
Invited Speakers:
Martin Abadi, Lila Kari, Jean-Jacques Levy, Micha Sharir and Seinosuke Toda
Other Events:

1998  December
Chennai,   at IMSc;  organized  by IMSc.
LNCS 1530 (eds:  V Arvind,  R Ramanujam)
Invited Speakers:
Rajeev Alur, Neil Immerman, Ken McMillan, John Reif, Erik Schmidt and Umesh Vazirani
Other Events:

1997 December
Kharagpur,   at IIT Kharagpur;  organized by IIT Kharagpur.
LNCS 1346 (eds: S Ramesh,  G Sivakumar)
Invited Speakers:
Edmund Clarke, Deepak Kapur, Vijaya Ramachandran, Madhu Sudan and Moshe Vardi
Other Events:

1996 December
Hyderabad,  at University of Hyderabad;  organized by University of Hyderabad.
LNCS 1180 (eds V Chandru,  V Vinay)
Invited Speakers:
Eric Allender, Arvind, Ian Munro and John Rushby
Special session in honour of Rohit Parikh:
        Alessandra Carbone, Gilbert Ndjatou, Vaughan Pratt and R. Ramanujam.
Other Events:
Workshop on Verification
Speakers:  N Shankar, J Moore, John Rushby,  G Huet, M Srivas, D Kapur, C George and R Alur.

1995 December
Bangalore, at IISc; organized by IISc.
LNCS 1026 (ed PS Thiagarajan)
Invited Speakers:
H. Edelsbrunner, Mogens Nielsen, Prakash Panangaden and Mike Paterson

1994 December
Madras, at IMSc and Sameer;  organized by IMSc.
LNCS 880 (ed  PS Thiagarajan)
Invited Speakers:
Thierry Coquand, Lance Fortnow, Dexter Kozen, Prabhakar Raghavan and Wolfgang Thomas

1993 December
Bombay
LNCS 761 (ed  RK Shyamasundar)
Invited Speakers:
Henk Barendregt, Gerard Berry, Joseph Halpern, Juris Hartmanis and Ketan Mulmuley

1992 December
Delhi,  at IIT Delhi;  organized by IIT Delhi.
LNCS 652 (ed  RK Shyamasundar)
Invited Speakers:
Samson Abramsky, Kurt Mehlhorn and Amir Pnueli.

1991 December
Delhi, at IIC; organized by IIT Delhi.
LNCS 560 (eds S Biswas,  KV Nori)
Invited Speakers:
Manuel Blum, Yuri Gurevich and Glynn Winskel

1990 December
Bangalore
LNCS 472 (eds  KV Nori,  CE Veni Madhavan)
Invited Speakers:
Jean-Louis Lassez and S. Rao Kosaraju
 Special session in honour of R. Narasimhan:
                B. Chandrasekaran, Rajiv Sangal and A. Rosenfeld

1989 December
Bangalore
LNCS 405 (ed  CE Veni Madhavan)
Invited Speakers:
Leo Guibas, Mathai Joseph, Matthew Hennessy and G. Rozenberg

1988
Pune
LNCS 338 (eds  KV Nori, Kumar)
Invited Speakers:
R. Burstall, K. Furukawa, Maurice Nivat and F. Preparata

1987
Pune
LNCS 287 (ed KV Nori...)
Invited Speakers:
David Gries, Yuri Gurevich, Gerard Huet, Jayadev Misra and Rohit Parikh

1986
Pune
LNCS 241 (ed  KV Nori...)
Invited Speakers:
Dines Bjorner, Ravi Kannan, Laszlo Lovasz and Christos Papadimitrou

1985
Delhi, at IIC;  organized by IIT Delhi.
LNCS 206 (ed SN Maheshwari)
Invited Speakers:
Arvind, Ashok Chandra, Tony Hoare and Zohar Manna

1984
Bangalore
LNCS 181 (eds M Joseph,  RK Shyamasundar)
Invited Speakers:
R. Kowalski, Rohit Parikh, Sartaj Sahni and P.S. Thiagarajan

1983
Bangalore
Invited Speakers:
K. Mani Chandy, John Hopcroft and E.V. Krishnamurthy

1982
Bangalore
Invited Speakers:
David Gries, Philippe Flajolet and Aravind Joshi

1981
Bangalore
Invited Speaker:
Maurice Nivat