SYNASC03 Pictures


The workshop will be an interaction forum 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;
  • artificial intelligence in numeric solving; 
  • multi-agent systems for complex problem solving;
  • parallel computation for symbolics and numerics;
  • programming with constraints, narrowing;
  • reliable approximative computation with reals;
  • numerics and symbolics for geometry; 
  • scientific visualization;
  • formal system verification.

                  but this list is not intended to be exhaustive. 

   We also welcome system descriptions related to these areas. 

   The choice of this topic 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.

  A special session on Computer-Aided Verification of Information Systems (CAVERIS) will be        organized.

   The official language of the workshop is English.

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