SYNASC aims to stimulate the interaction between the two scientific communities of symbolic and numeric computing, with the purpose of exhibiting interesting applications of these areas both in theory and in practice.

                   Topics for submissions to SYNASC:

  • solving systems of nonlinear equations; 
  • symbolic techniques applied to numerics; 
  • applications of automated reasoning;
  • applications of computer algebra;
  • artificial intelligence in numeric solving; 
  • multi-agent systems for complex problem solving;
  • parallel computation for symbolics and numerics;
  • genetic and evolutionary computing;
  • programming with constraints, narrowing;
  • reliable approximative computation with reals;
  • numerics and symbolics for geometry; 
  • scientific visualization;
  • formal system verification.
  • software quality assesment;

                  but this list is not intended to be exhaustive. 

   We also welcome system descriptions related to these areas. 

   The choice of these topics is motivated by the belief of the organizers that the dialogue between the two communities is very necessary in order to make significant progress in making the computer a truly intelligent aid for mathematicians and engineers.

  The Symposium will comprise a workshop on Computer-Aided Verification of  Information Systems (CAVIS).

Copyright (C) 2001-2004 Department of Computer Science, email: