SYNASC 2010 - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

12th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
September 23-26, 2010, Timisoara, Romania
http://synasc10.info.uvt.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.

Important dates

30 May 2010 : Paper submission
15 August 2010 : Notification of acceptance
01 September 2010 :

Registration
08 September 2010

:

Revised papers according to the reviews
23-26 September 2010 :

Symposium period
30 November 2010 :

Final papers for post-proceedings

Topics of interests

Conference tracks:

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

* Distributed computing

+ parallel, distributed and web computing for symbolics and numerics;

+ cloud computing

+ grid middleware and applications;

+ agent-based grid computing;

+ grid services;

+ workflow management.

Symposium special sessions:

* 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

* Global Computing Models and Technologies

+ coordination and orchestration languages

+ mobility, computation in networks with dynamic topology

+ process algebra and calculi, interactive programming languages

+ formal verification in global computing, spatio-temporal logics

+ context awareness and security in distributed environment

+ service oriented computing and related formalisms

+ membrane computing as model of distributed systems

* Software Services: Frameworks and Platforms

+ frameworks for software services

+ platforms for software services

+ service oriented computing

+ cloud computing

+ software service life-cycle

+ dynamic discovery, matching and composition of services

+ formation and management of virtual organisations

+ service-based autonomic computing

Workshops:

* Workshop on Agents for Complex Systems

+ Multi-agent systems for modeling and simulation

+ Agent oriented software design and methodology

+ Performance analysis / modeling of multi-agent systems

+ Task-based agent context and task-oriented agents

+ Agents and multi-agent systems for Grid Computing

+ Agent-based distributed problem solving

* Workshop on Natural Computing and Applications

+ evolutionary computing

+ neural computing, Bayesian networks, learning algorithms

+ membrane computing

+ DNA computing

+ molecular computing

+ information processing in cells and tissues

+ quantum computing

+ swarm intelligence

+ immunocomputing

This list is not intended to be exhaustive.

Publication

The research papers accepted for the conference tracks will be collected as post-proceedings published by Conference Publishing Service (CSP) (ISI Proceedings). For previous proceedings see http://ieeexplore.ieee.org.

The workshops have their own post-proceeding publications.

Symposium Chairs

Honorary Chairs:

* Bruno Buchberger, Johannes Kepler University, Austria

* 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:

* Tetsuo Ida, University of Tsukuba, Japan

Track chairs:

* Symbolic computation

+ Stephen Watt, University of Western Ontario, Canada

+ 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

+ Abdellatif Moudafi, Université des Antilles-Guyane, Martinique, France

+ Vasile Berinde, North University of Baia Mare, Romania

* Distributed computing

+ Wolfgang Schreiner, Johannes Kepler University, Austria

+ Florin Pop, Politehnica University of Buchares, Romania

Special session chairs:

* Advances in the Theory of Computing

+ Gabriel Istrate, Research Institute e-Austria Timisoara, Romania

* Global Computing Models and Technologies

+ Gabriel Ciobanu, A.I.Cuza University, Iasi, Romania

+ Gheorghe Stefanescu, University of Bucharest, Romania

* Software Services: Frameworks and Platforms

+ Alex Galis, University College London, UK

+ Dana Petcu, West University of Timisoara, Romania

Workshop chairs:

* 7th Workshop on Agents for Complex Systems

+ Adina Magda Florea, "Politehnica" University of Bucharest, Romania

+ Costin Badica, University of Craiova, Romania

* Workshop on Natural Computing and Application

+ Ajith Abraham, Norwegian University of Science and Technology, Norway

+ Dan Dumitrescu, Babes Bolyai University Cluj-Napoca, Romania

Tutorial chair:

* Dana Petcu, West University of Timisoara, Romania

Proceedings chairs:

* Daniela Zaharie, West University of Timisoara, Romania

* Tetsuo Ida, University of Tsukuba, Japan

Local committee chair:

* Cosmin Bonchis, Institute e-Austria Timisoara, Romania

Submission

We invite submissions in the form of:

research papers (up to 8 pages in the IEEE conference style),
posters (up to 4 pages, extended abstract).

Both full papers and extended abstracts (for posters) must be submitted electronically through:
http://www.easychair.org/conferences/?conf=synasc2....

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

Papers will be refereed and accepted on the basis of their scientific merit and relevance to the track topics.

Accepted research papers should be presented at the conference and will be published in the post proceeding.
Accepted posters will be presented at the conference but will not be published in the post proceedings. Posters may include: surveys of original research published elsewhere, work in progress, system descriptions, software demonstrations, etc.

Symposium fees
The estimated conference registration fee is:

275 Euro (it covers post-proceedings publication, the conference kit, refreshments during breaks, welcome cocktail and symposium dinner)
Participants from EU12 may apply at Workshops on Software Services (WoSS) for reduced participation fee.

The estimated workshop registration fee is:

175 Euro (it covers the workshop kit, refreshments during breaks, welcome cocktail and the symposium dinner)

The estimated tutorials registration fee is:

100 Euro (it covers the tutorial kit, refreshments during breaks, lunches during tutorial days)

Travel arrangements
Air travel to Timisoara: Traian Vuia Timisoara Airport
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:

http://www.eng.timisoara.ro
http://www.tion.ro
http://www.timisoara.ro

http://www.timisoreni.ro

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 2010
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: synasc10 [at] info [dot] uvt [dot] ro