## Workshop program

As indicated in the main page, this workshop is a part of the ICCS'2003
conference. Therefore, the workshop program is determined by the general
conference ICCS organizers. The preliminary program for the workshop is:

**Monday, June 2**
**Session 1: 15:00 - 16:15 (3 talks)**

Workshop presentation: information about FGCS Special Issue
**Talk 1**:

__Ali Yazici__, Tanil Ergenc, Irfan Altas "Romberg Integration:
A Symbolic Approach with Mathematica"

**Talk 2**:

__Annick Dhooge__, Willy Govaerts, Yuri A. Kuznetsov "Numerical
continuation of fold bifurcations of limit cycles in MATCONT"

**Talk 3**: Victor Aladjev "Computer Algebra System Maple: A New Software
Library"

Session 2: 16:45 - 18:00 (4 talks)

Talk 4: Juan M. Olazabal "Computer Aided Symbolic Linear Algebra"

**Talk 5**: Alfred Noel "Computing maximal tori using Lie and Mathematica"

**Talk 6**: Igor Gahckov "Error-Correcting codes with Mathematica"

**Talk 7**:

__A. Cepulkauskas__, R. Kulvietien, G. Kulvietis "Computer
Algebra for Analyzing the vibrations of nonlinear structures"

**Tuesday, June 3**

Session 3: 10:00 - 11:15 (4 talks)

**Talk 8**: __Giovannina Albano__,
Bernardo D'Auria, and Saverio Salerno "A webMathematica application for mathematics
learning"

**Talk 9**: Vitaly Eltekov "Checking the four-valued Boolean algebra
by the use PLANNER"

**Talk 10**: Unal Ufuktepe "An application with webMathematica"

**Talk 11**: Fernando Diez,

__Roberto Moriyon__. "Strategies for the
Interactive Resolution of Calculus Problems"

Session 4: 11:45 - 14:15 (6 talks)
**Talk 12**: Francisco Botana. "A Web-based Intelligent System for Geometric
Discovery"

**Talk 13**: Stefano Bistarelli, Giandominico Boffi,

__Fabio Rossi__.
"Computer Algebra for Fingerprint Matching"

**Talk 14**:

__Ahmet Yantir__, Unal Ufuktepe. "Basic Calculus on Time
Scale with Mathematica"

**Talk 15**: Hirokazu Anai,

__Hitoshi Yanami__. "SyNRAC: A Maple-package
for solving real algebraic constrains"

**Talk 16**: Armando G. M. Neves. "Symbolic Computation of High-Order
Exact Picard Iterates for Systems of Linear Differential Equations with Time-Periodic
Coefficients"

**Talk 17**: Akemi Galvez,

__Andres Iglesias__. "Binary Distillation
Column Design Through McCabe-Thiele Method Using Mathematica"