Logic List Mailing Archive

FSTTCS 2004: Chennai, India, Dec 2004

FSTTCS 2004
The 24th Conference on Foundations of Software Technology and Theoretical
Computer Science
December 16--18, 2004
The Institute of Mathematical Sciences
Chennai, INDIA

http://www.fsttcs.org/

Invited Speakers

    * Javier Esparza
      Verifying probabilistic procedural programs
    * Piotr Indyk
      Streaming algorithms for geometric problems
    * Pavel Pevzner
      Genome halving problem revisited
    * John C. Reynolds
      Towards a grainless semantics for shared-variable concurrency
    * Denis Th?rien
      Regular languages, unambiguous concatenation and computational
      complexity