siglauvt2.jpg synasc2006.jpg
 Main Menu
Home
Call for papers
Topics
Workshops
ACSys workshop
GridCAD workshop
ICS workshop
MTE workshop
NCA workshop
PN&WM workshop
Invited talks
Publication
Committees
Submission
Important dates
Fees
Accommodation
Program
Travel
Venue
Social programme
Registration form
Contact info
Previous editions
Sponsors

 Search
  
Synasc 2006 - Topics PDF Print

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:

  • 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; 
  • multi-agent 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. 

    


 

 


Copyright(C) 2006 - Department of Computer Science, email: synasc06@info.uvt.ro