ISSAC'94 ISSAC'94 St Catherine's College, Oxford, UK 20-22 July 1994 Preliminary Conference Registration Notes
- To: mathgroup at yoda.physics.unc.edu
- Subject: ISSAC'94 ISSAC'94 St Catherine's College, Oxford, UK 20-22 July 1994 Preliminary Conference Registration Notes
- From: "Richard D. Jenks" <jenks at watson.ibm.com>
- Date: Sat, 26 Mar 94 11:06:17 EST
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 students. 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. Accommodation ------------- 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). Meals ----- 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 registrants. 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 ISSAC'94 c/o NAG Limited Wilkinson House Jordan Hill Road Oxford OX2 8DR UK Telephone : +44 865 511245 Fax : +44 865 311205 Email : issac94 at nag.co.uk Acknowledgement --------------- 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