Sessions+organizers of the 1995 IMACS Applications of Computer Algebra Meeting:

SYMMETRIES AND CLOSED FORM SOLUTIONS OF DIFFERENTIAL EQUATIONS
Fritz Schwarz

PARAMETRIC CURVES AND APPLICATIONS IN COMPUTER AIDED GEOMETRIC DESIGN
J. Rafael Sendra

POLYNOMIAL SYSTEMS
Lakshman Y. N. & David Wood

CONSTRUCTION AND APPLICATIONS OF NORMAL FORMS IN THE THEORY OF
NONLINEAR ODES AND TRANSFER MAP TECHNIQUES
Alexander D. Bruno & Victor Edneral

COMPUTER ALGEBRA APPLIED TO TECHNOLOGY & OPEN SESSION
Waldir L. Roque & Laureano GonzalezVega

CA APPLICATIONS OF STOCHASTIC METHODS
Michael Trott

PARALLEL COMPUTER ALGEBRA
Eric Kaltofen & Gilles Villard

NUMERICAL METHODS FOR PDES IN A COMPUTER ALGEBRA ENVIRONMENT
Victor G. Ganzha & E. V. Vorozhtsov

CA METHODS IN CONTROL
Chaouki T. Abdallah & Peter Dorato

CAS IN ENGINEERING EDUCATION
H. Eric Nuttall & Jeanine Ingber

COMPUTER ALGEBRA AND AUTOMATED THEOREM PROVING
Dongming Wang

QUANTIFIER ELIMINATION AND ITS APPLICATIONS
Richard Liska & Michael Jahn

-------------------------------------------------------------------------------

Sessions+organizers of the 1996 IMACS Applications of Computer Algebra Meeting:

AUTOMATED THEOREM PROVING
Bruno Buchberger

FORMAL ANALYSIS OF PDES
Vladimir P. Gerdt 

CODING THEORY AND CRYPTOLOGY
Shojiro Sakata

GEOMETRIC MODELLING AND CAD
J. Rafael Sendra & Sabine Stifter

COMPUTATIONAL PHYSICS
V.G. Ganzha, Claudio Maccone, Rolf Mertig, E.V. Vorozhtsov

COMPUTATIONAL CATEGORY THEORY
Michael Johnson

NON-STANDARD APPLICATIONS
Eugenio Roanes-Lozano

POLYNOMIAL ELIMINATION
Dongming Wang

CONSTRAINTS PROGRAMMING
Akira Aiba

ANALOG CIRCUIT DESIGN
Erich Barke & Ralf Sommer

EVALUATIONS OF SERIES
Victor Edneral & Nikolay Vasiliev 

QUANTIFIER ELIMINATION
Hoon Hong, Richard Liska, Stanly Steinberg

NEW APPLICATIONS IN MATHEMATICA
Alexei Bocharov

COMPARATIVE CAS REVIEWS AND PHILOSOPHY
Michael Wester