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.