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