From: Eugenio Roanes Lozano ------------------------------------------------------------------ Si te parece pertinente comentarlo en la reunión o mandarlo por e-mail a todos, he sucedido a Stanly Steinberg como coordinador de la serie de congresos ACA (Applications of Computer Algebra). Véase: http://www.math.unm.edu/aca.html En 1999 organicé el ACA'99 en El Escorial, y el ambiente creo que sería muy propicio si se propusiera celebrar algún próximo ACA en España, lo que puede ser de interés para algún grupo. ------------------------------------------------------------------ Sobre nuestro grupo, para la pág. web de la plataforma computing: Soy profesor titular de álgebra de la UCM e IP del proyecto MTM2004-03175 y del grupo de investigación ACEIA de la complutense (pertenecen al grupo profesores de la UCM, UPM, U. de Alcalá y U. de Vigo). El grupo fue "fundado" por Luis M. Laita, catedrático de CC. de la Computación e I.A., con el que varios de los investigadores del proyecto llevamos ya más de quince años colaborando (hemos participado, entre otros, en los proyectos anteriores PB94-0424, PB96-0098-CO4, TIC-2000-1368-C03). Mi página web es: http://www.ucm.es/info/secdealg/ERL/ El grupo trabaja en aplicaciones interdisciplinares del álgebra computacional. Hemos utilizado bases de Groebner y técnicas algebraicas para desarrollar modelos teóricos de la lógica clásica y modal multivalente y aplicarlos a la verificación y extracción de conocimiento en sistemas expertos basados en estas lógicas (con especial énfasis en el desarrollo de aplicaciones en medicina: guías de práctica clínica, sistemas de detección precoz de enfermedades...). Uno de nuestros trabajos, de aplicación del álgebra computacional en farmacocinética, ha sido recientemente publicado en "SIAM Reviews". Además, aplicamos estas técnicas en otros campos como: - demostración automática y descubrimiento automático en geometría, con énfasis en la conexión con los sistemas de geometría dinámica y el descubrimiento de nuevos teoremas en geometría 3D - ingeniería del transporte ferroviario: toma de decisiones en un enclavamiento, establecimiento de itinerarios, estudio matemático de la evolución de la red de ancho ibérico en españa (en el que está interesada la Fundación de los Ferrocarriles Españoles)... - ingeniería del transporte aeronáutico: sistema de supervisión de las tareas del controlador de rodadura de un aeropuerto (A-SMGCS), modelización del movimiento de pasajeros en una terminal aeroportuaria (dentro de un contrato universidad-empresa con la consultora AERTEC para AENA-Aeropuerto de Málaga en 2002)... -desarrollo de software educativo para matemáticas.