Topics for submissions to SYNASC:
 symbolic techniques applied to numerics;
 numerics and symbolics for geometry;
 automated reasoning;
 computer algebra;
 solving systems of nonlinear equations;
 parallel, distributed and web computing for symbolics and numerics;
 formal system verification;
 software quality assesment;
 programming with constraints,narrowing;
 artificial intelligence in numeric solving;
 multiagent systems for complex problem solving;
 scientific visualization;
 grid middleware and applications;
 soft computing;
 data mining;
 image processing.

but this list is not intended to be exhaustive.
