• Symbolic Computation
• Chairs:

+ Tetsuo Ida, University of Tsukuba, Japan
+ Stephen Watt, University of Western Ontario, Canada

• Topics:

+ computer algebra
+ symbolic techniques applied to numerics
+ hybrid symbolic and numeric algorithms
+ numerics and symbolics for geometry
+ programming with constraints, narrowing

• Logic and Programming

• Chairs:

+ Tudor Jebelean, Johannes Kepler University, Austria
+ Jens Knoop, Vienna University of Technology, Austria

• Topics:

+ automatic reasoning
+ formal system verification
+ formal verification and synthesis
+ software quality assessment
+ static analysis
+ timing analysis

• Artificial Intelligence

• Chairs:

+ Ajith Abraham, Norwegian University of Science and Technology, Norway
+ Daniela Zaharie, West University of Timisoara, Romania

• Topics:

+ 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
+ hybrid systems

• Numerical Computing

• Chairs:

+ Yonghong Yao, Tianjin Polytechnic University, China

+ Stefan Maruster, West University of Timisoara, Romania

• Topics:

+ 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 numerical computing
+ scientific visualization and image processing

• Distributed Computing

• Chairs:

+ Dana Petcu, West University of Timisoara, Romania
+ Wolfgang Schreiner, Johannes Kepler University, Austria

• Topics:

+ parallel, distributed and web computing for symbolics and numerics
+ cloud computing
+ grid middleware and applications
+ agent-based grid computing
+ grid services
+ workflow management