Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!seismo!lll-crg!mordor!sri-spam!sri-unix!hplabs!hplabsc!taylor From: taylor@hplabsc.UUCP (Dave Taylor) Newsgroups: mod.conferences Subject: Conf: Workshop on THe Use of Symbolic Methods.. Message-ID: <892@hplabsc.UUCP> Date: Fri, 21-Nov-86 13:26:08 EST Article-I.D.: hplabsc.892 Posted: Fri Nov 21 13:26:08 1986 Date-Received: Fri, 21-Nov-86 20:42:03 EST Expires: Thu, 15-Jan-87 03:00:00 EST Reply-To: grossman@cartan.berkeley.edu (Robert Grossman) Organization: Hewlett-Packard Laboratories Lines: 74 Keywords: Symbolic Computing, Algebra, Geometry, Engineering Approved: taylor@hplabs Location: Moffett Field, CA, USA ---- WORKSHOP ON The Use of Symbolic Methods to Solve Algebraic and Geometric Problems Arising In Engineering will take place at the NASA - Ames Research Center Moffett Field, California on January 15 and 16, 1987 The program will consist of the following eight main lectures: * H. Abelson and G. Sussman, Massachusetts Intstitute of Technology Dynamicist's Workbench * G. Blankenship, University of Maryland, College Park Symbolic Algebraic Methods in Robotics * P. Colella, Lawrence Livermore National Laboratory To be announced * R. Fateman, University of California, Berkeley Incorporating Operator Primitives in Macsyma-like Systems: Prospects and Pitfalls * R. Grossman, University of California, Berkeley Symbolic Computations of Higher Order Derivations * P. S. Krishnaprasad, University of Maryland, College Park Applications of Computer Algebra Programs In Nonlinear Control and Filtering Problems * A. Odlyzko, AT & T Bell Laboratoties Some Applications of Symbolic Mathematics in Mathematics * R. Rand, Cornell University Perturbation Methods, Bifurcation Theory and Computer Algebra There will also be several additional lectures and discussion sessions. The workshop is co-sponsored by: NASA - Ames Research Center Center for Pure and Applied Mathematics University of California Coordinating Committee for Nonlinear Science SIAM Activities Group in Control and Systems Theory For information contact: R. Grossman Department of Mathematics University of California, Berkeley Berkeley, California 94720 (415) 642-8196 grossman@cartan.berkeley.edu grossman@ucbcarta.bitnet University of California faculty members and graduate students are encouraged to apply for travel support.