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] ====