El Seminario es una reunión de evaluación interna del proyecto de investigación del Plan Nacional
"Algoritmos y Aplicaciones en Geometría Algebraica"   (MTM2011-25816-C02-(01-02)); véase http://www2.uah.es/aayag/indexaayag_es.html.
Dicho proyecto involucra dos subproyectos, ubicados en las Universidades de Alcalá y de Cantabria,
respectivamente, titulado, el primero “Algoritmos y aplicaciones en geometría de curvas y superficies” y
“Algoritmos y aplicaciones en geometría real y tropical”,
el segundo. Su coordinador general es el profesor de la UAH, Juan Rafael Sendra Pons,
siendo el coordinador del grupo de Cantabria el profesor Tomás Recio. Ambos actúan como co-organizadores de este seminario.

El objetivo del mismo es, por una parte, revisar el grado de desarrollo y cumplimiento de las metas del proyecto; y,
por otra, diseñar las líneas de actuación futura.

Previsiblemente asistirán al mismo los siete investigadores del equipo de la UAH (dos de ellos extranjeros, de la Universidad
Tecnológica de Viena y de la Universidad J. Kepler de Linz, ambos de Austria; y otro dos de ellos de la UPM) y doce investigadores
(dos de ellos en formación) del equipo de UNICAN –que incluye, además de miembros de la UC, profesores de la UCM, CES Felipe II
(Aranjuez), U. Vigo, U. Sevilla y U. Murcia.
Es previsible que también acudan algunos expertos invitados específicamente para este seminario. En total, la previsión de asistencia es de
unas veinte personas.

Este tercer seminario es continuación de los dos encuentros anteriores, de similares características, celebrados en enero de 2012 en el CIEM
(http://www.ciem.unican.es/seminario-sobre-algoritmos-y-aplicaciones-en-geometrí-algebraica) y en enero de 2013 en Sigüenza (http://www2.uah.es/aayag/indexaayag_es.html).

Programa

Monday, Dec. 16

9:00-9:15. R. Sendra: Presentation of the Seminar. Some general facts about the current state of the art regarding the project MTM2011-25816-C02-00.

9:15-10:00. C. Villarino: Ultraquadrics and their applications to reparametrizing rational complex surfaces.

10:00-10:45. D. Sevilla: On rational coverings of rational surfaces.

10:45-11:15 Break

11:15-12:00. L.F. Tabera: Tropical Geometry

12:00-12:30. M. Fioravanti: Bisectors.

12:30-13:00. J. Sendra: Concoidal surfaces and their connections to offsets surfaces.

13:00-16:00 Lunch break.

16:00-16:15. I. Necula: Hyperboloidal Coordinates.

16:15-16:30. J. Caravantes: Computing the topology of curve arrangements.

16:30-17:00: L. González Vega: Distance and interference. GPS.

17:00-17:30 Break

17:30-17:45 A. Montes: Introduction to Groebner Cover

17:45-18:15. M. Abánades and F. Botana: GroebnerCover for automatic computation of loci of points and lines

18:15-18:45. G. Díaz Toca: Resultants and Bezoutians.

21:30 Cena. Dinner

Tuesday, Dec. 17

9:15-10:00 G. Grasegger: Radical solutions of ADOEs

10:00-10:45 S. Rueda: Nonlinear Differential Resultants.

10:45-11:15 Break

11:15-12:00 J.G. Alcazar: Detection of simmetries and similarities in rational curves.

12:00-12:30. T. Recio: New approaches to automatic theorem proving in dynamic geometry.

12:30-13:00 General Discussion/Closing.

13:00 Lunch