Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
1996
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 1996

[Date Index] [Thread Index] [Author Index]

Search the Archive

ISSAC'96 ADVANCE PROGRAM AND REGISTRATION

  • To: mathgroup at smc.vnet.net
  • Subject: [mg3913] ISSAC'96 ADVANCE PROGRAM AND REGISTRATION
  • From: bronstei at inf.ethz.ch (Manuel Bronstein)
  • Date: Sun, 5 May 1996 23:13:25 -0400
  • Organization: Dept. Informatik, Swiss Federal Institute of Technology
  • Sender: owner-wri-mathgroup at wolfram.com

_______________________________________________________________________________

               I S S A C  ' 9 6  ADVANCE PROGRAM AND REGISTRATION

         International Symposium on Symbolic and Algebraic Computation

                     July 24-26, 1996 Zurich, Switzerland

                    Sponsored by ACM SIGSAM and ACM SIGNUM
_______________________________________________________________________________


Postscript and HTML versions of this document are available from the
ISSAC'96 homepage at either one of:

             http://www.inf.ethz.ch/ISSAC96/ISSAC96.html
             http://www.inf.ethz.ch/department/WR/html/ISSAC96

_______________________________________________________________________________


ISSAC'96 will be held in the main building of the Swiss Federal Institute
of Technology (ETH), Raemistr. 101, Zurich, Switzerland. The conference 
starts on Wednesday, July 24, and ends on Friday, July 26.
To register for ISSAC'96 fill in the attached registration form and send it
by e-mail, air mail or fax to the address mentioned there. 


                      PRELIMINARY TECHNICAL PROGRAM

Tuesday, July 23:
   9:00 - 12:00, 14:00 - 17:00: Tutorials (see below)
  17:00 - 20:00:                Registration
  19:00:                        ISSAC Reception

Wednesday, July 24:
   8:15 -  8:30: Official Symposium Opening (Prof. Erwin Engeler)
   8:30 - 10:00: POLYNOMIAL ALGORITHMS
         * Arithmetic and Factorization of Polynomials in F_2[x]
           J. von zur Gathen & J. Gerhard
         * Factoring Modular Polynomials}
           J. von zur Gathen & S. Hartlieb
         * Parallel Distinct Degree Factorization Algorithm
           T. Fujise & H. Murao
         * Computing Complexification of a Semialgebraic Set
           M.F. Roy & N. Vorobjov

  10:45 - 12:15: ALGEBRAIC ALGORITHMS
         * Approximate Polynomial Greatest Common Divisors and
           Nearest Singular Polynomials
           N. Karmakar & Lakshman Y.N.
         * Euclidean Algorithm in Dimension n
           L. Pottier
         * Fast Computations in the Lattice of Polynomial
           Intermediate Fields of a Rational Function Field
           F. Binder
         * Testing Shift-Equivalence of Polynomials Using Quantum Machines
           D.Y. Grigoriev

  13:30 - 14:30: INVITED LECTURE
           Title to be Announced
           Prof. Volker Weispfenning, Universitaet Passau, Germany

  14:45 - 16:15: GROEBNER BASES
         * An Optimal Algorithm for Constructing the Reduced Groebner
           Basis of Binomial Ideals
           U. Koppenhagen & E. Mayr
         * Exponential Space Computation of Groebner Bases
           K. Kuehnle & E. Mayr
         * Multigraded Hilbert Functions and Buchberger Algorithm
           M. Caboara, G. De Dominicis & L. Robbiano
         * Groebner Bases under Composition II
           H. Hong

  16:30 - 17:30: POSTER SESSION I AND SOFTWARE DEMOS


Thursday, July 25:
   8:30 - 10:00: SYSTEM ISSUES
         * Symbolic Mathematics System Evaluators
           R. Fateman
         * A Case Study of Multi-Threaded Groebner Basis Completion
           B. Amrhein, O. Gloor, & W. Kuechlin
         * MPP: A Framework for Distributed Polynomial Computations
           O. Bachmann, H. Schoenemann & S. Gray
         * Memory Tracing of Algebraic Calculations
           A. Norman & J. Fitch

  10:45 - 12:15: SOLUTIONS OF EQUATIONS
         * Solution of Elementary Systems of Equations in a Box in R^n
           D. Richardson
         * Analysis of Zero Clusters in Multivariate Polynomial Systems
           H.J. Stetter
         * A Tangent-Secant Method for Polynomial Complex Root Calculation
           G. Collins & W. Krandick
         * Fast High-Precision Computations of Complex Square Roots
           T. Ahrendt

  13:30 - 14:30: INVITED LECTURE
           Kronecker, Galois, and Symbolic Computation
           Prof. Harold M. Edwards, Courant Institute, New York University, USA

  14:45 - 16:15: GROUPS AND ALGEBRAS
         * Computing Character Tables of p-Groups
           A. Thuemmel
         * New Sequential and Parallel Algorithms for Generating
           High Dimension Hecke Algebras using the Condensation Technique
           G. Cooperman & M. Tselman
         * Algorithms for Primitive Elements of Free Lie Algebras and
           Lie Superalgebras
           A.A. Mikhalev & A.A. Zolotykh
         * Efficient Decomposition of Associative Algebras
           W. Eberly & M. Giesbrecht

  16:30 - 17:30: POSTER SESSION II AND SOFTWARE DEMOS

  19:30: Banquet


Friday, July 26:
   8:30 - 10:00: DIFFERENTIAL EQUATIONS I
         * Janet Bases for Second Order Ordinary Differential Equations
           F. Schwarz
         * The General Solution of an Ordinary Differential Equation
           E. Hubert
         * Symbolic Computation of the Index of Quasilinear
           Differential-Algebraic Equations
           G. Thomas
         * MapleTensor: Progress Report on a New System for Performing Indicial
           and Component Tensor Calculations Using Symbolic Computation
           M. Kavian, R. McLenaghan & K.O. Geddes

  10:45 - 12:15: DIFFERENTIAL EQUATIONS II
         * Differentially Homogeneous Differential Polynomials
           G. Reinhart & W. Sit
         * Rational Solutions of the Mixed Differential Equation and
           Its Application to Factorization of Differential Operators
           M. van Hoeij
         * An Algorithm for Complete Enumeration of All Factorizations
           of a Linear Ordinary Differential Operator
           S.P. Tsarev
         * D'Alembertian Solutions of Inhomogeneous Linear Equations
           S.A. Abramov & E.V. Zima

  13:30 - 14:30: INVITED LECTURE
           Interfacing Computer Algebra and Numerical Modeling
           Prof. Stanly Steinberg, University of New Mexico, USA

  14:30 - 16:10: LINEAR ALGEBRA
         * On Rank Properties of Toeplitz Matrices over Finite Fields
           E. Kaltofen & A. Lobo
         * Computing Popov and Hermite Forms of Polynomial Matrices
           G. Villard
         * Asymptotically Fast Computation of the Hermite Normal Forms of
           Integer Matrices
           A. Storjohann & G. Labahn
         * Near Optimal Algorithms for Computing Smith Normal Forms of
           Integer Matrices
           A. Storjohann
         * Generic Gram-Schmidt Orthogonalization by Exact Division
           U. Erlingsson, E. Kaltofen & D. Musser

  16:40 - 18:00: APPLICATIONS
         * Automatic Generation of Optimization Code Based on
           Symbolic Non-Linear Domain Formulation
           R. Bacher
         * A Methodology of Parsing Mathematical Notation for
           Mathematical Computation
           Y. Zhao
         * Hypergeometric Function Representations
           K. Roach
         * Asymptotic Expansions of exp-log Functions
           D. Richardson, B. Salvy, J. Shackell & J. van der Hoeven


                             CONFERENCE FEE

Fees are given in Swiss francs. Exchange rate on April 3: 100 USD = 120 CHF.
Member prices are available to ACM, SIGSAM or SIGNUM members. Payment has
to be received before June 10 in order to qualify for reduced fees.

                             before June 10      after June 10
Regular registration           350 CHF              470 CHF
ACM/SIG registration           260 CHF              380 CHF
Student registration            80 CHF              120 CHF

The conference fee includes a copy of the proceedings, coffee and tea 
during breaks, the reception on July 23 and the banquet on July 25.
Lunches are not included.  


                                TUTORIALS

On Tuesday, July 23, seven tutorials will be given by leading experts. 
The tutorials are intended for students and researchers to broaden their 
knowledge base. The fee is 90 CHF for students and 120 CHF for others. 
It includes a morning and an afternoon session. Tutorial registration does 
not require conference registration. 

Morning sessions:
 -  Introduction to Symbolic Summation: Peter Paule
 -  Introduction to Solving Polynomial Systems: Teo Mora
 -  Algebraic Methods for Proving Theorems in Elementary and Differential
    Geometries: Xiaoshan Gao

Afternoon sessions:
 -  Advanced Algorithms for Symbolic Summation: Peter Paule
 -  Advanced Algorithms for Solving Polynomial Systems over Complex Numbers:
    Teo Mora
 -  Advanced Algorithms for Solving Polynomial Systems over Real Numbers: 
    Laureano Gonzales Vega
 -  Algorithmic Methods for Rational Algebraic Curves: Rafael Sendra

More information on the tutorials is available on the ISSAC'96 WWW page.
For further questions please contact Hoon Hong (Hoon.Hong at risc.uni-linz.ac.at).


                          POST-CONFERENCE TOUR

A full day tour will be organized on Saturday, July 27.
In the morning a city tour will introduce you to the most interesting parts
of Zurich: you will stroll through the old town, visit a traditional guild
house and see the world-famous Chagall windows in the Fraumuenster. 
After lunch in a typical Swiss restaurant a coach will bring you to Lucerne,
one of the most beautiful cities in Switzerland. You will visit the main
sights of Lucerne, such as the Chapel Bridge and the old town. Ample time
is reserved to enjoy the nice view of Lake Lucerne and the Alps. On a scenic
route along the shores of Lake Lucerne you will return to Zurich. 

Price: 55 CHF. Lunch is not included. Should the tour not take place 
because of number of participants the money will be refunded.


                               PAYMENT

Payment should be made in Swiss francs to: 
          Swiss National Bank
          Bundesplatz 1
          CH-3011 Bern, Switzerland

          SWIFT address: SNBZCHZZ30A
          Bank Clearing Code: 110
          Account number: 1530/5/30/ETHZ
          Specify: "ISSAC'96" and name of participant
    
Please note that bank fees must be paid by the participant.

You may also empower the conference treasurer to charge your credit card
for the appropriate amount indicating the required credit card data in 
your registration form. In case you wish to cancel your registration 
and/or booking of a hotel, please let us know as soon as possible. We 
regret that a refund of the conference fee is only possible if your 
registration is cancelled before July 1, 1996. 


                             ACCOMODATIONS

We recommend that you secure accommodation during the conference by 
completing and returning the attached hotel reservation form. Group 
reservations at reduced rates have been made in several three star hotels 
in close vicinity to ETH. All rooms are with shower, WC, telephone and 
TV. Breakfast is included. The price for a single room is between 90 CHF 
and 130 CHF. The price for a double room is between 140 CHF and 170 CHF. 
Additionally a limited number of double and triple rooms is available in a 
student residence. Alcohol and smoking are not permitted in the student 
residence. The price for a double room is 100 CHF. The price for a triple 
room is 120 CHF. After returning the hotel reservation form you will 
receive a confirmation together with detailed information about your hotel. 

Payment should be made directly to the hotel or the student residence,
when checking out. A deposit is not required.


                                TRAVEL

ETH is within walking distance from the city center and the main railway 
station. Zurich's airport (Kloten) is located about 17 km northwest of the
city. It is connected to Zurich's main railway station by a frequent
train service. Taxis are rather expensive. If you plan to travel by car, 
a map of the vicinity of Zurich, including the main roads, is available on 
the ISSAC'96 WWW page.


                          FOR MORE INFORMATION

More information about the conference, including travelling, accommodations, 
restaurants, Zurich and the techical program of the conference are provided
and updated regularly on the ISSAC'96 WWW page.
For questions related to the scientific part, please consult Bob Caviness
(issac96 at cis.udel.edu). For questions on logistics, please contact Michael
Kalkbrener (fax: ++41 1 6321085; e-mail: issac96 at math.ethz.ch).




ISSAC'96 CONFERENCE REGISTRATION FORM

NAME:.......................................................................

Institution:................................................................

Full address:...............................................................

............................................................................

Country:....................................................................

e-mail:.....................................................................

Telephone:............................Telefax:..............................

ACM/SIGSAM/SIGNUM Membership No:............................................


CONFERENCE FEE
Fees are given in Swiss francs. Exchange rate on April 3: 100 USD = 120 CHF.

                                      before June 10     after June 10
 o     Regular registration              350 CHF            470 CHF
 o     ACM/SIG registration              260 CHF            380 CHF
 o     Student registration               80 CHF            120 CHF


TUTORIALS 
There will be seven tutorial sessions held on Tuesday, July 23. 
The fee (for two sessions) is 90 CHF for students and 120 CHF for others.
Select two sessions.

Morning sessions                   
 o  Introduction to Symbolic Summation
 o  Introduction to Solving Polynomial Systems
 o  Algebraic Methods for Proving Theorems in Elementary and Differential 
    Geometries
        
Afternoon sessions                 
 o  Advanced Algorithms for Symbolic Summation
 o  Advanced Algorithms for Solving Polynomial Systems over Complex Numbers
 o  Advanced Algorithms for Solving Polynomial Systems over Real Numbers
 o  Algorithmic Methods for Rational Algebraic Curves


BANQUET 
The registration fee includes the banquet on Thursday, July 25. Indicate 
whether you need EXTRA tickets for the banquet. The price for one ticket is
60 CHF.
                                      Number of extra tickets:.............


POST CONFERENCE TOUR
A full day tour will be organized on Saturday, July 27. The price for one
ticket is 55 CHF.
                                      Number of tickets:...................


TOTAL COSTS: CHF .....................



PAYMENT

Payment should be made in Swiss francs. Please note that bank fees must be 
paid by the participant.

 o Payment will be made by bank transfer into the following account:

   Swiss National Bank
   Bundesplatz 1, CH-3011 Bern, Switzerland

   SWIFT address: SNBZCHZZ30A
   Bank Clearing Code: 110
   Account number: 1530/5/30/ETHZ 
   Please specify: `ISSAC'96' and name of participant

 o I hereby authorize the conference treasurer to charge my credit card
   for the amount mentioned in TOTAL COSTS.
   o American Express
   o Eurocard/Mastercard
   o Visa
   o Diners Club
   o JCB

Credit card number:.............................Expiration date:............



Special requests:...........................................................

............................................................................

............................................................................

............................................................................



DATE:.........................SIGNATURE:....................................


The completed form can be either mailed, faxed or emailed to:
 
              Michael Kalkbrener
              Dept. of Mathematics
              ETH Zurich
              CH-8092 Zurich
              SWITZERLAND
              Fax: ++41 1 6321085
              e-mail: issac96 at math.ethz.ch  



ISSAC'96 HOTEL RESERVATION FORM

NAME:.......................................................................

Institution:................................................................

Full address:...............................................................

............................................................................

Country:....................................................................

e-mail:.....................................................................

Telephone:...........................Telefax:...............................


                            Single room        Double room      Triple room
Three star hotel           o  CHF 90-130      o  CHF 140-170
Student residence                             o  CHF 100         o CHF 120

If double or triple room, shares room with..................................

............................................................................

Expected day of arrival:.............Expected day of departure:.............


Payment should be made directly to the hotel, when checking out. A deposit
is not required. Please communicate changes in arrival or departure dates
promptly. In case of non-appearance you can be charged for the costs 
involved. 


Special requests:...........................................................

............................................................................

............................................................................

............................................................................



DATE:.............................SIGNATURE:................................


The completed form can be either mailed, faxed or emailed to:
 
              Michael Kalkbrener
              Dept. of Mathematics
              ETH Zurich
              CH-8092 Zurich
              SWITZERLAND
              Fax: ++41 1 6321085
              e-mail: issac96 at math.ethz.ch

==== [MESSAGE SEPARATOR] ====


  • Prev by Date: Re: Aligning Graphs in GraphicsArray
  • Next by Date: What is Euler phi in Rotate3D[obj, phi,theta,psi]
  • Previous by thread: Re: Interpretation of Reduce results (long)
  • Next by thread: What is Euler phi in Rotate3D[obj, phi,theta,psi]