hongch@sbcs.sunysb.edu (Hong Chen) (01/13/90)
International Symposium on Design and Implementation of
Symbolic Computations Systems (DISCO'90)
April 10 - 12, 1990 Capri, Italy
PRELIMINARY PROGRAM
SAC - Systems Design
J. Davenport (University of Bath, England)
Current Main Problems in Computer Algebra Systems Design
(Invited)
G. Butler, J. Cannon
The Design of Cayley - a Language for Modern Algebra
A. Giovini, G. Niesi
CoCoA: a User-Friendly System for Commutative Algebra
A. Galligo, J. Grimm, L. Pottier
The Design of SISYPHE: A System for Doing Symbolic and Algebraic Computations
J.H. Davenport, B.M. Trager
Scratchpad's View of Algebra I: Commutative Algebra
M. Clarkson
Praxis: A Rule-Based Expert System for Macsyma (*)
A.V. Bocharov
Will DELiA Grow into an Expert System? (*)
C. Bajaj, A. Royappa
GANITH: An Algebraic Geometry Package (*)
SAC - Implementation Methods and Techniques
A. Fortenbacher
Efficient Type Inference and Coercion in Computer Algebra
C. Limongelli, M.B. Mele, M. Regio, M. Temperini
Abstract Specification of Mathematical Structures and Methods
U. Petermann
Programming Paradigms for Symbolic Computation Systems -
Analysis of an Example
H. Kredel
Operator Overloading and Type Resolution in
Mas Modula-2 Algebra System (*)
D. Constales
Prototypes for the Automatic Translation of
Computer Algebra Languages (*)
J.P. Vidal
The Computation of Groebner Bases on
a Shared Memory Multiprocessor
K.H. Lee, K.S. Leung, S.M. Cheang
The Implementation of a PC-Based List Processor
for Symbolic Computation (*)
Automated Reasoning
A. Bundy (University of Edinburgh, Scotland)
The Use of Proof Plans in Formal Methods (Invited)
M.E. Stickel
A Prolog Technology Theorem Prover:
A New Exposition and Implementation in Prolog
J.L. Lassez
Parametric Queries, Linear Constraints and Variable Elimination
M. Adi, C. Kirchner
AC-Unification Race: the System Solving Approach and its Implementation
S. Anantharaman, N. Andrianarivelo
Heuristical Criteria in Refutational Theorem Proving
S. Costantini, P. Dell'Acqua, G.A. Lanzarone
Reflective Prolog: Design and Implementation (*)
F. Baj, M. Bruschi, A. Zanzi
Design and Development of ENprover,
an Automated Theorem Proving System Based on EN-Strategy (*)
G. Forcellese, M. Temperini
Towards a Logic Language:
an Object-Oriented Implementation of the Connection Method (*)
Software Environments and Languages
G. Attardi (University of Pisa, Italy)
Requirements for Standards in Knowledge Base Systems (Invited)
M.C. Dewar, M.G. Richardson
Reconciling Symbolic and Numeric Computation in a Practical Setting
M. Bidoit, F. Capy, C. Choppy
The Design and Specification of the ASSPEGIQUE Database
S.V. Chmutov E.A. Gaydar, I.M. Ignatovich, V.F. Kozadoy,
A.P. Nemytykh, V.A. Pinchuk
Implementation of the Symbol Analytic Transformations Language
FLAC (*)
M. Hanus
A Functional and Logic Language with Polymorphic Types
V. Russi, R. Zompi
Graphical Object Oriented Executable Specification for
an Automation Oriented Paradigm of Software Development
R. Avitzur
Suggestions for a Friendlier User Interface (*)
N. Kajler
Building Graphic User Interfaces for Computer Algebra Systems
P.S. Wang
A System Independent Graphing Package for Mathematical Functions
G.P. Faconti, R.D. Bettarini, F. Patern\'{o}
A Model of Interaction for Graphical Systems
Theory
G. Huet (INRIA, Rocquencourt, France)
Design Issues for a Computer-Aided Environment for
Constructive Mathematics (Invited)
C. Talcott
A Theory for Program and Data Type Specification
R. Hennicker
Context Induction: A Proof Principle for Behavioural Abstractions
J.P. Jouannaud, C. March\'{e}
Completion Modulo Associativity, Commutativity and Identity (AC1)
T.W. Fr\"{u}hwirth
Polymorphic Type Checking with Subtypes in Prolog
R.N. Bol, K.R. Apt, J.W. Klop
On the Power of Subsumption and Context Checks
J.C. Reynaud
Putting Algebraic Components Together: a Dependent Type Approach
(*) Short Presentation of Extended Abstracts
For further information on DISCO'90, please contact the Symposium Chairman:
Prof. Alfonso Miola,
Dipartimento di Informatica e Sistemistica,
Universita' di Roma "La Sapienza",
Via Buonarroti 12, 00185 Roma Italy.
Fax: (+39) - 6 -734616
Tel. (+39) -6 - 7312367 / 7312328 / 733412
DISCO 90 Special Session on Symbolic System Projects.
At DISCO 90 we will also organize a special session
for implementors of systems. The objectives of this session are
quick overview on the current state of symbolic systems projects
world-wide,
exchange of ideas, expertise, experiences,
tentative planning of cooperations between groups and individuals,
exchange of working software and sytem parts,
discussion of strategies for fund raising, promotion, marketing,
separation between scientific and commercial symbolic software etc.
Each project will give a 5 to 10-min. presentation
(no more than 2-4 slides!). A typical presentation should consist of
features and goals of the project
achievements and current state
next steps, future plans
offers and request for cooperation
An open-ended discussion session will follow the presentations.
We invite all groups and projects to participate in this exciting event.
For optimal preparation of the session we would like to receive
a 1-2 page abstract of your presentation and
name and address (phone, FAX, e-mail) of a contact person.
Please send this information at your earliest convenience to one of the
following persons.
Professor Paul Wang, Dept. of Mathematics and Computer Science,
Kent State Univ. Kent Ohio, 44242 USA (pwang@ma-cs.kent.edu)
Dr. Franz Winkler, University of Linz, RISC
Institute, A4040 Linz, Austria (Europe), (bitnet: k310270@AEARN)
These abstracts will also be published in a regular issue of the SIGSAM
Bulletin. We aim at a complete picture of the current state on symbolic
software activities in the world.
Therefore, your participation in this event is crucial and we
hope that your group will be represented. You are also encouraged to
bring demos of your system. The organizers are exploring the possibility
of making several popular workstations available on site.
We look forward to hearing from you and to seeing you at DISCO 90 in Capri.