Personal tools
You are here: Home Call For Papers
Document Actions

Call For Papers

Extended deadline ACSys 2009 - August 19, 2009

SYNASC 2009
11th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
Timisoara, Romania
September 26-29, 2009
http://synasc09.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,
Timisoara, Romania

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


Topics of interests:

  • Symbolic Computation
      • computer algebra;
      • symbolic techniques applied to numerics;
      • hybrid symbolic and numeric algorithms.
      • numerics and symbolics for geometry;
      • programming with constraints, narrowing;
  • Logic and programming
      • automatic reasoning;
      • formal system verification;
      • formal verification and synthesis
      • software quality assessment;
      • static analysis;
      • timing analysis.
  • Artificial Intelligence
      • hard computational problem solving;
      • intelligent systems (front-ends) for scientific computing;
      • agent-based complex systems modeling and development;
      • knowledge and data intensive systems
      • soft computing;
      • recommender systems for scientific computing;
      • data mining; web mining;
      • information retrieval.
  • Numerical computing
      • iterative approximation of fixed points;
      • solving systems of nonlinear equations;
      • numerical and symbolic algorithms for differential equations;
      • numerical and symbolic algorithms for optimization;
      • parallel algorithms for numeric computing;
      • scientific visualization and image processing.
  • Parallel computing
      • parallel, distributed and web computing for symbolics and numerics;
      • grid middleware and applications;
      • agent-based grid computing;
      • grid services;
      • workflow management.
  • Advances in the Theory of Computing
      • data structures, algorithms and combinatorial optimization 
      • graphs and combinatorics in computer science 
      • models of computational complexity 
      • logical approaches to complexity 
      • new computational paradigms 
      • automata theory and other formal models


We invite submissions in the form of:

      • full research papers,
      • informal presentations.
Accepted research papers will be presented at the conference and will be also published in the proceedings.
Accepted informal presentations will be presented at the conference but will not be published in the proceedings. Informal presentations may include: surveys of original research published elsewhere, work in progress, system descriptions, software demonstrations, etc.



Publication:

The research papers accepted for the conference will be collected as post-proceedings published by Conference Publishing Service (CSP).

For previous proceedings see http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=4438060


Honorary Chairs:
      • Bruno Buchberger,  Johannes Kepler University, Linz
      • Stefan Maruster, West University of Timisoara, Romania

Steering Committee:
      • Tetsuo Ida, University of Tsukuba, Japan
      • Tudor Jebelean, Johannes Kepler University, Austria
      • Viorel Negru, West University of Timisoara, Romania
      • Dana Petcu, West University of Timisoara, Romania
      • Stephen Watt, University of Western Ontario, Canada
      • Daniela Zaharie, West University of Timisoara, Romania

General chair:
      • Viorel Negru, West University of Timisoara, Romania

Program Chair:
      • Stephen Watt, University of Western Ontario, Canada

Sessions chairs:
  • Symbolic computation
      • Tetsuo Ida, University of Tsukuba, Japan
      • Dongming Wang, Universite Pierre et Marie Curie, France

  • Logic and programming
      • Tudor Jebelean, Johannes Kepler University, Austria
      • Jens Knoop, Vienna University of Technology, Austria

  • Artificial Intelligence
      • Ajith Abraham, Norwegian University of Science and Technology, Norway
      • Daniela Zaharie, West University of Timisoara, Romania

  • Numerical computing
      • Vasile Berinde, North University of Baia Mare, Romania
      • Stefan Maruster, West University of Timisoara, Romania

  • Parallel and distributed computing
      • Dana Petcu, West University of Timisoara, Romania
      • Wolfgang Schreiner, Johannes Kepler University, Austria

  • Advances in the Theory of Computing
      • Gabriel Istrate, Research Institute e-Austria Timisoara, Romania

Special sessions chair:
      • Dana Petcu, West University of Timisoara, Romania

Workshops chair:
      • Tudor Jebelean, Johannes Kepler University, Austria

Tutorial chair:
      • Laura Kovacs, EPF Lausanne, Switzerland

Proceedings chair:
      • Daniela Zaharie, West University of Timisoara, Romania

Publicity chair:
      • Cosmin Bonchis, Institute e-Austria Timisoara, Romania

Local committee:
      • Cosmin Bonchis, chair, Institute e-Austria Timisoara, Romania
      • Silviu Panica, West University of Timisoara, Romania
      • Florin Sarghe, West University of Timisoara, Romania
      • Marian Neagul, West University of Timisoara, Romania
      • Isabel Schweiger, Institute e-Austria Timisoara, Romania


Submission:
Papers of up to 8 pages (IEEE conference style), must be submitted electronically through EasyChair.

Research papers must contain original research results not submitted and not published elsewhere.

In particular, research papers may not include portions of already published or already submitted papers. When the coherence of the research paper needs a succint presentation of older research results, this succint presentation must be reduced to the minimum necessary and may not overcome 20% of the currently submitted paper.

Authors which want to present and discuss new aspects or a survey of their  older research results at the conference are welcome to submit an informal presentation.

Extended abstracts (up to 4 pages) may be submitted for informal presentations.


Important dates:

Special sessions / Workshops / Tutorials: 20 April 2009


Papers submission (LAST EXTENDED DEADLINE):  1 July 2009

Notification of acceptance: 20 August 2009

Registration: 6 September 2009

Final paper: 20 september 2009

Symposium period: 26-29 September 2009

Revised papers for post-proceedings: 30 November 2009


Conference fees:

The estimated registration fee is:

  • 275 Euro (it covers refreshments during breaks, welcome cocktail and symposium dinner and post-proceedings)

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

  • 200 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 2009
West University of Timisoara
Dept. of Computer Science
Bd. V. Parvan 4, 300223 Timisoara, Romania
tel: + (40) 256 592155
fax: + (40) 256 592316
e-mail: synasc09 [at] info [dot] uvt [dot] ro

 

© 2001-2012 SYNASC 2009 - Contact: synasc09@info.uvt.ro