Invited talks
Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria,
bruno.buchberger@risc.uni-linz.ac.at
Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher
St. Petersburg Institute for Informatics and Automation, 39, 14-th Liniya, St. Petersburg, 199178, Russia,
gor@iias.spb.su
P2P Open Agent Networks for Decision Making
__________________________________________________________________________________________
Redhat
Relational Declarative Programming with JBoss Drools
__________________________________________________________________________________________
Faculty of Mathematics and Computational Sciences
University of St. Andrews, UK
SymGrid: a Framework for Symbolic Computations on the Grid
__________________________________________________________________________________________
Department of Computer Science
University of Tsukuba
Tsukuba 305-8573, Japan
ida@cs.tsukuba.ac.jp
________________________________________________________________________________
School of Mathematical and Computer Science
Heriot-Watt University, Edinburgh, Scotland
fairouz@macs.hw.ac.uk
Abstract
Charles Chidume
International Centre for Theoretical Physics, Trieste, Italy
chidume@ictp.it
On the Mann iteration process
Babes-Bolyai University, Cluj-Napoca, Romania
iarus@math.ubbcluj.ro
Some application of weakly Picard operators
________________________________________________________________________________
Institute of Informatics
Brandenburg University of Technology, Cottbus, Germany
giurca@tu-cottbus.de
Tutorial: Rule modeling and rule interchange
Abstract