PhD Theses  Reports on Conferences and  Report on a ``Special

Report on EACA 3

Prof. Tomas Recio
Universidad de Cantabria, Santander, Spain
Email: recio@matesco.unican.es

The third Spanish meeting on Computational Algebra and Applications (EACA 3) was held at the University of Granada, September 25-27, 1997.
EACA conferences have been organized regularly since 1995:

• EACA-1: Santander 1995
• EACA-2: Sevilla 1996
• EACA-3: Granada 1997

The next conferences will be held in Sigüenza (September 1998) and La Laguna (1999).

The invited speakers in Granada were T. Mora (Genova), M.F. Roy (Rennes), and A. Verschoren (Antwerp). The organizing committee was J.L. Bueso (Granada), J.C. Rosales (Granada) and J. Gómez (Granada) and the scientific committee included M.E. Alonso (Madrid), J.L. Bueso (Granada), F.J. Castro (Sevilla), J. Elías (Barcelona), L. Gónzalez-Vega (Santander), A. Montes (Barcelona), and J.R. Sendra (Madrid).
 
 

PROGRAMME

Sept. 25-1997
 
 

9'00-10'00

Teo Mora, ``La madre de todas las dualidades: Moeller and Stetter Algorithms"

10'00-10'30

Juan Rafael Sendra, ``Reparametrizaciones Optimas de Curvas Racionales mediante Divisores Canónicos".

10'30-11'00

Juan M. Urbano, ``Sobre un tipo de proyecciones para congruencias en Nⁿ".

11'00-11'30

Coffee

11'30-12'00

Philippe Gimenez, ``Dispersión analítica de ideales de codimensión 2".

12'00-12'30

Rocío González Díaz, ``Clasificación de contracciones de DGA-álgebras".

12'30-13'00

Pedro Real Jurado, ``Un algoritmo de cálculo de homología de una familia de DGA-álgebras conmutativas".

13'00-13'30

María Isabel Bermejo Díaz, ``Sobre la regularidad de Castelnuovo de una curva proyectiva"

16'30-17'00

José Angel Domínguez, ``Resolución del problema de la cáustica: de Arquímedes al Algebra Computacional".

17'00-17'30

Alberto Vigneron, "Soluciones de un sistema diofántico mediante ideales de semigrupos".

17'30-18'00

Coffee.

18'00-18'30

María Vico Pascual Martínez-Losa, ``Resultados de no calculabilidad en representaciones de tipos abstractos de datos".

18'30-19'00

Pablo Alberca Bjerregaard, ``Cálculo efectivo del rango de las álgebras de Lie de matrices"

19'00-19'30

Francisco José Navarro Márquez, ``MATHEMATICA y Algebra No-Asociativa: estructuras débilmente alternativas".

21'30-

Official dinner (Hotel Granada Center).

Sept. 26-1997
 
 

9'30-13'00

Visit to the Alhambra.

16'00-17'00

Alain Verschoren, ``De los grupos trenzados a las bases de Groebner".

17'00-17'30

Juan Félix San Juan Díaz, ``Procesadores de series de Poisson en dinámica no lineal. Aplicación al problema del satélite artificial".

17'30-18'00

Coffee

18'00-18'30

Joaquín Reyes Columé, ``Tratamiento simbólico de álgebras de Lie filiformes graduadas conexas".

18'30-19'00

F. Javier Lobillo Borrero, ``Tratamiento efectivo de ideales primos en Algebra No Conmutativa".

19'00-19'30

María José Jiménez Rodríguez, ``Hochschild homology, cyclic homology and iterated bar constructions of commutative DGA-algebras".

23'00-

Flamenco Show (Cueva los Tarantos, Sacromonte).

Sept. 27-1997
 
 

9'00-10'00

Marie F. Roy, ``Basic Algorithms of Real Algebraic Geometry"

10'00-10'30

José Andrés Armario Sampalo, ``Sobre la computabilidad de la homología de productos semidirectos de grupos"

10'30-11'00

José María Ucha Enríquez, ``Cálculo de grupos Ext en operadores diferenciales".

11'00-11'30

Coffee

11'30-12'00

Juan Manuel de Olazábal, ``A unified method to determine the canonical forms of any matrix".

12'00-12'30

Víctor Alvarez Solano, ``Computabilidad de la Homología P-primaria de ciertos espacios fibrados"

12'30-13'00

Angel Castellanos, ``Invariantes de singularidades de curvas alabeadas vía MAPLE".

13'00-13'30

Laureano González Vega, ``A special quantifier elimination algorithm".