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