EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings Volume 1: Invited Lectures
Computer Algebra EUROCAM '82, European Computer Algebra Conference, Marseilles, France, April 5-7, 1982
EUROCAL '87 European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings
Computer Algebra: EUROCAL’83, European Computer Algebra Conference London, England, March 28–30, 1983 Proceedings (Lecture Notes in Computer Science, 162)
EUROSAM 84 International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
Trends in Computer Algebra: International Symposium, Bad Neuenahr, May 19-21, 1987. Proceedings (Lecture Notes in Computer Science, 296)
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
Design and Implementation of Symbolic Computation Systems International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings
Symbolic and Algebraic Computation International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings
Algebraic Algorithms and Error-Correcting Codes 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985. Proceedings