at ACA'2002 to be held June 25-28, 2002 in Volos, Greece

The ACA (APPLICATIONS OF COMPUTER ALGEBRA) conference has taken place for several years now:
1995 in Albuquerque, New Mexico, USA; 1996 in Linz, Austria;
1997 in Maui, Hawaii, USA; 1998 in Prague, Czech Republic;
1999 in El Escorial, Spain; 2000 in St. Petersburg, Russia;
2001 in Albuquerque, New Mexico, USA;
and this year will be in Volos, Greece (June 25--28, 2002).

From 1996 onwards, we have chaired a session (with a slightly changing title) devoted to ``Nonstandard Applications of Computer Algebra''. The session traditionally collects contributions that, while using Computer Algebra techniques and/or Computer Algebra Systems, could not be easily allocated in the `standard' sessions. Examples of topics treated in papers presented in previous editions of this conference are: Verification of Expert Systems, Development of Expert Systems, Railway Traffic Control, Artificial Intelligence, Thermodynamics, Molecular Dynamics, Statistics, Electrical Networks, Logic, Robotics, Sociology, ...

We're organizing again in 2002 the session:

NONSTANDARD APPLICATIONS OF COMPUTER ALGEBRA

Submissions of works in this area are welcome. In case you are interested in submitting a paper, please send an email message to both of us, including a tentative title and a 1 to 2 page long abstract with a general description of your work.

Although the general proceedings are published `only' in electronic form, articles corresponding to the presentations in this session in 1996--1997 and 1998--1999 have been published in ``Mathematics and Computers in Simulation'' (Transactions of IMACS) journal (volumes 45/1--2 and 51/5, respectively). We'll try to have the articles accepted in this session compiled in another special volume too.

Sincerely,

Dr. Eugenio Roanes-Lozano, Universidad Complutense de Madrid
(eroanes@mat.ucm.es)

Dr. Michael Wester, Cotopaxi and University of New Mexico
(wester@math.unm.edu)

Talks:

  1. Dealing with Envelopes in a Symbolic-Dynamic Geometry Environment
    (José L. Valcarce & Francisco Botana*)
  2. Obtaining Proofs Automatically from Sketches: Linking The Geometer's Sketchpad v.3 & 4 with Maple 7 and DERIVE 5
    (Eugenio Roanes-Lozano, Eugenio Roanes-Macias, Matilde Villar-Mena)
  3. Dimensional Analysis, Scaling and Simplification
    (Raya Khanin)
  4. Algebraic Specification and Symbolic Computation
    (Laureano Lambán*, Vico Pascual & Julio Rubio)
  5. Investigating Young Group Double Cosets with Computer Algebra: Latest Advances
    (Bill Pletsch)
  6. Searching for the Continued Fraction Representation in DERIVE
    (Piotr Zarzycki & Adam Marlewski*)

Go to: ACA'2002 main page, Conferences on Applications of Computer Algebra main page.