This IMA Volume in Mathematics and its Applications MICROLOCAL ANALYSIS AND NONLINEAR WAVES is based on the proceedings of a workshop which was an integral part of the 1988- 1989 IMA program on "Nonlinear Waves". We thank Michael Beals, Richard Melrose and Jeffrey Rauch for organizing the meeting and editing this proceedings volume. We also take this opportunity to thank the National Science Foundation whose financial support made the workshop possible. A vner Friedman Willard Miller, Jr. PREFACE Microlocal analysis is natural and very successful in the study of the propagation of linear hyperbolic waves. For example consider the initial value problem Pu = f E e'(RHd), supp f C {t ;::: O} u = 0 for t < o. If P( t, x, Dt,x) is a strictly hyperbolic operator or system then the singular support of f gives an upper bound for the singular support of u (Courant-Lax, Lax, Ludwig), namely singsupp u C the union of forward rays passing through the singular support of f.