
                          ACM SIGSAM
              Glushkov Institute of Cybernetics


                           ISSAC'93

                  INTERNATIONAL SYMPOSIUM ON
              SYMBOLIC AND ALGEBRAIC COMPUTATION


                  Advance Program and Registration


                        July 6-8, 1993
                        Kiev, Ukraine

                       Workshop, July 9



                   Sponsored by ACM SIGSAM


                      Program Committee

Gaston Gonnet (Chair)
John Abbott           Marc Gaetano           Dima Yu.Grigoryev
Susan Landau          Wolfgang Lassner       John McKay
Francois Morain       Tateaki Sasaki         Sabine Stifter
Anatol Slissenko      Robert Sutor           Felix Ulmer

                        Conference Officers

Alexander A.Letichevsky (Conference Chair)
Manuel Bronstein      Vladimir P.Gerdt       Gaston Gonnet
Julia V.Kapitonova    Sergei V.Kolyada       Vladimir S.Mikhalevich
Igor V.Velbitsky


                         Major Contributors

     International Software Technology Research Center,  Association
"Ukraine  and  World",  International  Institute for Problems of the
Asteroid Hazard, Litsoft Enterprise R&d


                    Addresses for Communication

Alexander Letichevsky
Glushkov Institute of Cybernetics, 40 Glushkov ave., Kiev 252207,
Ukraine, e-mail: let%d105.icyb.kiev.ua@relay.ussr.eu.net

Julia Kapitonova
Glushkov Institute of Cybernetics, 40 Glushkov ave., Kiev 252207,
Ukraine, e-mail: kap%d105.icyb.kiev.ua@relay.ussr.eu.net


                          Advance Program


Tuesday morning, July 6

On Algebraic Solutions of First Order Riccatti Equation
A.Yu.Zahrkov

A Rationality Result for Kovacic's Algorithm
M.van der Put & P.A.Hedriks

A Probabilistic Symbolic-Numerical Method for the Stability
Analyses of Difference Schemes for PDEs
V.G.Ganzha & E.V.Vorozhtsov

Computer Generation of Normalizing Transformation for Systems of
Nonlinear Ode
V.Edneral

On d'Alembert Substitution
S.A.Abramov

Finding All Hypergeometric Solutions of Linear Differential Equations
M.Petkovsek & B.Salvy

Integration algorithms giving expressions valid on domains of
maximum extent
D.J.Jeffrey

Tuesday afternoon, July 6

Numeric Code Optimization in Computer Algebra Systems and Recurrent
Relations Technique
E.V.Zima

A Hybrid Method for High Precision Calculation of Polynomial Real
Roots
G.E.Collins & W.Krandick

Symbolic Evaluation in the Nonlinear Mechanical Systems
D.M.Klimov, V.M.Rudenko & V.V.Leonov

Parallelizing Programs with APS
A.B.Godlevsky & A.E.Doroshenko

Application of Computer Algebra to Investigation of the Relative
Iquilibria of a Satellite
S.A.Gutnik

Studies of Regular Precessions of a Symmetric Satellite by Means
of Computer Algebra
I.I.Shevchenko & A.G.Sokolsky

GRADIENT, Algorithmic Differentiation in Maple
M.B.Monagan & W.M.Neuenschwander

A Type System for Computer Algebra
P.Santas

Wednesday morning, July 7

The Regular Problem and Green Equivalences for Special Monoids
W.Jinzhao

Decomposition of *-closed algebras in polynomial time
K.Friedl

On the Assignment Complexity of Uniform Trees
H.Wu

Decision procedures for stratified set-theoretic syllogistics
D.Cantone

A Generalization of the Binary GCD Algorithm
T.Jebelean

Deciding finiteness of matrix groups in deterministic polynomial time
R.Beals, L.Babai & D.Rockmore

An elementary algorithm for computing the composition factors of
a permutation group
R.Beals

Wednesday afternoon, July 7

Aspect Graphs of Algebraic Surfaces
M.F.Roy & T.Van Effelterre

A Zero Structure Theorem for Exponential Polynomials
D.Richardson

On the greatest common divisor of polynomials which depend on a
parameter
S.A.Abramov & K.Yu.Kvashenko

Full Partial Fraction Decomposition of Rational Functions
M.Bronstein & B.Salvy

An upper bound on the number of monomials in the Sylvester resultant
M.Kalkbrener

Noether's S-transformation Symplifies Curve Singularities Rationally;
a local analysis
E.J.Volcheck

The 40 "generic" positions of a parallel robot
B.Mourrain

A Practical Method for the Sparse Resultant
I.Emiris & J.Canny

Thursday morning, July 8

Improved Parallel Computations with Toeplitz-Like and Hankel-Like
Matrices
D.Bini & V.Pan

Efficient Algorithms for Hankel matrices over Z[x_1,...,x_r]
J.R.Sendra & J.Llovet

Computation of the Smith normal form of polynomial matrices
G.Villard

On Hensel construction of eigenvalues and eigenvectors of matrices
with polynomial entries
K.Yokoyama & T.Takeshima

An Algorithm for the Computation of Normal Forms and Invariant
Manifolds
L.Vallier

Nested Expansions and Hardy Fields
J.Shackell

A New Algorithm for Computing Asymptotic Series
D.Gruntz

Thursday afternoon, July 8

Differential Term Orders
V.Weispfenning

Computing Groebner Bases in Monoid and Group Rings
K.Madlener & B.Reinert

Quantifier Elimination for Formulas Constrained by Quadratic
Equations
H.Hong

A dynamic Algorithm for Groebner basis computation
M.Caboara

Automated Geometry Theorem Proving by Vector Calculation
S.C.Chou, X.S.Gao & J.Z.Zhang

Some Results on Theorem Proving In Geometry over Finite Fields
D.Lin & Z.Liu

Geometry Theorem Proving in Vector Spaces by Means of Groebner Bases
S.Stifter

An Application of IRENA to systems of nonlinear equations arising
in equilibrium flows in networks
G.Keady & M.G.Richardson


                      INTERNATIONAL  WORKSHOP
                   COMPUTER ALGEBRA APPLICATIONS

July 9,  1993,  ISSAC'93  participants  will be welcomed to Glushkov
Institute of Cybernetics where International one-day Workshop on the
Computer  Algebra  Applications will be held as well as meeting with
researchers belonging to  this  institute  will  be  organized.  The
Workshop  is  organized  by  the  International  Institute  for  the
Problems of Asteroid Hazard (St.Petersburg) in contact with the  LOC
of  ISSAC'93  and  is  devoted  to the 70-th Birthday of Academician
V.M.Glushkov.  Participants of the Workshop will have an opportunity
to  discuss their presentations with specialists on Computer Algebra
taking part in ISSAC'93.  The workshop is open to the public with no
registration fee.

For further information on the workshop please contact:

Dr. Nickolay Vasiliev
Institute of Theoretical Astronomy
of the Russian Academy of Sciences
10 Nab.Kutuzova
191187 St.Petersburg, Russia
email: vasiliev@iipah.spb.su


                          Conference Sites

ISSAC'93 sites   are  Sport  and  Rus'International  Hotels  located
closely each other in the centre of Kiev City. Both these hotels are
new. ISSAC'93 will be arranged in Rus' International Congress Hall.

Sport Hotel   is   usually   used  to  accommodate  participants  of
international sport competitions.  There  are  one-bed  and  two-bed
rooms and restaurant in this hotel. Rus' International is located at
10-minutes-walking distance from the Sport.

The address of  Sport:  55,  Chervonoarmiyska  str.  (Respublikansky
Stadium Underground Station).


                       Software Demonstration

Software demonstration on workstations and personal  computers  will
be organized in Rus' International Congress Hall area in parallel to
ISSAC'93.


                       Settlement in Ukraine

Regular payments  in  Ukraine  are  in  cash.  Ukraine  has  its own
currency - ukrainian karbovanets.  Additionally one can  pay  in  US
dollars  (preferably)  and  German  marks.  There  are numerous bank
offices to exchange money in the city.  Sport and Rus' International
have them too.

Credit cards usage is limited in Ukraine. Sport does not accept them
but Rus' International does.


                     Arrival by Plane and Train

Sport and  Rus'  International  are situated at 30-minute-journey by
car from Borispol International Airport. A taxi from the airport for
about   $10   is   the  quickest  way  to  reach  conference  sites.
Additionally,  Local Organizing Committee intend  to  meet  ISSAC'93
participants in Borispol Airport and to transport them to the hotels
by bus.

There is Central railway station in the centre of the City of  Kiev.
One  can get from there to the conference sites by taxi or by public
transport (tramway #35, 15 minutes).


                      Public Transport in Kiev

Many places of interest (sights,  museums,  theatres,  concert halls
etc.) are in a walking distance from the conference sites.  One  can
use  also rather efficient public transport network (the underground
system as well as tramway,  trolleybus  and  bus  lines  and  taxi).
Tickets  can be bought from driver or from yellow boxes at stops and
must be stamped while entering vehicle.


                              Climate

The climate   in   Kiev   is   moderated  continental.  The  average
temperature is +19C to +24C in July. Usually July is hot in Kiev.


                           Social Program

Social program  for  the  symposium  participants  and  accompanying
persons will be suggested including sightseeing,  classic  and  folk
music concerts, folk festival etc. It will be finalized depending on
the number of registrants.


                       Post-Conference Tours

Post-conference tours  to  Moscow  (organizer  Victor M.Rudenko,  e-
mail:  rudenko@ipm.msk.su)  and  St.Petersburg   (organizer   Andrei
Gh.Sokolsky,  email:  sokolsky@iipah.spb.su)  will  be  arranged for
interested persons with visiting leading research institutes.


                         Travel Information

Kiev is  the  capital  of  new independent state of Ukraine which is
located in the south-east of Europe. Kiev is the greatest political,
economical,  scientifical and cultural centre in this country. Total
population is more than 3 millions. There are Academy of Sciences of
Ukraine  -  a large research and educational organization (including
such  leading  research  institutes   as   Glushkov   Institute   of
Cybernetics,  Institute  for  Mathematics  etc.)  as  well  as  Kiev
Shevchenko State University,  Kiev Polytechnical Institute and other
high  school  establishments,  numerous theaters,  museums,  concert
halls and so on.

Kiev was founded more than 1500 years ago.  It was the centre of the
ancient   East  Slav  state  named  Kievan  Rus  (X-XII  centuries).
St.Sophia Cathedral (XI century) and Kiev-Petchersk Lavra (Monastery
of the Caves, XI century) and others are monuments of great cultural
interest and world level value.


                            Other Events

Reception and Banquet: a reception on Tuesday evening and banquet on
Thursday evening are included in your registration fee.


                             Entry Visa

Entry Visa  Information.  Normally  Ukrainian  Entry  Visa should be
taken from Ukrainian Embassy/Consulary located  in  the  country  of
ISSAC'93  participant  residence  if  one  have  the  invitation  to
ISSAC'93.  Ukraine is new independent state so in several  countries
Ukrainian  embassies/consularies are located temporarily in the same
buildings as Russian ones. Russian Entry Visa is invalid in Ukraine.
If there is no Ukrainian Embassy/Consulary in particular country the
entry visa can be arranged at Borispol International Airport for  72
hours  (the  price  equals  to  USD50)  and then be prolonged in the
Ministry for Foreign Affairs  if  need  be  (Glushkov  Institute  of
Cybernetics will help to do it).


               ISSAC'93 Participant Registration Form

Name______________________________________________________
Accompanying person(s)____________________________________
Affiliation_______________________________________________
Street Address____________________________________________
City/State/Country/Zip code_______________________________
Telephone_________________Fax_____________________________
Email_____________________Telex___________________________
Please fill in your ACM or SIGSAM membership number
__________________________________________________________
Date of arrival in Kiev___________________________________
date of departure from Kiev_______________________________
Accommodation information.
Sport Hotel. Prices in Sport Hotel (including breakfast):
single occupancy - $120 (apartments);
                 - $ 65 (ordinary);
double occupancy - $ 80 ($40 per person).
Meals (3 time a day) - + $20.
The payment  for accommodation in Sport may be included to the check
for registration fee.

Rus' International Hotel is 4-star comfortable one.  Prices  are  as
follows:
single occupancy - $177;
double occupancy - $177.
All prices include breakfast.  One can pay for accommodation in Rus'
in cash or using credit cards.

The registration fees for ISSAC'93 are as follows. To be early, your
registration application must be received by Friday,  June 4 (please
use e-mail to make organizers known of it, if possible).

                             early           late

    ACM, SIGSAM member       USD250          USD280
    Non member               USD280          USD300

Please send the check to the address

     Banque Saradar France, sa.
     49, Avenue George v75008 Paris, France
     Tel: (1)47230047
     Fax: (1)47239920
     Telex: JOSAR 649091 F - JOSAR 649093 F

     Favour: Mr.Igor Velbitsky
     A\C No.5781601703
     Reference: TECHNOSOFT

One would indicate a purpose of a payment in the check:

     The registration fee of FIRST-NAME LAST-NAME for
     participation in ISSAC'93

Please send the copy of the check at the fax in Kiev

(044)266 6394

pointing  attn: ISSAC'93 Organizing Committee.

-----------------------------------------------------------------------------
-----------------------------------------------------------------------------

                             Call-for-Papers
                             ===============

International Symposium on                     ****************
                                               *** DISCO'93 ***
DESIGN and IMPLEMENTATION of                   *** DISCO'93 ***  
                                               *** DISCO'93 ***
SYMBOLIC COMPUTATION SYSTEMS                   ****************

September 15 - 17, 1993, Gmunden, Austria

----------------------------------------------------------------

DISCO '93 is the third edition of an International Symposium aiming 
mainly at presenting and discussing new trends in the development of 
Symbolic Computation Systems. The Symposium focuses on innovative 
methodological and technological aspects of hardware and software 
system design and implementation for: 
     
 - Symbolic and Algebraic Computation        - Automated Reasoning

 - Geometric Modelling and Computation       - Automatic Programming

Topics:
======
Papers are expected on one of the following topics:

Theory:

- Specification and verification logics
- Specification languages
- Executable specifications   
- Abstract data types and type inference

Languages: 

- Language design 
- Language implementation 
- Integration of programming paradigms  
- Language constructs for different computing paradigms
  (numeric, non-numeric, logic) 

Software Environments: 

- System design and implementation
- Software development tools
- Systems for different computing paradigms 
  (numeric, non-numeric, logic) 
- Visual and graphic tools
- User interface

Architectures:

- Parallel and specialized architectures
- Software/hardware interface

This list of topics is not exhaustive; papers are particularly 
encouraged on the design and the development of significantly 
innovative running systems. 
----------------------------------------------------------------

Organized by:
============
 
RISC, Johannes Kepler University, Linz, Austria;
DIS, Universita  "La Sapienza" , Roma, Italy;
-----------------------------------------------------------------
With the requested cooperation of: AAR, ACM, ECCAI, EATCS, IEEE, SIGSAM

Papers submission:
=================

Four copies of a one-page abstract and of the full paper (written in 
english and not exceeding 12 double-spaced pages) must be received 
by February 1st, 1993 by the Program Committee Chairman:

Prof. Alfonso Miola
DIS Universita' di Roma ''La Sapienza''
00198 Roma, Italy
Tel: Italy (06) 8841-950
Fax: Italy (06) 8442-383
E-mail: miola@iasi.rm.cnr.it

Deadlines:
=========

Papers due:                    February 1st, 1993
Acceptance notification:       May 1st, 1993
Camera ready copies due:       June 1st, 1993

General Information:
===================

Please address all the correspondence to:

Dr. Franz Lichtenberger 
RISC, Johannes Kepler University
A-4040 Linz, Austria
Tel: Austria (0)7236-3231-22
Fax: Austria (0)7236-3231-30
E-mail: lichtenb@risc.uni-linz.ac.at

-----------------------------------------------------------------------------
-----------------------------------------------------------------------------
 
                    THIRD INTERNATIONAL WORKSHOP ON

              SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE

          AND EXPERT SYSTEMS FOR HIGH ENERGY AND NUCLEAR PHYSICS

                                1993

                          October 4 - 8

                 OBERAMMERGAU, Oberbayern, Germany



              FIRST ANNOUNCEMENT AND CALL FOR PAPERS



Dear Colleagues,

This is a first announcement for the third workshop in a series started
in Lyon in March 1990 and continued in La Londe in January 1992.
The enthusiasm and interest of the participants showed clearly that this
type of meeting was filling a real need for discussion and information.
The workshop will take place in a nice resort, about 100 km from Munich,
in Bavaria.

The inviting village

Oberammergau is a village with approximately 5000 inhabitants - farmers,
woodcarvers, businessmen, and craftsmen. It is surrounded by green meadows
and natural hills, wooded mountains up to 1700 m. As soon as one sees the
characteristic Kofel mountain, one will know that the destination is nearby:
one of the most charming parts of the upper Ammer Valley in the Werdenfels
County. This is the place where the range of varied hills of the Bavarian
Lower Alps meet the mountains of the Ammergauer Alps. That is where the
romantic nature of the village Oberammergau helps to forget everyday-life
amidst a wonderful landscape.
Oberammergau, world-wide known as a holiday village and the Passion Play
village, shows still intact farms in its center. Around the farms are
first-class hotels, comfortable inns, family pensions, private homes,
and holiday apartments. Walking through the village, one will stumble on
shops with highly artistic woodcarvings in all forms and varieties.

The main topics of the five full days WORKSHOP are:

  - Software development for "Big Sciences"
  - Networks and distributed computing
  - Methods and techniques of artificial intelligence
  - Symbolic manipulation techniques

Special emphasis will be laid on:

(A)  Group: Software Engineering

  (1) Subgroup: Languages and Systems

        - Conventional languages, Fortran 90, C, ...
        - Object Oriented Languages, C++, Objective-C, ...
        - Mixed languages environment
        - Operating systems HEPIX, HEPVM, ...
        - Network wide application software maintenance
        - Porting packages between languages and OS.
        - Data Base maintenance (updating, access protection)
        - Data description and representation

  (2) Subgroup: CASE
                Tools for developing, maintaining and designing
                software projects.

        - Intelligent editors
        - Maintenance of multi-version application: CMZ, Historian, ...
        - On-line documentation
        - Symbolic debuggers
        - Data representation
        - Software design and simulation
        - System simulation for real-time application
        -

  (3) Subgroup: Interactive Analysis

        - Event server
        - Workstation <-> Mainframe cooperation
        - Graphical user interface
        - Interactive analysis packages PAW, Reason, IDAL, ...
        -

 (B)  Group: Artificial Intelligence

   (1) Subgroup: Languages, Systems

        - AI languages
        - Mixing AI languages, OOL and conventional languages in
          applications
        - Expert system development tools
        -

  (2) Subgroup: Expert Systems

        - Off-line support
        - Hardware testing and maintenance
        - On-line assistance
        - Real-time expert systems
        - Electronic log-book
        - Testing expert systems: validation and verification
        - Embedding E.S. support in detectors or systems

  (3) Subgroup: Pattern Recognition Methods, Optimization Problems

        - Track and shower recognition
        - Event selection
        - Fuzzy-logic in pattern recognition
        - Genetic algorithms
        -

   (4) Subgroup: Neural Networks

        - Algorithms for off-line pattern recognition
        - Algorithms for fast triggering
        - Test of "Silicon Neural Network" prototypes
        - Neural network training


(C)  Group: Symbolic Manipulation Techniques

  (1) Subgroup: Languages and tools

        - Schoonschip, Form, Reduce, Mathematica, Scratchpad II,
          GAL, Maple, ... a critical review.
        - Graphics for diagrams display and multi-dimensional
          function representation
        - Database for intermediate computations and results,
          integrals, sub-diagrams, ...
        -

  (2) Subgroup: Packages for Feynman Diagrams Computation

        - Grace/Chanel/Bases/Spring, CompHEP, FeynArt/FeynCalc
          Physica, HIP, ...
        - Diagram generation
        - Symbolic diagram computation
        - Symbolic/numeric integral computation
        - Event Generator
        -

 (3) Subgroup: Advanced Feynman Diagrams Computation

        - methods and algorithms of higher order calculations
        - symbolic manipulation for N-loop calculations
        - numerical methods for N-loop calculations
        - Particular problems in specific process
        -

 (3) Subgroup: Quantum Field Theory and Super-Algebra and other
               Field
       - applications in Quantum Field Theory
       - calculations in supersymmetry theories (SUSY, SG, Strings, ... )
       - application in other physics research
       -

------------------------------------------------------------------------
Talks for the topical workshops will be selected by the Organizing
Committee on the basis of a detailed abstract to be submitted before:

                       May 1, 1993.

A poster session will be organized.

IMPORTANT DATES:
----------------
Preliminary registration before: May 1, 1993
Submission of abstracts before: May 1, 1993
Notification of acceptance of a paper before: July 1, 1993
Final manuscripts before: October 8, 1993
Final registration before: September 1, 1993

-----------------------------------------------------------------------------
-----------------------------------------------------------------------------

                    THIRD INTERNATIONAL WORKSHOP ON

              SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE

          AND EXPERT SYSTEMS FOR HIGH ENERGY AND NUCLEAR PHYSICS

                                1993

                          October 4 - 8

                 OBERAMMERGAU, Oberbayern, Germany


                      PRELIMINARY REGISTRATION


NAME:                                     FIRST NAME:

LABORATORY:                               COUNTRY:

ADDRESS:

TEL:             FAX:                 TELEX:              E-MAIL:


WOULD YOU LIKE TO PRESENT A TALK ?

                       YES/NO

TALK TITLE:



Please indicate GROUP and SUBGROUP from list above (e.g. A.1):
_______________________________________________________________________
To be considered by the organizing committee, send an extended abstract
                     before May 1, 1993 to:

Verena Offermann           or          Karl-Heinz Becks
Physics Department                     Physics Department
University of Wuppertal                University of Wuppertal
Postfach 100127                        Postfach 100127
D 5600 Wuppertal 1                     D 5600 Wuppertal 1
       GERMANY                                GERMANY

Tel: (49) 202 439 2733                 Tel: (49) 202 439 2607
Fax: (49) 202 439 2811                 Fax: (49) 202 439 2811
E-mail:                                E-mail:
offermann@physik.uni-wuppertal.dbp.de  becks@physik.uni-wuppertal.dbp.de
                                       or BECKS at VXCERN

-----------------------------------------------------------------------------
-----------------------------------------------------------------------------

SYMPOSIUM on QUANTIFIER ELIMINATION and CYLINDRICAL ALGEBRAIC DECOMPOSITION

                         October 6--8, 1993
              Research Institute for Symbolic Computation
                     Johannes Kepler Universitaet
                             Linz, Austria

1993 marks more than a quarter of a century of modern research on quantifier
elimination and is the year of the sixty-fifth birthday of George E.
Collins, one of the most important contributors to research on algorithms
for quantifier elimination , cylindrical algebraic decomposition, and
computer algebra in general.  So now is a most appropriate time to hold a
first ever conference emphasizing QE & CAD and one that will honor Professor
Collins' continuing contributions to the field.  The organizing committee
invites submission of papers presenting original research on topics related
to the symposium themes including:

- Algorithmic aspects of quantifier elimination
- Cylindrical algebraic decomposition
- Algorithmic aspects of real geometry
- Complexity of decision theories for elementary algebra and geometry
- Related computer algebra algorithms
- Implementations and systems in the symposium theme areas
- Applications of these techniques to other parts of
       mathematics and to high-tech  problems

                            CALL FOR PAPERS

Authors should send three(3) copies of papers before APRIL 15, 1993 to
Prof. Johnson, the co-Chair of the Programming Committee, at

             Jeremy R. Johnson
     Department of Mathematics and Computer Science
             Drexel University
         Philadelphia, PA 19104 USA
           Phone: (215) 895-2893
      e-mail: jjohnson@mcs.drexel.edu

Authors will be notified of acceptance decision of their papers by July 1,
1993.  Final copies of camera ready manuscripts for accepted papers will be
due at the Symposium on October 7, 1993.  The Symposium Proceedings will be
published by Springer-Verlag.


                        TUTORIAL WORKSHOP

  The symposium will have two parts.  The first part, on Wednesday,
  October 6, will be an introductory workshop on quantifier elimination
  and cylindrical algebraic decomposition.  It is intended for
  mathematicians, scientists, and engineers who would like an introduction to
  the subject.  The workshop will be conducted by Prof. Collins and members of
  his research group.  On Thursday and Friday, the second part of the
  symposium will be devoted to research presentations --- both invited and
  submitted.

                             FACILITIES

  The symposium will be held at RISC-Linz.  RISC is located in
  Hagenberg, a 15-minute drive from Linz.  Hotel accommodations will be
  available in Linz and a shuttle service will provided between Linz
  and Hagenberg.

                             TRAVEL FUNDS

  It is anticipated that funds to help defray travel expenses for a few
  graduate students and recent PhDs will be available.  To apply for such
  funds, USA participants should contact B. F. Caviness.
  Others should contact Prof. Buchberger at the address below.

                            MORE INFORMATION

  For more information and to add your name to the symposium mailing
  list, return the form below to

     B. F. Caviness
     Department of Computer & Information Sciences
     103 Smith Hall
     University of Delaware
     Newark, DE 19716 USA
     Phone: 302/831-8234
     email: caviness@udel.edu


NAME

INSTITUTE

ADDRESS

TELEPHONE

FAX

E-MAIL ADDRESS

I am interested in the Symposium and plan

   -
  |_| to attend

   - 
  |_| submit a paper

   -
  |_| would like information on travel funds

                       SYMPOSIUM COMMITTEES

  Symposium Chair

     Bruno Buchberger
     RISC-Linz
     Johannes Kepler Universitaet
     A-4040 Linz
     Austria
     email: buchberg@risc.uni-linz.ac.at

  Program Committee

     D. Arnon, Xerox PARC, USA
     B. Caviness, Delaware, USA (Co-Chair)
     H. Hong, RISC-Linz, Austria
     J. Johnson, Drexel, USA (Co-Chair)
     M. Kalkbrener, ETH, Switzerland
     E. Kaltofen, RPI, USA
     D. Kozen, Cornell, USA
     W. Krandick, RISC-Linz, Austria
     D. Lazard, Univ. of Paris VI, France
     S. McCallum, Macquarie University, Australia
     J. Renegar, Cornell, USA
     V. Weispfenning, Univ. of Passau, Germany

-----------------------------------------------------------------------------
-----------------------------------------------------------------------------

                   ANNOUNCEMENT AND CALL FOR PAPERS

                THE RHINE WORKSHOP ON COMPUTER ALGEBRA

                Karlsruhe, Germany - March 22-24, 1994

TOPICS: The workshop intends to cover all aspects of Computer Algebra from
theory to applications. As for the  previous workshops, we expect that 1/3
of the accepted papers will cover several domains of applications.

PURPOSES: Although the name is new, this is the 4-th edition of a workshop
initiated     in   Strasbourg  in 1988.    To      avoid competition  with
well-established conferences, the  workshop  will be  kept as  informal as
possible.  Its  two  main purposes  are  to offer an opportunity  to young
researchers and newcomers to present their work and to be a regional forum
for researchers in this field.  Despite this latter  goal, the workshop is
open to participants worldwide.

Workshop Chair:    Jacques Calmet (Karlsruhe)

Scientific Committee:                           

Thomas Beth (Karlsruhe)	        Manuel Bronstein  (Zurich) 
Hubert Caprasse  (Lige) 	Alain Carrire (Saint-Louis)
Arjeh Cohen  (Amsterdam)	Jean Della-Dora (Grenoble)  
Gaston Gonnet Zurich)           Johannes Grabmeier  (Heidelberg)
Pierre Jost  (Strasbourg)       Daniel Lazard  (Paris)              
Ruediger Loos (Tuebingen)       Herbert Melenk  (Berlin)
Didier Pinchon  (Paris)         Gerhard Schneider (Karlsruhe)
Fritz Schwarz  (Bonn)           Jean Thomann  (Strasbourg)               
Hans van Hulzen  (Twente)       Volker Weispfenning (Passau)           

Local organizer:   Karsten Homann (Karlsruhe)                       

SUBMISSIONS: Send 4 copies of either a full paper or a 4 pages abstract to
the    workshop    chair.  E-mail   submissions   In     LaTeX  format are
accepted.     Submissions   will not     be formally   refereed.  Accepted
contributions  will be selected  by  the scientific committee.  As for the
previous workshops, no formal proceedings  will be published. However, the
accepted  papers/abstracts will appear in  locally printed proceedings (of
good quality).

DEADLINES:  November 15, 1993: Submissions of papers.                
	    January 20, 1994 : Notification of acceptance.                   

Informations and submissions: Prof. Jacques Calmet 
                              Univerity of Karlsruhe 
                              Am Fasanengarten 5 
                              D-76128 Karlsruhe, Germany                      
                              E-mail: calmet@dkauni2.bitnet
                              Telephone: +49/ (0)721 608 4208
                              Fax: +49 (0)721 696 893

========================================LaTeX================================


\documentstyle[12pt]{article}
\setlength{\topmargin}{0.25in}
\setlength{\oddsidemargin}{-.1in}
\addtolength{\topmargin}{-3.8cm}
\pagestyle{empty}
\textwidth=16.5 true cm
\textheight=25 true cm
\parskip=4pt
\parindent=0pt

\begin{document}
\begin{center}
{\Large ANNOUNCEMENT AND CALL FOR PAPERS}\\
\vspace{1.5cm}
{\Large\bf The Rhine Workshop on Computer Algebra}\\  \null\smallskip
{\large Karlsruhe, Germany -- March 22 - 24, 1994}\\
\end{center}
\null\medskip
{\large\bf  Topics:} The workshop intends   to  cover all aspects   of
Computer  Algebra  from theory to  applications.  As  for the previous
workshops,  we  expect  that 1/3 of  the  accepted  papers  will cover
several domains of applications.\vspace{2mm}

{\large\bf Purposes:} Although   the name is   new, this is the   4-th
edition  of a  workshop initiated in    Strasbourg in 1988.   To avoid
competition with  well-established  conferences, the workshop will  be
kept as informal as possible.   Its two main  purposes are to offer an
opportunity to young researchers  and newcomers to present their  work
and  to be a regional forum  for  researchers in  this field.  Despite
this latter goal, the workshop is open to participants and submissions
worldwide.\vspace{2mm}

{\large\bf Workshop Chair:} Jacques Calmet (Karlsruhe)\vspace{2mm}

{\large\bf Scientific Committee:} 
\vspace{-2mm}
\begin{tabbing}
Thomas Beth (Karlsruhe)\hspace{3cm} \= 
Manuel Bronstein (Z\"urich)\\
Hubert Caprasse (Li$\grave{\rm e}$ge)
\> Alain Carri$\grave{\rm e}$re (Saint-Louis)\\
Arjeh Cohen (Amsterdam)
\> Jean Della-Dora (Grenoble)\\
Gaston Gonnet (Z\"urich)
\> Johannes Grabmeier (Heidelberg)\\
Pierre Jost (Strasbourg)
\> Daniel Lazard (Paris)\\
R\"udiger Loos (T\"ubingen)
\> Herbert Melenk (Berlin)\\
Didier Pinchon (Paris)
\> Gerhard Schneider (Karlsruhe)\\
Fritz Schwarz (Bonn)
\> Jean Thomann (Strasbourg)\\
Hans van Hulzen (Twente)
\> Volker Weispfenning (Passau)
\end{tabbing}

{\large\bf Local Organizer:} Karsten Homann (Karlsruhe)\vspace{2mm}

{\large\bf Submission:} Send 4  copies of either a  full paper or  a 4
pages abstract  to the workshop chair.  Electronic mail submissions in
LaTeX   format   are  accepted.  Submissions    will  not  be formally
refereed.   Accepted contributions will  be selected by the scientific
committee.  As for the  previous workshops, no formal proceedings will
be  published. However, the   accepted papers/abstracts will appear in
locally printed proceedings (of good quality).

\begin{tabbing}
{\large\bf Deadlines:} \= \+ November 15, 1993\ \= : \= Submission of papers.\\
January 20, 1994 \> : \> Notification of acceptance.
\end{tabbing}

\begin{tabbing}
{\large\bf Information and submissions:} \= \+ 
Prof. Jacques Calmet\\
University of Karlsruhe\\
Am Fasanengarten 5\\
D-76128 Karlsruhe, Germany\\
E-mail: {\tt calmet@dkauni2.bitnet}\\
Telephone: +49/ (0)721 - 608 4208\\
Fax: +49/ (0)721 - 696 893
\end{tabbing}

\vfill
\end{document}

-----------------------------------------------------------------------------
-----------------------------------------------------------------------------

          SECOND ANNOUNCEMENT AND FINAL CALL FOR PAPERS

_________________________________________________________________
___     ___  ________  ________  _________     ________  
|   \  /  |  |         |         |       |     |      | |      |
|    \/   |  |____     |   ___   |_______|     |______| |______|
|         |  |         |  |   |  |       |            |        |
|         |  |_______  |______|  |       |            |        |
_________________________________________________________________


            THE THIRD INTERNATIONAL SYMPOSIUM ON


           EFFECTIVE METHODS IN ALGEBRAIC GEOMETRY


             SANTANDER (SPAIN), APRIL 5--9, 1994

_______________________________________________________________

                    CONFERENCE TOPICS

Effective methods and  complexity issues in commutative algebra, 
projective geometry, real geometry, algebraic number theory.
Algebraic geometric methods in algebraic computing. Related
fields: computational aspects of group theory, differential 
algebra and geometry, algebraic and differential topology.

_______________________________________________________________

                  CONFERENCE COMMITTEE

B. Buchberger (Linz), A. M.  Cohen (Eindhoven), A. Conte (Torino),
J. H. Davenport (Bath), A. Galligo (Nice), D. Yu. Grigoriev
(Leningrad), J. Heintz (Santander/Buenos Aires), W. Lassner
(Leipzig), D. Lazard (Paris), H. M. M\"oller (Hagen), T. Mora
(Genova), M. Pohst (D\"usseldorf), T. Recio (Santander), J.--J.
Risler (Paris), M.--F. Roy (Rennes), R. Schoof (Trento), C.
Traverso (Pisa).

_______________________________________________________________

                     SUBMISSIONS

Authors must submit their papers sending:
   1-. two printed copies of  the full paper, each including a 
   one--page abstract, AND 
   2-. a file containing the TeX sources of the paper and of 
   the abstract, either by E-mail to  mega94@ccucvx.unican.es,
   or on a (Macintosh or DOS) diskette addressed by mail.

As an alternative for researchers with no access  to computing
equipment or e-mail, submissions consisting of 16 printed copies
of the paper and abstract will be accepted.

Submissions must be sent before September 16, 1993, to Prof. T.
Recio. Late submissions will  risk rejection without
consideration.

Basic English is the only official language of the Symposium and
the Proceedings, to guarantee maximum communication among
participants.

Submission of essentially the same paper elsewhere is not
allowed.

Submissions will be refereed both for presentation at the
Symposium and for inclusion in the Proceedings.

It is intended to publish the Proceedings in the Progress in
Mathematics series of Birkh\"auser where the Proceedings of the
previous Symposia have been published.

Authors will be notified about acceptance or rejection of their
submissions by January 1994. Camera Ready versions of accepted
papers must be given at the Symposium.

_______________________________________________________________

                       LOGISTICS

The Symposium will be held at the University of Cantabria at
Santander (Spain). Further information about registration,
lodging and travelling will be found in the final announcement.
For general information on the Symposium,  please contact Prof.
L. Gonz\'alez--Vega.

_______________________________________________________________

Prof. T. Recio
Departamento de Matematicas
Facultad de Ciencias
Universidad de Cantabria
Santander 39071, Spain
Phone: 34--42--201433
Fax: 34--42--201402
E--mail: recio@ccucvx.unican.es
         mega94@ccucvx.unican.es

Prof. L. Gonz\'alez--Vega (Local Chairman)
Departamento de Matem\'aticas
Facultad de Ciencias
Universidad de Cantabria
Santander 39071, Spain
Phone: 34--42--201437
Fax: 34--42--201402
E--mail: gvega@ccucvx.unican.es
         mega94@ccucvx.unican.es

_______________________________________________________________
_______________________________________________________________

\def\ce#1{\centerline{#1}}  
\font\granbc=cmbx10 scaled \magstep5
\font\granbu=cmbx10 scaled \magstep1 
\font\granbd=cmbx10 scaled \magstep2 
\font\granu=cmr10 scaled \magstep1

\nopagenumbers

\hoffset=-1.2cm
\hsize=18.3cm
\vsize=25cm

\ce{{\granbd Second Announcement} \ \ \ \granu and \ \ \
{\granbd Final Call for Papers}}

\bigskip

\ce{\granbc MEGA 94}

\bigskip\medskip

\ce {\granbu The Third International Symposium on}

\smallskip

\ce{\granbu Effective Methods in Algebraic Geometry}

\smallskip

\ce{\granbu Santander (Spain), April 5--9, 1994}

\bigskip\bigskip

\ce{\granbu Conference Topics}

\medskip

{\narrower\smallskip\noindent Effective methods and  
complexity issues in commutative algebra, projective
geometry, real geometry, algebraic number theory. Algebraic
geometric methods in algebraic computing. Related fields:
computational aspects of group theory, differential 
algebra and geometry, algebraic and differential
topology.\smallskip}

\bigskip\bigskip


\ce {\granbu Conference Committee}

\medskip

{\narrower\smallskip\noindent  B. Buchberger (Linz), A. M. 
Cohen (Eindhoven), A. Conte (Torino), J. H. Davenport
(Bath), A. Galligo (Nice), D. Yu. Grigoriev (Leningrad), J.
Heintz (Santander/Buenos Aires), W. Lassner (Leipzig), D.
Lazard (Paris), H. M. M\"oller (Hagen), T. Mora (Genova),
M. Pohst (D\"usseldorf), T. Recio (Santander), J.--J.
Risler (Paris), M.--F. Roy (Rennes), R. Schoof (Trento), C.
Traverso (Pisa). \smallskip}

\bigskip\bigskip

\ce{\granbu Submissions}

\medskip

\noindent Authors must submit their papers sending:
\smallskip
\item{1)}
two printed copies of  the full paper, each including a 
one--page abstract, {\bf AND}
\item{2)}
a file containing the \TeX\ sources of the paper and of 
the abstract, either by E-mail to {\tt
mega94@ccucvx.unican.es}, or on a (Macintosh or DOS)
diskette addressed by mail.

\noindent As an alternative for researchers with no access 
to computing equipment or e-mail, submissions consisting of
16 printed copies of the paper and abstract will be
accepted. \smallskip\noindent
Submissions must be sent {\bf before September
16, 1993}, to {\bf Prof. T. Recio}. Late submissions will 
risk rejection without consideration.
\item - Basic {\bf English} is the only official language
of the Symposium and the Proceedings, to guarantee maximum
communication among participants.
\item - Submission of essentially the
same paper elsewhere is not allowed.
\item - Submissions will be refereed
both for presentation at the Symposium and for inclusion in the
Proceedings.

\smallskip\noindent
It is intended to publish
the Proceedings in the {\it Progress in Mathematics} 
series of Birkh\"auser where the Proceedings of the
previous  Symposia have been published.

\noindent
Authors will be notified about acceptance or rejection of 
their submissions by {\bf January 1994}. Camera Ready
versions of accepted papers must be given at the Symposium.

\bigskip

\ce{\granbu Logistics}

\medskip

\noindent The Symposium will be held at the University of
Cantabria at Santander (Spain). Further information about
registration, lodging and travelling will be found in the
final announcement. For general information on the
Symposium,  please contact {\bf Prof. L. Gonz\'alez--Vega}.

\bigskip\bigskip

\ce{  $\matrix{\hbox{Prof. T. Recio}\hfill\cr
         \hbox{Departamento de Matem\'aticas}\hfill\cr
         \hbox{Facultad de Ciencias}\hfill\cr
         \hbox{Universidad de Cantabria}\hfill\cr
         \hbox{Santander 39071, Spain}\hfill\cr
         \hbox{Phone: 34--42--201433}\hfill\cr
         \hbox{Fax: 34--42--201402}\hfill\cr\cr
         \matrix{\hbox{E--mail:}\cr\cr}
\matrix{\hbox{\tt recio@ccucvx.unican.es}\hfill\cr
\hbox{\tt mega94@ccucvx.unican.es}\hfill\cr}\hfill\cr}
\qquad\qquad\qquad\qquad
 \matrix{\hbox{Prof. L. Gonz\'alez--Vega (Local
Chairman)}\hfill\cr
         \hbox{Departamento de Matem\'aticas}\hfill\cr
         \hbox{Facultad de Ciencias}\hfill\cr
         \hbox{Universidad de Cantabria}\hfill\cr
         \hbox{Santander 39071, Spain}\hfill\cr
         \hbox{Phone: 34--42--201437}\hfill\cr
         \hbox{Fax: 34--42--201402}\hfill\cr\cr
         \matrix{\hbox{E--mail:}\cr\cr}
\matrix{\hbox{\tt gvega@ccucvx.unican.es}\hfill\cr
\hbox{\tt mega94@ccucvx.unican.es}\hfill\cr}\hfill\cr}$}

\vfill\eject

\end  
