Synasc 2005 - Call for papers

NEW submission deadline:  July, 4

New submission deadline for ACSys 2005: July 29, 2005

SYNASC 2005 
7th International Workshop on 
Symbolic and Numeric Algorithms for Scientific Computing 
Timisoara, Romania 
September 25-29, 2005 
http://synasc05.info.uvt.ro/

Organized by:

Department of Computer Science
West University of Timisoara, Romania

http://www.math.uvt.ro

Research Institute for Symbolic Computation
Johannes Kepler University, Linz, Austria 

http://www.risc.uni-linz.ac.at


Research Institute e-Austria

http://www.ieat.ro


Aim:

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 of interests:    

  • 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. 

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.


We invite submissions in the form of:

  • full research papers,
  • short papers (work in progress),
  • system descriptions and software demonstrations.


Proposals for workshops or technical sessions are also invited.
 

Publication: 

The extended abstracts of the papers accepted for presentation at SYNASC'05 will be available to the participants on a CD at the conference site.
Revised versions of papers presented at SYNASC'05 will further be published by IEEE Computer Press.


General Chairs:

      Bruno Buchberger,  Johannes Kepler University, Linz
      Stefan Maruster, West University  of  Timisoara

Program Chairs:

      Tudor Jebelean, Johannes Kepler University, Linz   
      Viorel Negru, West University  of  Timisoara

Local Chairs:  

      Dana Petcu, West University  of  Timisoara
      Daniela Zaharie, West University  of  Timisoara 


Program Committee:

Charles G. Broyden, UK
Vasile Berinde, Romania
Stefano Cerri, France 
Gabriel Ciobanu, Romania
Gheorghe Coman, Romania 
Vladimir Cretu, Romania 
Christo Dichev, Bulgaria  
Adina Florea, Romania   
Laureano Gonzales-Vega, Spain 
Vladimir Gorodetsky, Russia
Daniele Herin, France
Stefan Holban, Romania 
Tetsuo Ida, Japan 
Boris Konev, UK 
Jens Knoop, Austria
Attila Kuba, Hungary 
Dorel Lucanu, Romania  
Mircea Marin, Japan
Radu Marinescu, Romania
 

Guy Melanšon, France
Marius Minea, Romania
Markus Müller-Olm, Germany
Vasile Palade, UK
Marcin Paprzycki, USA 
Petru Pau, Austria 
Bazil Parv, Romania   
Eugene Roventa, Canada
Markus Schordan,  Austria
Amal El Fallah Seghrouchni, France  
Luminita State, Romania
Doina Tatar, Romania
Marie-Claude Thomas, France
Ioan Tomescu, Romania
Brigitte Trousse, France 
Dan Tufis, Romania
Ferucio Laurentiu Tiplea, Romania
Lucia Vaina, USA 
Helmut Veith, Austria 


Submission:

Papers of up to 8 pages (IEEE style), must be submitted electronically to synasc05@info.uvt.ro
Extended abstracts (up to 4 pages) may be submitted for short papers and system presentations.

Proposals for workshops and special technical sessions are also invited. Such workshops and special sessions should have a focus and topic content that relates to the SYNASC05 topics. Workshops and sessions should have a minimum of five papers. Please send a short description (100-200 words) of the proposed workshop or technical session. The description should contain the scope, focus and/or intended content. The proposal should also list the submission procedures, program/review committee members and submission dates (these should be in concordance with the SYNASC05 deadline for final paper submission).


Important dates:

Workshop proposals (extended deadline): May 6, 2005    

New extended deadline for submission:  July 4, 2005    

Notification of acceptance: August 1, 2005

Final paper and registration: September 1, 2005

Workshop starts: September 25, 2005

Revised papers for post-proceedings: October 20, 2005

 


Conference fees:

The estimated registration fees are:

  • without post-proceedings volume: 150 Euro (it covers the CD, refreshments during breaks, welcome cocktail and banquet)
  • including the post-proceedings volume: 250 Euro (it covers the post-proceedings, the CD, refreshments during breaks, welcome cocktail and banquet)

Students and participants from Eastern Europe may apply for reduced participation fee:

  • 75 Euro (without post-proceedings)
  • 175 Euro (including post-proceedings).  

Travel arrangements:

Air travel from Vienna to Timisoara: daily 13:45 and back 16:30 (Austrian airlines).

via Bucuresti: various (from Bucuresti to Timisoara by plane - 1h or by train - 10 h).

via Budapest: various (from Budapest to Timisoara by plaine - 1h or by train - 7h or by bus - 5h).


Venue: 

The city of Timisoara hosts several prestigious academic institutions (the West University, the "Politehnica" University, the University of Medicine, and others).  The city and the surrounding region have an unique history in Romania, being over the centuries an object of dispute for several states (Roman, Hungarian, Ottoman, Austrian), which left their still visible marks, and, above all, a very multicultural society which  constitutes a beautiful example of harmony in Romania and in the Balkans (30 Km from  Serbia). The openness of mind of its inhabitants is probably one of the reasons for starting  the anti-Communist movement in Romania and for being now one of the economically most advanced locations in the country. 

 
Online information about Timisoara:


Social programme:
     
   
A social programme including visits to the historical city, museum, and possibly a trip to Danube river / center of Romania / wine cave - depending on the programme and wishes of the participants.


Address for correspondence 
 
     SYNASC 2005
     West University 
     Dept. of Computer Science 
     Bd. V. Parvan 4, 300223 Timisoara, Romania 
     tel./fax: + (40) 256 494002 

     e-mail: synasc05@info.uvt.ro 

Additional info: http://www.math.uvt.ro , http://synasc05.info.uvt.ro