Future Tendencies in Computer Science, Control and Applied Mathematics

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.