siglauvt2.jpg synasc2005.jpg
 Main Menu
SYNASC 2005
Home
Call for papers
Topics
Workshops
Workshop - CAVIS 2005
Workshop - SCG 2005
Workshop - NCA 2005
Workshop - PNWM 2005
Workshop - TAPS 2005
Workshop - ACSys 2005
Invited talks
Publication
Post-proceedings
Committees
Submission
Important dates
Conference fee
Accomodation
Travel
Program
Venue
Social programme
Registration form
Sponsors
Contact
Previous editions
Related Conferences

 Search
  
Synasc 2005 - Topic PDF Print E-mail

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 ,

   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) 2005 - Department of Computer Science, email: synasc05@info.uvt.ro