Foundations of Software Technology and Theoretical Computer Science

19th Conference Chennai, India, December 13-15, 1999 Proceedings

  • C. Pandu Rangan
  • V. Raman
  • R. Ramanujam
Conference proceedings FSTTCS 1999

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1738)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Talk 1

  3. Session 1(a)

    1. Srinivas Aluru, Fatih E. Sevilgen
      Pages 21-33
    2. Jeet Chaudhuri, Subhas C. Nandy
      Pages 34-46
  4. Session 1(b)

    1. Deepak D’Souza, P. S. Thiagarajan
      Pages 60-71
  5. Session 2(a)

  6. Session 2(b)

  7. Invited Talk 2

    1. Martín Abadi, Cédric Fournet, Georges Gonthier
      Pages 122-141
  8. Session 3

    1. Jürgen Dix, Karl Schlechta
      Pages 142-154
    2. James J. Lu, Neil V. Murray, Erik Rosenthal
      Pages 155-167
  9. Session 4

  10. Invited Talk 3

    1. Jean-Jacques Lévy, Luc Maranget
      Pages 181-200
  11. Session 5(a)

    1. Luca Becchetti, Miriam Di Ianni, Alberto Marchetti-Spaccamela
      Pages 201-213
    2. Naveen Garg, Sachin Jain, Chaitanya Swamy
      Pages 213-218
  12. Session 5(b)

    1. Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan
      Pages 219-231
    2. Supratik Mukhopadhyay, Andreas Podelski
      Pages 232-244
  13. Session 6

    1. Nicole Bidoit, Sandra de Amo
      Pages 245-257

About these proceedings

Keywords

Automata Theory Algorithms Computing Theory D programming language Foundations of Computing Mathematical Logic Searching Variable algorithms automata calculus complexity computer science logic model checking theoretical computer science

Editors and affiliations

  • C. Pandu Rangan
    • 1
  • V. Raman
    • 2
  • R. Ramanujam
    • 2
  1. 1.Department of Computer Science and EngineeringIndian Institute of TechnologyChennaiIndia
  2. 2.Institute of Mathematical Sciences C.I.T. CampusChennaiIndia

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46691-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66836-7
  • Online ISBN 978-3-540-46691-8
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology