25th Anniversary of INRIA 1992: Paris, France

Alain Bensoussan, Jean-Pierre Verjus (Eds.): Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992, Proceedings. Lecture Notes in Computer Science 653 Springer 1992, ISBN 3-540-56320-2 BibTeX

@proceedings{DBLP:conf/inria/1992,
  editor    = {Alain Bensoussan and
               Jean-Pierre Verjus},
  title     = {Future Tendencies in Computer Science, Control and Applied Mathematics:
               International Conference on the Occasion of the 25th Anniversary
               of INRIA, Paris, France, December 8-11, 1992, Proceedings},
  booktitle = {25th Anniversary of INRIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {653},
  year      = {1992},
  isbn      = {3-540-56320-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Inaugural Conference

Jacques-Louis Lions: World Mathematical Year 2000 and Computer Sciences. 3-16 BibTeX

Symbolic Computation, Programming, and Software Engineering

Michael O. Rabin: Dependable Parallel Computing by Randomization (Abstract). 19-20 BibTeX

Parallel Processing, Databases, Networks, and Distributed Systems

Brian Randell: System Dependability. 21-50 BibTeX
Jerome H. Saltzer: Technology, Networks, and the Library of the Year 2000. 51-67 BibTeX
Charles L. Seitz: Mosaic C: An Experimental Fine-Grain Multicomputer. 69-85 BibTeX
Jeffrey D. Ullman: New Frontiers in Database System Research. 87-101 BibTeX

Symbolic Computation, Programming, and Software Engineering

Robert L. Constable: Formal Theories and Software Systems: Fundamental Connections between Computer Science and Logic. 105-127 BibTeX
Zohar Manna, Amir Pnueli: Time for Concurrency. 129-153 BibTeX
Franco P. Preparata, Gianfranco Bilardi: Horizons of Parallel Computation. 155-174 BibTeX
Ravi Sethi, Roy H. Campbell, Sean Dorward, Anand Iyengar, Charles R. Kalmanek, Gary J. Murakami, Ce-Kuen Shieh, See-Mong Tan: Control Software for Virtual-Circuit Switches: Call Processing. 175-186 BibTeX

Artificial Intelligence, Cognitive Systems, and Man-Machine Communications

Ronald J. Brachman: What is Knowledge Representation, and Where is it Going? 189-203 BibTeX
John M. Carroll: Creating a Design Science of Human-Computer Interaction. 205-215 BibTeX

Robotics, Image, Vision

Michael Brady: Sensing Robots. 219-231 BibTeX
Jan J. Koenderink: Fundamentals of Bicentric Perspective. 233-251 BibTeX
Arun N. Netravali: Digital HDTV: A Technical Challenge. 253-264 BibTeX

Signal Processing, Control and Manufacturing

Kalle Åström: Autonomous Control. 267-278 BibTeX
Roger W. Brockett: Analog and Digital Computing. 279-289 BibTeX
Wendell H. Fleming: Stochastic Control and Large Deviations. 291-300 BibTeX
Héctor J. Sussmann: Differential-Geometric Methods: A Powerful Set of New Tools for Optimal Control. 301-314 BibTeX
Pravin Varaiya: Coordinating Vehicles in an Automated Highway. 315-330 BibTeX
Alan S. Willsky: Opportunities and Challenges in Signal Processing and Analysis. 331-338 BibTeX
Eugene Wong: Neural Computing and Stochastic Optimization. 339-342 BibTeX

Scientific Computing, Numerical Software, and Computer Aided Engineering

Franco Brezzi, C. Baiocchi, L. Donatella Marini: Stabilization of Galerkin Methods and Applications to Domain Decomposition. 345-355 BibTeX
Thomas J. R. Hughes, Zdenek Johan: An Efficient Implementation of the Spectral Partitioning Algorithm on Connection Machine Systems. 357-371 BibTeX