| Description |
<p align="center">SYNASC 2008
10th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
Timisoara, Romania
September 26-29, 2008
<a href=".">http://synasc08.info.uvt.ro/
<div align="center">
<hr width="50%" /></div>
<p align="center">Organized by:
<div align="center">
<tbody>
<p align="center">Department of Computer Science
West University of Timisoara, Romania
<a href="http://www.math.uvt.ro/">http://www.math.uvt.ro
|
<p align="center">Research Institute for Symbolic Computation
Johannes Kepler University, Linz, Austria
<a href="http://www.risc.uni-linz.ac.at/">http://www.risc.uni-linz.ac.at
|
<td colspan="2">
<p align="center">Research Institute e-Austria,
Timisoara, Romania
<a href="http://www.ieat.ro/">http://www.ieat.ro
<hr />
<p align="left">Aim:
<div style="text-align: justify;">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.
</div>
<hr />
<p align="left">Topics of interests:
<li>
<div align="left">symbolic techniques applied to numerics; </div>
</li><li>
<div align="left">numerics and symbolics for geometry; </div>
</li><li>
<div align="left">automated reasoning; </div>
</li><li>
<div align="left">computer algebra; </div>
</li><li>
<div align="left">solving systems of nonlinear equations; </div>
</li><li>
<div align="left">parallel, distributed and web computing for symbolics and numerics; </div>
</li><li>
<div align="left">formal system verification;</div>
</li><li>
<div align="left">software quality assesment;</div>
</li><li>
<div align="left">programming with constraints, narrowing; </div>
</li><li>
<div align="left">artificial intelligence in numeric solving; </div>
</li><li>
<div align="left">multi-agent systems for complex problem solving; </div>
</li><li>
<div align="left">scientific visualization and image processing;</div>
</li><li>
<div align="left">grid middleware and applications;</div>
</li><li>
<div align="left">workflow management;</div>
</li><li>
<div align="left">soft computing; </div>
</li><li>
<div align="left">data mining.</div>
</li></ul>
<p align="left">This list is not intended to be exhaustive. We invite submissions in the form of:
<li>
<div align="left">full research papers,</div>
</li><li>
<div align="left">short papers (work in progress),</div>
</li><li>
<div align="left">system descriptions and software demonstrations.</div>
</li></ul>
<div align="justify">
<hr /></div>
<div align="justify">
Proposals for workshops or technical sessions are also invited.
</div>
<div align="justify">
<hr /></div>
<p align="left">Publication:
Revised versions of papers presented at SYNASC'08 will be published in post-proceedings edited by IEEE Computer Society Press.
<hr />
<p align="left">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
<hr />
<p align="left">Program Committee:
<div align="center">
<tbody>
<p align="left">Stefan Andrei, USA
Vasile Berinde, Romania
Charles G. Broyden, UK
Cosmin D. Bocaniala, UK
Stefano Cerri, France
Gabriel Ciobanu, Romania
Gheorghe Coman, Romania
Vladimir Cretu, Romania
Monica Crubezy, USA
Christo Dichev, Bulgaria
Adina Florea, Romania
Laureano Gonzales-Vega, Spain
Vladimir Gorodetsky, Russia
Daniele Herin, France
Stefan Holban, Romania
Tetsuo Ida, Japan
Gabriel Istrate, Romania
Boris Konev, UK
Jens Knoop, Austria
Dorel Lucanu, Romania
Mircea Marin, Japan
Radu Marinescu, Romania
Stefan Matu-Trausan, Romania
Guy Melancon, France
Marius Minea, Romania
|
<p align="left">Markus Müller-Olm, Germany
Richard Olejnik, France
Antal Nagy, Hungary
Laszlo Nyul, Hungary
Vasile Palade, UK
Kalman Palagyi, Hungary
Marcin Paprzycki, Poland
Bazil Parv, Romania
Gheorghe Paun, Romania
Kalman Palagyi, Hungary
Gheorghe Puscasu, Romania
Nicolas Sabouret, France
Markus Schordan, Austria
Amal El Fallah Seghrouchni, France
Daniel Stamate, UK
Luminita State, Romania
Doina Tatar, Romania
Ioan Tomescu, Romania
Brigitte Trousse, France
Dan Tufis, Romania
Ferucio Tiplea, Romania
Helmut Veith, Austria
Juan Velasquez Silva, Chile
Stephen Watt, Canada
<p align="left">
|
</tbody>
</div>
</tbody>
</div>
<hr />
<p align="justify">Submission:
Papers of up to 8 pages (<a title="LATEX_FORMAT" href="storage/IEEE_CS_Latex.zip" target="_self">IEEE conference style), must be submitted electronically through <a href="CRP">http://synasc08.info.uvt.ro/CRP (available after April 1).
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 SYNASC08 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 SYNASC08 deadline for final paper submission).
<hr />
Important dates:
Workshop proposal: 15 April 2008
Papers submission: 15 May 2008
Notification of acceptance: 15 July 2008
Final paper and registration: 1 September 2008
Symposium period: 26-29 September 2008
Revised papers for post-proceedings: 25 October 2008
<hr />
Conference fees:
The estimated registration fee is:
<li>250 Euro (it covers refreshments during breaks, welcome cocktail and symposium dinner and post-proceedings) </li></ul>
Students and participants from Eastern Europe may apply for reduced participation fee:
<li>175 Euro (including post-proceedings). </li></ul>
<hr />
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).
<hr />
<p align="justify">Venue:
<p style="text-align: justify;">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:
<li><a href="http://www.eng.timisoara.ro/" target="_blank">http://www.eng.timisoara.ro </li><li><a href="http://www.tion.ro/">http://www.tion.ro </li><li><a href="http://www.timisoara.ro/" target="_blank">http://www.timisoara.ro
</li></ul>
<hr />
<p align="left">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.
<hr />
Address for correspondence
SYNASC 2008
West University
Dept. of Computer Science
Bd. V. Parvan 4, 300223 Timisoara, Romania
tel: + (40) 256 592155
fax: + (40) 256 592316
<script type="text/javascript" language="JavaScript">
&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;lt;!--
var prefix = '&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#109;a' + 'i&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#108;' + '&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#116;o';
var path = 'hr' + 'ef' + '=';
var addy85353 = 'syn&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#97;sc06' + '&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#64;' + '&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#105;nf&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#111;' + '&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#46;' + '&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#117;vt' + '&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#46;' + 'r&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#111;';
var addy_text85353 = 'syn&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#97;sc06' + '&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#64;' + '&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#105;nf&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#111;' + '&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#46;' + '&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#117;vt' + '&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#46;' + 'r&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#111;';
document.write( '&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;lt;a ' + path + ''' + prefix + ':' + addy85353 + ''&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;gt;' );
document.write( addy_text85353 );
document.write( '&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;lt;/a&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;gt;' );
//--&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;gt;
</script> e-mail: synasc08 [at] info [dot] uvt [dot] ro
|
|
