The following is a list of conference proceedings. These proceedings are listed by name of conference or acronym thereof.

CAP:

• CAP '88
  Computer Algebra and Parallelism,
  Grenoble, France.
  Academic Press ISBN 0-12-209042-x.
  

DISCO:

• DISCO '90
  1990 Design and Implementation of SYmbolic Computation Systems,
  Capri Italy,
  Springer-Verlag Lecture Notes in Computer Science, Vol. 429.
  

EUROCAL:

• EUROCAL '83
  J. A. van Hulzen (Editor),
  Proceedings of the 1983 European Conference on Computer Algebra,
  (Kingston-on-Thames), London, England.
  Springer-Verlag Lecture Notes in Computer Science, Vol. 162.
  
• EUROCAL '85
  B. Buchberger (Editor),
  Proceedings of the 1985 European Conference on Computer Algebra, Vol. I,
  Linz, Austria.
  Springer-Verlag Lecture Notes in Computer Science, Vol. 203.
  
• EUROCAL '85
  B. F. Caviness (Editor),
  Proceedings of the 1985 European Conference on Computer Algebra, Vol. II,
  Linz, Austria.
  Springer-Verlag Lecture Notes in Computer Science, Vol. 204.
  
• EUROCAL '87
  J. H. Davenport (Editor),
  Proceedings of the 1987 European Conference on Computer Algebra,
  Leipzig, GDR.
  Springer-Verlag Lecture Notes in Computer Science, Vol. 378.
  

EUROCAM:

• EUROCAM '82
  J. Calmet, (Editor),
  Proceedings of the 1982 European Computer Algebra Conference,
  Marseilles, France.
  Springer-Verlag Lecture Notes in Computer Science, Vol. 144.
  

EUROSAM:

• EUROSAM '79
  E. W. Ng, (Editor),
  Proceedings of the 1979 International Symposium on Symbolic and Algebraic Manipulation,
  Marseilles, France.
  Springer-Verlag Lecture Notes in Computer Science, Vol. 72.
  
• EUROSAM '84
  J. Fitch (Editor),
  Proceedings of the 1984 International Symposium on Symbolic and Algebraic Manipulation,
  Cambridge, England.
  Springer-Verlag Lecture Notes in Computer Science, Vol. 174.
  

IAMC:

• Internet Accessible Mathematical Computation Listing of IAMC 1999 Workshop Proceedings
• IAMC'01 Page:   http://www.SymbolicNet.org/conferences/iamc2001.html
• IAMC'02 Page:   http://www.SymbolicNet.org/conferences/iamc02
• IAMC'03 Page:   http://www.SymbolicNet.org/conferences/iamc03
• IAMC'04 Page:   http://www.orcca.on.ca/conferences/iamc2004/
• IAMC'05 Page:   http://www.SymbolicNet.org/conferences/iamc05

IMACS:

• Electronic Proceedings for the the First IMACS Conference on Applications of Computer Algebra are available through http://math.unm.edu/aca.html.
  

ISSAC:

See also this ISSAC listing

• ISSAC '88
  P. Gianni (Editor),
  Proceedings of the 1988 International Symposium on Symbolic and Algebraic Computation,
  Rome, Italy.
  Springer-Verlag Lecture Notes in Computer Science, Vol. 358.
  
• ISSAC '89
  Proceedings of the 1989 International Symposium on Symbolic and Algebraic Computation,
  Portland, Oregon.
  ACM Press, P. O. Box 64145, Baltimore MD 21264, ACM order no (505890), ISBN 0-89791-325-6.
  
• ISSAC '90
  S. Watanabi, M. Nagata (Editors),
  Proceedings of the 1990 International Symposium on Symbolic and Algebraic Computation,
  Tokyo, Japan.
  ACM Press/Addison-Wesley.
  
• ISSAC '91
  S. M. Watt (Editor),
  Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation,
  Bonn, Germany.
  ACM Press, New York.
  
• ISSAC '92
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation,
  UC Berkeley, USA.
  ACM Press, New York.
  
• ISSAC '93
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation,
  Kiev, Ukraine.
  ACM Press, New York.
  
• ISSAC 1994
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation,
  Oxford, UK.
  ACM Press, New York.
  
• ISSAC 1995 (Montreal, Canada).
• ISSAC 1996 (Zurich, Switzerland).
• ISSAC 1997 (Maui, Hawaii, USA).
• ISSAC 1998 (Rostock, Germany).
• ISSAC 1999 (Vancouver, BC, Canada).
• ISSAC 2000 (St Andrews University St Andrews, Fife, Scotland).
• ISSAC '2001 (Western Ontario, London, Ontario, Canada).
• ISSAC 2002 (Universit&accutee; de Lille, Lille, France).
• ISSAC 2003 (Drexel University, Philadelphia, Pennsylvahia, USA).
• ISSAC 2004 (University of Cantabria, Santander, Spain).

MACSYMA:

• MACSYMA '77
  Proceedings of the 1977 MACSYMA Users' Conference,
  Berkeley, CA, NASA CP-2012
  
• MACSYMA '79
  V.E. Lewis (Editor),
  Proceedings of the 1979 MACSYMA User's Conference,
  Schenectady, Washington DC, MIT Laboratory for Computer Science.
  
• MACSYMA '84
  V. E. Golden (Editor),
  Proceedings of the Third MACSYMA Users' Conference,
  Schenectady, New York, 1984.
  

MathML Conference:

• MathML 2000 Conference
• MathML 2002 Conference

RIMS:

• RIMS '85
  S. Hitotumatu (Chairman),
  Fifth RIMS Conference on Formula Manipulation and Its Application to Mathematical Study,
  Kyoto, Japan.
  
• RIMS '86
  T. Sasaki (Chairman),
  Sixth RIMS Conference on Formula Manipulation and Its Application to Mathematical Study,
  Kyoto, Japan.
  

SYMSAC:

• SYMSAC '71
  S. R. Petrick (Editor),
  Proceedings of the 1971 Second Symposium on Symbolic and Algebraic Manipulation,
  ACM Press, New York, 1971.
  
• SYMSAC '76
  R. D. Jenks (Editor),
  Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation,
  ACM Press, New York, 1976.
  
• SYMSAC '81
  P. S. Wang (Editor),
  Proceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation,
  ACM Press, New York, 1981.
  
• SYMSAC '86
  B. Char (Editor),
  Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation,
  ACM Press, (order no 505860), ISBN 0-889791-199-7.
  

TCA:

• TCA '87
  R. Janssen, (Editor),
  Trends in Computer Algebra,
  International Symposium Bad Neuenahr, Germany.
  Springer-Verlag Lecture Notes in Computer Science, Vol. 296.
  

Others:

• M. D. Atkinson,
  Computational group theory,
  Proceedings of the London Mathematical Society Symposium on Computational Group Theory,
  Academic Press, San Diego, 1984.
  
• Computers and Mathematics (Camb. Ma. 1989)
  Computers and Mathematics (Stanford Ca. 1986)
  Computers and Mathematics (New York NY. 1983)