Home Page
International Symposium on Symbolic and Algebraic Computation
August 6-9, 2000
St Andrews University
St Andrews, Fife, Scotland
http://www-gap.dcs.st-and.ac.uk/issac2000
Held concurrently with
CALCULEMUS-2000,
the Eighth Symposium on the Integration of Symbolic Computation and Mechanized
Reasoning, August 6-7.
Sponsored by ACM-SIGSAM.
Supported by
The Edinburgh Mathematical Society (EMS)
ISSAC is an annual international symposium that provides an opportunity to learn of new developments and to present original research in all areas of symbolic and algebraic computation. This year, the conference will take place August 7-9 and it will be preceded by a day of tutorials on Sunday, August 6.
ISSAC 2000 will be held concurrently with CALCULEMUS-2000, the Eighth Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, which will be taking place August 6-7.
More information about activities that have taken place in previous years is available on the ISSAC Organization page. ISSAC 2001 will be held at the University of Western Ontario, in London, Ontario, Canada.
Conference Activities and Topics
Planned activities include invited presentations, research and survey papers, poster sessions, tutorial courses, vendor exhibits, and software demonstrations. Proceedings and abstracts of all posters will be distributed at the symposium.Proposals for workshops, tutorial courses, demonstrations, panel discussions or related activities are welcome and should be communicated to the general chair of the conference. User-groups, editorial boards or other associations desiring meeting space during the course of the symposium are encouraged to contact the conference organizers.
The conference topics include, but are not limited to:
- Algorithmic mathematics: algebraic, symbolic, symbolic-numeric and geometric algorithms.
- Computer science: computer algebra, computational logic, computational geometry, computational visualization.
- Applications in: architecture, engineering, economics and finance, science, mathematics, education.
Conference Location
ISSAC 2000 will be held at St Andrews University, Scotland's oldest university. Visitors to St Andrews will discover a city full of charm and historical interest, and golfers will be delighted by the many famous and challenging golf courses in the area. Information on local attractions can be found on the St Andrews home page.Further Information
Information related to the conference will be posted on this Web site as it becomes available. E-mail inquiries may be sent to issac2000@dcs.st-and.ac.uk or to one of the conference committee members listed below.Computer Algebra and Golf
There is Maple code supporting James Davenport's after dinner speech.Committee
- General Chair: Tomas Recio, Universidad de Cantabria, recio@matesco.unican.es
- Local Arrangements Chair: Steve Linton, University of St. Andrews, sal@dcs.st-and.ac.uk
- Program Committee Chair: Chandrajit Bajaj, University of Texas at Austin, bajaj@cs.utexas.edu
- Tutorial Chair: Josef Schicho, RISC - J. Kepler Universitat Linz, josef.schicho@risc.uni-linz.ac.at
- Exhibitor Chair: Marc Moreno Maza, Numerical Algorithms Group, marc@nag.co.uk
- Poster Session Chair: Arjeh Cohen, Eindhoven University of Technology, amc@win.tue.nl
- Editor: Carlo Traverso, Universita di Pisa, traverso@posso.dm.unipi.it
- Treasurer: Colin Campbell, University of St Andrews, cmc@st-andrews.ac.uk
- Publicity Chair: Paulina Chin, Waterloo Maple Inc., pchin@maplesoft.com
[Home Page] - [Dates] - [Program] - [Papers] - [Posters] - [Tutorials] - [Registration] - [Committee] - [Sponsors] - [St Andrews University] - [Travel] - [Accommodation] - [ISSAC Organization]
P. Chin
Last modified: Thursday, 10-Aug-2000 15:32:57 BST