MathGroup Archive 1994

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

Search the Archive

ISSAC'94 ISSAC'94 St Catherine's College, Oxford, UK 20-22 July 1994 Preliminary Conference Registration Notes

Conference Location

ISSAC'94 will be held in St Catherine's College, one of the constituent
colleges of the University of Oxford.  The University, Britain's oldest,
has been described as a "living architectural treasure", and Oxford itself
as "that sweet city with her dreaming spires". Each of Oxford's 41 halls
and colleges projects its own character, and for ISSAC'94, St Catherine's
has been chosen.  This is a relatively new college designed in the 1960's
by the distinguished Danish architect, Arne Jacobsen.  It is situated in
pleasant surroundings, a short walk away from the cloisters and quadrangles
of traditional Oxford. The shops, public houses, museums, restaurants and
other features of the city centre are also within easy walking distance.

The University's origins as a centre of learning date from the early 12th
century when, after a royal quarrel with the French, King Henry II recalled
a number of scholars from Paris.  Oxford's reputation as a centre of
learning quickly grew, and "halls" or hostels grew up to accommodate its

In the 1200's, the first colleges (University, Balliol and Merton) were
founded each separately enclosed and establishing its own rules and
privileges.  As they grew in number, the colleges became self-contained
communities each with its own living quarters, chapel, library, kitchen and
dining hall -- and in one case, even a cathedral!  This independent
structure remains little changed today.


The College has around 200 single study bedrooms available during ISSAC'94.
Each bedroom has a wash basin.  Toilet and shower facilities are located
near staircases on each floor of the residential block.  Please advise us
of any special needs regarding mobility, e.g. wheelchair access.

Details of accommodation in local hotels and bed & breakfast guest houses
are available on request.

Conference Sessions

The Conference sessions will be held either in St Catherine's College itself
or in the near-by St Cross building.  The Conference will begin at 9.00 am
on Wednesday, 20 July, and finish at 4.00 pm on Friday, 22 July (times to
be confirmed in final programme).


All meals will be served in St Catherine's College Dining Hall. Lunch and
dinner are both 3 courses served by waiters.  Menus will be published in
advance of the Conference and sent to all registrants so that you can
advise us of any special dietary requirements.

Travelling to Oxford

By Air

The principal UK airport, London Heathrow, is located approximately 50
miles to the east of Oxford. An express coach service (Oxford CityLink X70)
links Oxford with Heathrow (journey time approximately 1 hour).  Certain
X70 journeys are extended to serve London Gatwick (journey time
approximately 2 hours).  Birmingham International airport is an alternative
to Heathrow or Gatwick. It is located about 60 miles to the north of
Oxford, and there is a direct train service from the airport to Oxford
train station

By Rail

There are regular fast trains connecting Oxford with London (Paddington)
and other cities in the British Rail network.

By Road

Oxford is served by several principal roads, in particular the M40 motorway
(north to Birmingham, east to London Heathrow, central London and the M25
London's orbital motorway).

Conference delegates may use the College car park for a fee of 5.00 pounds
per car for the duration of the Conference.  Delegates are requested not to
park at the front of the College or on the service road.  It is emphasised
that the College can take no responsibility for the security of vehicles
and delegates are advised to leave nothing of value in parked cars.

Further details of Oxford's location, the X70 bus and Oxford-London
train summer timetables, and other travel information will be sent to all

To Book

Simply complete and return the Preliminary Registration Form to the
ISSAC'94 Registration Office, care of NAG Limited at the following
address, or by fax or email:

Registration Office
c/o NAG Limited
Wilkinson House
Jordan Hill Road

Telephone : +44 865 511245
Fax       : +44 865 311205
Email     : issac94 at


ISSAC'94 is sponsored by the ACM Special Interest Group in Symbolic and
Algebraic Manipulation (SIGSAM).

Contributed Papers

Andreas Weber (Tubingen)
Algorithms for type inference with coercions

Benjamin P. Berman and Richard J. Fateman (Berkeley):
Optical character recognition for typeset mathematics

Adam Dingle and Richard J. Fateman (Berkeley):
Branch cuts in computer algebra

Dinesh Manocha (North Carolina):
Computing selected solutions of polynomial equations

Robert Cremmans and Friedrich Otto (Kassel): Constructing canonical
presentations for subgroups of context-free groups in polynomial time

Sandra Licciardi and Teo Mora (Genova): Implicitization of hypersurfaces
and curves by the Primbasissatz and the FGLM algorithm

Hong Du (Academia Sinica):
On the Isomorphisms of Algebraic Curves

Martin Schoenert (Aachen) and Akos Seress (Ohio State):
Finding blocks of imprimitivity in small-base groups in nearly linear time

Deepak Kapur, Tushar Saxena and Lu Yang (SUNY Albany, Academia Sinica):
Algebraic and geometric reasoning using Dixon resultants

Dan Richardson and John Fitch (Bath):
The identity problem for elementary functions and constants

Yiu-Kwong man and Francis J. Wright (London):
Fast polynomial dispersion computation and its application to indefinite sumation

Sylvain Petitjean (CRIN-CNRS & INRIA Lorraine):
Automating the construction of stationary multiple-point classes

Volker Weispfenning (Passau):
Quantifier elimination for real algebra - the cubic case

David P. Jacobs (Clemson):
The Albert nonassociative algebra system: a progress report

Mohamed Omar Rayes, Paul S. Wang and Ken Weber (Kent State): Parallelization of
space modular GCD for multivariate polynomials on shared memory multiprocessors

Toshinori Oaku (Yokohama City University):
Algorithms for finding the structure of solns of a system of linear pde's.

Maria Grazia Marinari and Teo Mora (Genova):
The shape of the shape lemma

Mark J. Encarnacion (Johannes Kepler University):
A modular method for computing GCDs of two univ. polys. over an algebraic number field

Alain Goriely and Michael Tabor (Bruxelles, Arizona):
How to compute the Melnikov vector?

Erich Kaltofen (RPI):
Asymptotically fast solution of Toeplitz-like singular linear systems

Austin Lobo and Erich Kaltofen (RPI):
Factoring high-degree polynomials by the black box Berlekamp algorithm

Jamil Baddoura (MIT):
Conjecture on integration in finite terms with elementary functions and polylogarithms

Ahmed Guergueb, Jean Mainguene and Marie-Francoise Roy (IRNAR):
Examples of automatic theorem proving in real geometry

Roberto La Scala (Pisa):
An algorithm for complexes

Ron Sommeling (Katholieke Universiteit Nijmegen):
Characteristic classes for irregular singularities

Mark van Hoeij (Katholieke Universiteit Nijmegen):
Computing parametrizations of rational algebraic curves

Ana Maria Mandache (Linz):
The Grobner Basis Algorithm and subresultant theory

Manuel Bronstein (ETH):
Efficient algorithms and heuristics for factoring linear ODEs

Jason F. Harris (Canterbury, NZ):
Inheritance of rewrite rule structures applied to symbolic computation

Laurent Bertrand (Limoges):
The implementation of a new algorithm for computing hyperelliptic integrals

W. N. Borst, V. V. Goldman and J. A. van Hulzen (Twente):
GENTRAN 90: a REDUCE package for the generation of FORTRAN 90 code

Gilles Villard (IMAG):
Fast parallel computation of the Smith normal form of polynomial matrices

V. Ghanza, E. Vorozhtsov, J.Boers and J. van Hulzen (Russian Academy, Twente):
Symbolic-numeric stability of Jameson's schemes for the Navier Stokes equations

Kelly Roach (Waterloo):
Symbolic-numeric nonlinear equation solving

Reinhard Bundgen, Manfred Gobel and Wolfgang Kuchlin (Tubingen):
A fine grained parallel completion procedure

Bruce W. Char (Drexel) and Mark F. Russo (Sterling Winthrop):
Automatic identification of time scales in enzyme kinetics models

Lakshman Y. N. (Drexel) and B. David Saunders (Delaware):
On computing sparse shifts for univariate polynomials

Michael B. Monagan and Gaston H. Gonnet (ETH):
Signature functions for algebraic numbers

Philip H. Todd, Robin J. Y. McLeod and Marcia Harris (Saltire Software):
A system for the symbolic analysis of problems in engineering mechanics

Simon Gray, Norbert Kajler and Paul Wang (Kent State):
MP: A protocol for efficient exchange of mathematical expressions

Eugene Luks, F. Rakoczi and C. R. B. Wright (Oregon):
Computing normalizers in permutation p-groups

M. J. Gonzalez-Lopez and T. Recio (Cantabria):
On the symbolic insimplification of the general 6R-manipulator kinematic equations

Olaf Bachmann, Paul S. Wang and Eugene V. Zima (Kent State):
Systems of recurrence relations - a method to expedite evaluation of closed-form fns

Robert M. Corless (Western Ontario):
Sufficiency analysis for the calculus of variations

Ioannis Z. Emiris and Ashutosh Rege (Berkeley)
Monomial bases and polynomial system solving

S.M. Watt, P.A. Broadbery, S.S. Dooley, P. Iglio, S.C. Morrison, J.M. Steinbach
and Robert S. Sutor (IBM Research): A first report on the A# compiler

Richard D. Jenks and Barry M. Trager (IBM Research):
How to make AXIOM into a scratchpad

Oscar E. Ruiz S. and Placid M. Ferreira (Illinois):
Algebraic geometry and group theory in geometric constraint satisfaction

Mark Giesbrecht (Winnipeg):
Fast algorithms for rational forms of integer matrices

Jacques-Arthur Weil (Ecole):
The use of the special semi-groups for solving differential equations

Sergei A. Abramov and Marko Petkovsek (Russian Academ, Ljubljana):
D'Alembertian solutions of linear differential and difference equations

Gene Cooperman, Larry Finkelstein, Bryant York and Michael Tselman (Northeastern):
Constructing permutation representations for large matrix groups

  • Prev by Date: ISSAC'94 (2) ISSAC'94 St Catherine's College, Oxford, UK 20-22 July 1994 Preliminary Registration Form
  • Next by Date: Re: Plotting 3D Surface Plots using data from an external file
  • Previous by thread: ISSAC'94 (2) ISSAC'94 St Catherine's College, Oxford, UK 20-22 July 1994 Preliminary Registration Form
  • Next by thread: Problem adding Text to plots