Computer Algebra in Scientific Computing
CASC 2012

TUM Logo

First Announcement and Call for Papers

The 14th International Workshop in Computer Algebra in Scientific Computing, CASC 2012, will be held in the city of Maribor, Slovenia, September 3-6, 2012.

The methods of Scientific Computing play an important role in the natural sciences and engineering. Significance and impact of computer algebra methods and computer algebra systems for scientific computing has increased considerably over the last decade.
Nowadays, computer algebra systems such as CoCoA, Macaulay, Magma, Maple, Mathematica, Maxima, Reduce, Singular and others enable their users to exploit their powerful facilities in
  • symbolic manipulation
  • numerical computation
  • visualization
The ongoing development of computer algebra systems, including their integration and adaptation to modern software environments, puts them to the forefront in scientific computing and enables the practical solution of many complex applied problems in the domains of natural sciences and engineering.
The topics addressed in the workshop cover all the basic areas of scientific computing as they benefit from the application of computer algebra methods and software:
  • exact and approximate computation
  • numerical simulation using computer algebra systems
  • parallel symbolic-numeric computation
  • symbolic-numeric methods for differential, differential-algebraic and difference equations
  • symbolic-numeric methods for polynomial equations and inequalities
  • algorithms and complexity in computer algebra
  • automated reasoning in algebra and geometry
  • algebraic methods in geometric modeling
  • application of computer algebra to natural sciences and engineering
  • problem-solving environments
  • internet accessible symbolic and numeric computation

W. Mayr (München) W. Mayr (München) W. Mayr (München)
Program Committee Organizing Committee

Workshop General Chairs Local Organization 
Vladimir P. Gerdt (Dubna) Valery Romanovski (Maribor)
Ernst W. Mayr (München) Marko Petkovšek (Ljubljana)
Program Committee Chairs Marko Robnik (Maribor)
Wolfram Koepf (Kassel)
Evgenii V. Vorozhtsov (Novosibirsk)

Program Committee
Sergei Abramov (Moscow)

François Boulier (Lille)

Hans-Joachim Bungartz (München)

Victor F. Edneral (Moscow)

Ioannis Z. Emiris (Athens)

Jaime Gutierrez (Santander)

Viktor Levandovskyy (Aachen)

Marc Moreno Maza (London, Canada)

Alexander Prokopenya (Warsaw)

Eugenio Roanes-Lozano (Madrid)

Valery Romanovski (Maribor)

Markus Rosenkranz (Canterbury)

Mohab Safey El Din (Paris)

Yosuke Sato (Tokyo)

Werner M. Seiler (Kassel)

Doru Stefanescu (Bucharest)

Thomas Sturm (Saarbrücken)
Thomas Sturm (Saarbrücken)
Thomas Sturm (Saarbrücken)
Thomas Sturm (Saarbrücken)

Agnes Szanto (Raleigh)

Stephen M. Watt (Western Ontario, Canada)

Andreas Weber (Bonn)

Important Dates

(Extended) deadline for submission: April 8, 2012
Notification of acceptance:     May 21, 2012
Deadline for final version:   June 8, 2012

For Authors:

Please send your submission using the electronic submission system at:

The total length of the paper should not exceed 12 pages.
Download the Springer LNCS style package for Latex2e.
Further style packages can be obtained from Springer Online.