Отправляет email-рассылки с помощью сервиса Sendsay

Система компьютерной алгебры GAP

Подписаться Бесплатная «Серебряная» новостная рассылка . Временно не выходит ,возобновит выход - нет информации Подписчиков 783 RSS
←   Июнь 2010   →
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
24.06.2010
03:25:49
06:25:14
25
26
27
28
29
30


За последние 60 дней ни разу не выходила


Сайт рассылки: http://www.gap-system.org/ukrgap/
Открыта: 05-02-2002

Автор
Александр Борисович Коновалов

Статистика

783 подписчиков
0 за неделю
←   Все выпуски   →

Система компьютерной алгебры GAP: FINAL DEADLINE, July 5th - SYNASC 2010, Timisoara, Romania, 23-26, Sep, 2010



[Please post - apologies for multiple copies.]

Call for Papers - EXTENDED DEADLINE

---------------------
SYNASC 2010

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:
-----------------
FINAL DEADLINE July 5, 2010 : PAPERS SUBMISSION
August 15, 2010 : Notification of acceptance
September 1, 2010 : Registration
September 8, 2010 : Revised papers according to the reviews
September 23-26, 2010 : Symposium period
November 30, 2010 : Final papers for post-proceedings


Topics of interests:
-------------------
Symposium 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 problem solving;
+ knowledge and data intensive systems;
+ soft computing;
+ recommender systems for scientific computing;
+ data mining and web mining;
+ information retrieval;
+ hibrid systems.

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

This list is not intended to be exhaustive.

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
+ 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
+ Multi-agent systems in high-performance processing
+ Agents and multi-agent systems for Grid Computing
+ Recommendation agents for scientific problem solving
+ Distributed knowledge integration and sharing for scientific
applications
+ Agent based resource and service discovery
+ Agents and emergent behavior
+ Agent-based distributed problem solving
+ Learning in multi-agent systems

* 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
+ immunocomputing


Publication:
------------
The research papers accepted for the conference tracks and special sesions
will be collected as post-proceedings published by IEEE Computer Science
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, Universite' 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 Bucharest, 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=synasc2010.

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)


==========================================================

ACSys 2010 - 7th Workshop on Agents for Complex Systems
in conjunction with SYNASC 2010

July 15, 2010: Papers submission
http://synasc10.info.uvt.ro/workshops/acsys/

==========================================================

NCA 2010 - Workshop on Natural Computing and Applications
in conjunction with SYNASC 2010

July 5, 2010: Papers submission
http://synasc10.info.uvt.ro/workshops/nca

==========================================================

----------------------------
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
В избранное