The University of Waterloo 200 University Avenue Waterloo, Ontario The Institute for Computer Research (ICR) Presents an Evening Lecture Series on New Interactions Between Computer Science and Mathematics by: Dr. William F. Shadwick of: The Fields Institute for Research in Mathematical Sciences University of Waterloo Date: Monday, January 23, 1995 Time: 8:00 p.m. Place: William G. Davis Computer Research Centre, Room 1302 Abstract: The use of computation has made possible many new developments in mathematics and related disciplines which would have been diffi- cult to imagine even a few years ago. For example, the use of powerful graphics and visualization software provided new solu- tions to old problems in differential geometry. Computer imple- mentations of mathematical techniques that had been forgotten for decades now allow robot controllers to parallel park multi-link trailers - and the same technology combined with high performance computing may revolutionize aircraft design. At the same time, important mathematical challenges are being posed by computer science in such important areas as visualization and artificial intelligence. These examples are indicative of the lively in- teraction between mathematics and computer science. In this lec- ture some of the exciting opportunities that this interaction provides will be discussed. William Shadwick received his BSc and MSc from the University of Western Ontario and his PhD from the University of London, Eng- land in 1979. He has held visiting positions at Duke University and the University of North Carolina and has been a member of the Institute for Advanced Study, Princeton and the Mathematical Sci- ences Research Institute, Berkeley. He has been a US National Research Council Senior Research Associate at the NASA Ames Research Center and is a Long Term Collaborator at the Los Alamos National Laboratory's Center for Nonlinear Studies. An NSERC University Research Fellow from 1981 to 1991 as well as a Profes- sor of Pure Mathematics from 1990 to 1994 at the University of Waterloo, he is currently a Professor of Mathematics and of Electrical and Computer Engineering at the University of Toronto as well as the Executive Director of the Fields Institute for Research in Mathematical Sciences. He is well known for his research in exterior differential systems and their applications, and has made fundamental contributions to nonlinear control theory. He is Chair of the Advisory Board for the University of Illinois Advanced Computing Center and is Editor for the Journal of Systems Estimation and Control.
DEPARTMENT OF COMPUTER SCIENCE UNIVERSITY OF WATERLOO SEMINAR ACTIVITIES DATABASES SEMINAR -Wednesday, January 18, 1995 Paolo Atzeni, Terza Universita di Roma and Universita di Roma "La Sapienza", will speak on "Management and Translation of Heterogeneous Database Schemes." TIME: 2:30-3:30 p.m. ROOM: DC 1304 ABSTRACT We consider the problem of managing and translating schemes of different data models, in a framework that refers to a wide range of models. This can be at the basis of an integrated CASE environment supporting the analysis and design of information systems, allowing different representations for the same data schemes. We introduce a graph-theoretic formalism to define and compare models and schemes. This is based on a classification of the constructs used in the known data model into a limited set of types. Then, we study formal properties of the activity of scheme translation from one model to another.
DEPARTMENT OF COMPUTER SCIENCE UNIVERSITY OF WATERLOO SEMINAR ACTIVITIES DATA STRUCTURES SEMINAR -Friday, January 27, 1995 Svante Carlsson, University of Lulea, Sweden, will speak on "Finding the shortest watchman-path in polynomial time." This is a joint work with Hakan jonsson and Bengt Nilsson. TIME: 12:30-1:30 ROOM: DC 1331 ABSTRACT No abstract at this time.
Cognitive Science Seminar: January 23. Hagey Hall 334. Noon. Robert McCauley, Philosophy Department, Emory University. Religious Ritual and Memory Dynamics.