CONFERENCIANTES INVITADOS
| Sir Anthony Hoare |
Conferencia inaugural:
The ideal of verified software |
| 13 Septiembre a las
20:00 horas en la
Sala García Lorca, Palacio de Congresos |
| Actualmente es Senior Researcher en el laboratorio
de Microsoft Research en Cambridge (Inglaterra) y Profesor Emérito
del Laboratorio de Computación de la Universidad de Oxford.
Es muy conocido, entre otros trabajos , por la invención,
en 1960 del Quicksort (el algoritmo de ordenación más
utilizado en el mundo), por el lenguaje formal CSP (tercer trabajo
más citado en computación según las estadísticas
de Citeseer) utilizado para especificar interacciones entre
procesos concurrentes, base para la definición del lenguaje
de programación OCCAM. En 1980 recibió el Premio
Turing de la ACM por "sus contribuciones fundamentales
a la definición y diseño de los lenguajes de programación".
|
| Kanna Rajan |
Autonomy from the Ground Up Bridging the Gap between Theory and Practice for NASA Missions |
Propuesto por el Simposio S22
13 de Septiembre de
09:30 a 10:30 en la Sala Manuel de Falla, Palacio de Congresos |
| Kanna Rajan es Senior Research Scientist y miembro directivo del área de Sistemas Autónomos y Robótica de la NASA (Ames Research Center Moffett Field, California), siendo uno de los principales responsables del experimento Agentes Remotos (RA) que diseñó, construyó, comprobó y voló el primer sistema en lazo cerrado en una nave espacial basado inteligencia artificial. Sus líneas de interés se encuentran en la planificación, por medio del modelado y la representación de arquitecturas de planificadores y agentes reales para aplicaciones de Control Distribuido. Es el investigador principal del proyecto MAPGEN, que sigue utilizándose en la actualizad para dirigir los vehículos Spirit y Opportunity en la superficie de Marte. |
| Enric Trillas |
¿Revisamos
la teoría de conjuntos borrosos? |
Propuesto por el Simposio S5
13 de Septiembre a las 11:00 horas en la Sala de Prensa, Palacio de Congresos |
| Autor de numerosos libros y artículos de
carácter científico-técnicos, ha dirigido
16 tesis doctorales y más de 20 tesinas y proyectos fin
de carrera. Además de participar en numerosos cursos,
seminarios y conferencias en universidades y congresos, es miembro
de multitud de comités científicos de congresos
nacionales e internacionales que se celebran anualmente. Enric
Trillas auna los tres premios más importantes que se
conceden en el ámbito de la Lógica Difusa ya que,
en 1999, fue distinguido con el “Pioneer Award de la European
Society For Fuzzy Logic and Technologies” (EUSFLAT) y
con el “Fellow de la International Fuzzy System Association”
(IFSA)., y este mismo año ha sido galardonado con el
premio “Fuzzy Systems Pioneer Award”, otorgado por
la “IEEE Computational Intelligence Society”. |
| Teresa Malo de Molina |
La Biblioteca Nacional y su proyecto de digitalización
|
Propuesta por el simposio S25
13 de septiembre de 13:30 a 14:30 en Sala Nazarí del Hotel Saray |
| Bibliotecaria desde hacia varios años y ha coordinado diferentes proyectos tecnológicos en el ámbito de las Bibliotecas e Internet. Tras trabajar varios años en la Universidad Carlos III de Madrid, acaba de ser nombrada Directora Técnica de la Biblioteca Nacional. En su intervención describirá los diferentes proyectos llevados a cabo en la Biblioteca y presentará el gran proyecto de digitalización que quiere encarar la nueva Dirección General con especial mención a la incorporación de la Biblioteca Nacional en el gran proyecto de Biblioteca Digital Europea. |
| Manuel Laguna |
Búsqueda Tabú
|
Propuesto por el Simposio S12
13 de Septiembre de 16:00 a 17:45 horas en la Sala Andalucía 3, Palacio de Congresos |
Professor of Operations Management en la Systems Division de la Leeds School of Business
University of Colorado (Boulder). Mas detalles de su CV pueden verse en: http://leeds-faculty.colorado.edu/laguna/ |
| Piero Bonissone |
Inteligencia Computacional
|
Propuesto por el Simposio S16
13 Septiembre a las
18:15 horas en la Sala Andalucía 2, Palacio de Congresos |
| Actualmente es Vicepresidente de la IEEE Intelligence Computational Society. Es autor de más de 100 artículos relacionados con Sistemas Expertos, Razonamiento Aproximado, Lógica Difusa, Reconocimiento de Patrones Control Inteligente, Algoritmos Genéticos,... publicados en IEEE System, Man and Cybernetics, International Journal of Man-Machine Studies, Information Science, International Journal of Approximate Reasoning, IJCAI Proceedings, ACM Proceedings, También es autor de numerosos capítulos de libros. Tiene además 33 patentes en la Oficina de patentes de Estados Unidos. |
| Seamus Ross |
Digital Preservation in the Context of Digital Libraries |
Propuesto por el Simposio S25
13 Septiembre a las 18:15 horas en la Sala Nazarí, Hotel Saray |
Director of Humanities Computing and Information Management en la universidad de Glasgow, en el HATII (Humanities Advanced Technology and Information Institute). Es también director de ERPANET (Electronic Resource Preservation and Network) (IST-2001-32706). Trabaja en tecnología de información y la preservación digital. Durante 2002 co-presidió, con el profesor Margaret Hedstrom de la Universidad de Michigan, un grupo del EU(Delos)/NSF sobre archivos digitales y preservación, definiendo las agendas futuras de investigación que se deben financiar en esta área. En 2001/2 contribuyó a la revisión de las actividades de la sociedad de información para el gobierno suizo y al desarrollo de los trabajos que dieron lugar a una resolución adoptada por los Estados miembros de la Unión Europea en las áreas de digitalización, preservación digital y calidad de la información.
http://www.hatii.arts.gla.ac.uk/staff/sro.html |
| Eric Miller |
Weaving Meaning: The Semantic Web
|
Propuesto por el Simposio S27
14 Septiembre a las 9:00 horas en la Sala Machuca, Palacio de Congresos |
| Director del proyecto del consorcio mundial de la Web (W3C) sobre Web semántica, e Investigador Científico en el Laboratorio de Informática ( Computer Science) e Inteligencia Artificial del MIT. Sus responsabilidades incluyen la dirección técnica del diseño y evolución de la infraestructura de la Web Semántica además de coordinar las actividades que realizan los grupos W3C y de la Web Semántica. Anteriormente fué Investigador Científico Senior en OCLC Online Computer Library Center, Inc. , y cofundador y Director Asociado de OCLC Online Computer Library Center, Inc. |
| Luís Castillo Vidal |
El uso de sistemas inteligentes en gestión medioambiental
|
Propuesto por el Simposio S07
14 Septiembre a las
9:00 horas en los Seminarios 3+4, Palacio de Congresos |
| http://decsai.ugr.es/~lcv/index.htm |
Pere Brunet |
Interactividad, geometría, complejidad y aproximación
|
Propuesto por el Simposio S3
14 Septiembre a las 9:15 horas en la Sala Arrayanes, Hotel Saray |
CV: Profesor del Departamento de lenguajes y Sistemas Informáticos de la Universidad Politécnica de Cataluña. Miembro del Computer Graphics Group. Más detalles pueden verse en: http://www.lsi.upc.edu/~pere/ |
| Gurindar S. Sohi |
Single-Chip Multiprocessors: Redefining the Microarchitecture of Multiprocessors
|
Propuesto por el Simposio S2
14 Septiembre a las 9:30 horas en la Sala Manuel de Falla, Palacio de Congresos |
Doctor en Computer Engineering por la Universidad de Illinois en 1985. Es profesor de la Universidad deWisconsin-Madison desde su graduación. Actualmente es el director del Departamento de Computer Sciences. Sus investigaciones se han centrado en el diseño de computadores de altas prestaciones, incluyendo aspectos tales como procesadores paralelos a nivel de instrucción con planificación dinámica, ejecución fuera de orden con excepciones precisas, cachés no bloqueantes, microarquitecturas no bloqueantes, multiehebra especulativa, reutilización en computación, especulación y predicción en dependencias de memoria, y chips multiprocesadores. La mayoría de estos conceptos han tenido una influencia fundamental en la arquitectura de los microprocesadores actuales, como lo prueba el hecho de que tan sólo uno de sus trabajos ha sido referenciado en más de 120 patentes de los Estados Unidos.
En 1999 recibió el premio Maurice Wilkes de la ACM SIGARCH, y es miembro Fellow de la ACM y del IEEE.
http://www.cs.wisc.edu/~sohi/ |
| Joachim M. Buhmann |
Unsupervised techniques and applications to image segmentation
|
Propuesto por el Simposio S17
14 Septiembre a las 9:30 horas en la
Sala Omeya, Hotel Saray |
| Obtuvo el grado de Doctor en física teórica en la Universidad Tecnica de Munich en 1988. Trabajo como postdoctoral en la University of Southern California y en el Lawrence Livermore National Laboratory. Actualmente es Profesor Asociado de Ciencias de la Computación en la Universidad de Bonn, Alemania, donde es responsable del Grupo de Investigación en Computer Vision and Pattern Recognition. Su interés actual en investigación cubre el reconocimiento estadistico de patrones y aplicaciones en análisis de imágenes y bioinformática. Especialmente esta interesado en la teoría de aprendizaje estadístico para aprendizaje no supervisado, clasificación y visualización de datos, selección de datos activos, técnicas de optimización estadística, segmentación de imágenes, análisis de formas, y métodos estadisticos para bioinformática. Más información en: http://www.informatik.uni-bonn.de/~jb/ |
| Carlos Cotta |
Algoritmos Meméticos
|
Propuesto por el Simposio S12
14 Septiembre de 11:00 a 12:30 horas en la Sala Andalucía 3, Palacio de Congresos |
Doctor en Informática y Profesor Titular de la Universidad de Málaga. Se doctoró en 1998, con una tesis sobre técnicas de hibridación en algoritmos evolutivos. Dentro de esta línea de investigación se enmarca su trabajo con algoritmos meméticos, en el que colabora estrechamente con el Dr. Pablo Moscato, fundador del paradigma. Sus intereses investigadores abarcan también la optimización combinatoria, y la bioinformática, líneas
de trabajo por las que ha recibido diferentes menciones internacionales. Mas detalles pueden verse en: http://www.lcc.uma.es/~ccottap |
| Michael F. McTear |
Spoken Dialogue Technology: New Directions and Challenges
|
Propuesto por el Simposio S1
14 Septiembre a las 11:00 horas en la Sala Albeniz, Palacio de Congresos |
| Es Profesor de Ingenieria del Conocimiento en la University of Ulster (UK) siendo su campo de investigacion de especial interes las tecnologias del lenguaje hablado. Ha sido Profesor Visitante en las universidades de Hawaii (1986-87) y de Koblenz, Alemania (1994-95). Es miembro del Comité VoiceXML Accessibility Committee y desarrollador del certificado VoiceXML. Ha publicado diversos libros y articulos en revistas especializadas en el área de sistemas de dialogo hablado, procesamiento del lenguaje natural, modelado de usuario, y adquisición de lenguaje. Su libro más reciente es Spoken Dialogue Technology: Towards the Conversational User Interface (Springer, 2004). |
| Wayne Luk |
Reconfigurable Computing: Accomplishments and Prospects
|
Propuesto por el Simposio S11
14 Septiembre a las 11:15 horas en la Sala Manuel de Falla, Palacio de Congresos |
|
Profesor e investigador del Department of Computing del Imperial College, Universidad de Londres. Dirige el Custom Computing Research Group, así como el M.Sc. en Advanced Computing: Las investigaciones de su grup de investigación se centran en: la teoría y práctica de arquitecturas reconfigurables en tiempo de ejecución y técnicas de compilación basadas en bibliotecas. Más información puede verse en: http://www.doc.ic.ac.uk/~wl/ |
| Ricardo
Baeza Yates |
Minería
de consultas web
|
Propuesto por el Simposio S21
14 Septiembre a las
16:30 horas en la Sala Manuel de Falla, Palacio de Congresos |
| Baeza-Yates es Ph.D. en Computer Science (Univ.
of Waterloo, Canadá,1989), Magister en Ing. Eléctrica
(1986) y Cs. de la Computación (1985) de la Univ. de
Chile; e Ingeniero Civil Eléctrico de la misma universidad.
Ocupa una plaza de catedrático ICREA en el Dpto. de Tecnología
de la Universitat Pompeu Fabra en Barcelona. También
es director del Centro de Investigación de la Web del
Departamento de Ciencias de la Computación de la Escuela
de Ingeniería.. Ha sido dos veces presidente de la Sociedad
Chilena de Ciencia de la Computación y ha recibido premios
de la Organización de Estados Americanos, el Instituto
de Ingenieros de Chile y COMPAQ. |
| Javier García Tobío |
e-ciencia en España |
Propuesto por el Simposio S02
14 de Septiembre de 17:30 a 18:00 en la Sala Albéniz, Palacio de Congresos |
| Licenciado en Informática por la Universidad de Deusto. Inició su carrera profesional en 1.975, desempeñando diferentes cargos y actividades en las áreas técnicas y de gestión, alcanzando puestos directivos de máxima responsabilidad en grandes empresas. Desde 1.998 dirige el Centro de Supercomputación de Galicia y participa en múltiples proyectos de entornos Grid, HPC, Comunicaciones, Sociedad de la Información y del Conocimiento, GIS, etc. Forma parte del Grupo de expertos de e-Ciencia promovido por la FECYT. |
| Nuria
Oliver |
Hacia la inteligencia ambiental a través de sistemas inteligentes de percepción
|
Propuesto por el Simposio S14
15 Septiembre a las
9:00 horas en la Sala Manuel de Falla, Palacio de Congresos |
| Ingeniera de Telecomunicaciones por la Universidad
Politécnica de Madrid desde 1994 y Ph.D. en Media Arts
& Sciences desde el año 2000, realizada en el MIT
Media Lab. Actualmente es investigadora del Grupo Adaptive Systems
and Interaction en los laboratorios de Microsoft Research en
Redmond (Washington, EE UU). Incluida por el MIT en la lista
anual de los 100 jóvenes que están en la vanguardia
mundial de la investigación sobre computadores, nanotecnología
y biotecnología. Sus temas de investigación son
Inteligencia Artificial, Visión por Computador, Percepción
Computacional, Interacción y Sistemas Adaptativos. |
| Peter Lee |
Proof carrying code
|
Propuesto por el simposio S10
15 Septiembre a las
16:30 horas en la Sala Moraima, Hotel San Antón |
| En la actualidad, es Profesor en la School of
Computer Science de la Carnegie Mellon University (Pittsburg).
Es conocido internacionalmente por sus contribuciones en Teoría
de Lenguajes de Programación, con aplicaciones a Sistemas
Operativos, Redes y Seguridad. Es autor de numerosos trabajos
publicados en los Congresos y Revistas Científicas más
relevantes. Aunque es mas conocido por el “Proof.-Carrying
Code” (PCC), una tecnología que garantiza que los
programas se ejecutarán de manera segura, que esta en
fase de expansión comercial y sobre la que se sigue investigando.
|
| Luis Almeida |
The Challenges of Operational Flexibility in Real-Time Communication
|
Propuesto por el Simposio S20
15 Septiembre a las
16:30 horas en la Sala Lindaraja, Hotel Saray |
Es un investigador senior de la unidad de investigación IEETA de la Universidad de Aveiro, Portugal, donde coordina el Laboratorio de Sistemas Electrónicos. También es profesor del Departamento de Electrónica y de Telecomunicaciones de dicha Universidad. Su principal línea de investigación se centra en redes de tiempo real para sistemas distribuidos industriales/embebidos y arquitecturas de control para robots móviles. Esta particularmente interesado en el desarrollo de plataformas distribuidas que admiten la suficiente flexibilidad como para adaptarse en línea cuando se modifica el entorno de ejecución. Dentro de este campo, esta encargado del desarrollo del paradigma Flexible Time-Triggered, patentado sobre Controller Area Network (FTT-CAN), que permite conciliar flexibilidad con rapidez y seguridad.
http://sweet.ua.pt/~lda/ |
Hans-Peter Seidel |
Computer Graphics - more than beantiful images
|
Propuesto por el Simposio S3
Viernes 16 de Septiembre a las 9:15 horas en la Sala Arrayanes, Hotel Saray |
Director del Computer Graphics Department, Max Planck Institut fur Informatik (Stuhlsatzenhausweg, Alemania). Mas detalles pueden verse en: http://www.mpi-sb.mpg.de/~hpseidel/
|
José A. Lozano |
Algoritmos Basados en Estimación de Distribuciones
|
Propuesto por el Simposio S12
Viernes 16 de Septiembre de 11:00 a 12:30 horas en la Sala Andalucía 3, Palacio de Congresos |
Profesor Titular Dpto.de Ciencias de la Computación e I.A., Universidaddel País Vasco-Euskal Herriko Unibertsitatea. Se licenció en matemáticas y en informática en 1991 y 1992 respectivamente y sedoctoró en informática en 1998. Su investigación se centra en la computación evolutiva, el reconocimiento de patrones y los modelos gráficos probabilísticos, siendo los campos de aplicación en los que ha trabajado, el testeo de software y la bioinformática. Mas detalles pueden verse en: http://www.sc.ehu.es/ccwbayes/members/joseantonio.htm |
|