World mathematical year 2.000 and computer sciences -- Dependable parallel computing by randomization (Abstract) -- System dependability -- Technology, networks, and the library of the year 2000 -- Mosaic C: An experimental fine-grain multicomputer -- New frontiers in database system research -- Formal theories and software systems: Fundamental connections between Computer Science and Logic -- Time for concurrency -- Horizons of parallel computation -- Control software for virtual-circuit switches: Call processing -- What is knowledge representation, and where is it going? -- Creating a design science of Human-Computer Interaction -- Sensing robots -- Fundamentals of bicentric perspective -- Digital HDTV: A technical challenge -- Autonomous control -- Analog and digital computing -- Stochastic control and large deviations -- Differential-Geometric methods: A powerful set of new tools for optimal control -- Coordinating vehicles in an automated highway -- Opportunities and challenges in signal processing and analysis -- Neural computing and stochastic optimization -- Stabilization of Galerkin methods and applications to domain decomposition -- An efficient implementation of the spectral partitioning algorithm on connection machine systems.