Pedro U. Lima
Multi-Robot systems: A Systems Theory Perspective
S06-WAF, VIIIWorkshop en Agentes Físicos
Martes 11, 9:00 h, Sala 11, Auditorio
Lisbon Technical University
Resumen: Multi-robot systems (MRS) have become one of the most important areas of research in Robotics, due to the challenging nature of the involved research and to the multiple potencial applications to areas such as autonomous sensor networks, building surveillance, transportation of large objects, air and underwater pollution monitoring, forest fire detection, transportation systems, or search and rescue after large-scale disasters. Even problems that can be handled by a single multi-skilled robot may benefit from the alternative usage of a robot team, since robustness and reliability can often be increased by combining several robots which are individually less robust and reliable. If adequately coordinated, a robot team is able to perform a given job faster and with reduced cost than a single robot carrying out all the work, especially if the cost of moving over large distances is prohibitive. A larger rank of task domains, distributed sensing and action, and insight into social and life sciences are other advantages that can be brought by the study and use of MRS that will be presented in this talk.

Javier Montero de Juan
Incertidumbres en la toma de decisiones
S18-LFSC, II Simposio sobre Lógica Fuzzy y Soft Computing
Martes 11, 9:00h, Aula 13, F. Ciencias Matemáticas
Departamento de Estadística e Investigación Operativa I , Universidad Complutense de Madrid
Resumen: En este trabajo se aborda el problema de la incertidumbre desde  la observación de la realidad hasta la acción generada por una decisión, decisión que por supuesto se toma sobre la base de la información obtenida a partir de dicha observación. La diferenciación observación, información, decisión y acción nos permitirá establecer un somero análisis entre diferentes tipos de incertidumbre. Se hará hincapié en el papel que la decisión juega en el modelo Bayesiano de la probabilidad y en la incertidumbre difusa, para finalizar con algunas observaciones pertinentes en el campo de la representación de preferencias y modelos de votación

Óscar Cordón
Algoritmos evolutivos y registrado de imágenes
Oscar Cordon
S15-SICO, II Simposio de Inteligencia Computacional, IEEE Computacional Intelligence Society, SC
Martes 11, 13:15h, Aula 6 Escuela Universitaria de Estudios Sociales
European Centre for Soft Computing. Mieres, Asturias
Investigador Principal de la Unidad de Investigación Aplicaciones de Lógica Fuzzy y Algoritmos Evolutivos
Resumen: En esta conferencia se analizarán diversas metodologías y se abordarán sus problemáticas, los algoritmos clásicos, las ventajas de usar los evolutivos, las propuestas actuales y las propuestas que el grupo de investigación de D. Oscar Cordón estn desarrollando, con una serie de ejemplos de aplicación generales y otros particulares a imágenes medicas de resonancia magnética de cerebros y tacs de muecas humanas, terminando con la parte de objetos forenses.

Prof. Yale Patt
The Microprocessor Ten Years from Now:  Why it is Relevant to all Informatics
Yale Patt

Conferencia inaugural (plenaria)
Martes 11 Septiembre, 19:30 h en la Sala Mozart, Auditorio Palacio de Congresos

Universidad de Texas
Resumen: Process technology continues to produce more and more raw capability on the chip.  We shall have within the next decade more than 100 billion transistors on each microprocessor chip, performing at frequencies easily in excess of 10 GHz.  This presents great challenges for the computer architect, whose job it is to harness these transistors to produce more effective computing engines.  In this talk, I will briefly mention the challenges computer architects face, and how we are addressing them. More importantly, I will attempt to show what this will mean to those working in other areas of Informatics, and how a better understanding of the microprocessor can be leveraged into a better global solution to an Informatics problem.

Andreas Moshovos
Region-Centric Memory Design
Andrea Moshovos
S01-JPAR, XVIII Jornadas de Paralelismo
Miércoles 12, 9:00 h, Sala Mozart. Auditorio
Assistant Prof. Universidad de Toronto, Canada
Resumen: Several technology and application trends favor chip multiprocessor (CMP) architectures which integrate multiple processor cores, a memory hierarchy and an interconnect onto the same chip. Designing high-performance, power-aware memory hierarchies and interconnects is imperative for CMPs in order to meet the memory demands of multiple processors and applications while not exceeding power constraints. The key contribution of our research is the development of region-centric optimizations for the on-chip memory hierarchy. We take a macroscopic view of memory behavior and use that information to optimize memory performance and power at a coarse-grain. The key intuition is that several important patterns emerge with a macroscopic view of memory behavior that are not visible with existing block-centric methods. We propose (1) complementing or replacing conventional block-centric memory structures with region-centric structures, and (2) dynamically collecting region-level behavior information and using it to guide on-chip memory allocation, communication and low-level power saving techniques. I will be presenting such region-centric techniques to demonstrate the potential of the approach.

Ming C. Lin
Bring Life to Images: Challenges and Recent Advances
Ming Lin

S02-Congreso Español de Informática Gráfica
Miércoles 12 de Septiembre, 9:00 horas, Sala Mariano Gracia, Auditorio

Department of Computer Science, University of North Carolina at Chapel Hill
Modeling motion is central to all computational disciplines that deal with representations of dynamical systems in the physical world or the virtual environment. Examples include design and assembly of electronic appliances and mechanical systems, human modeling and simulation, interaction with virtual environments, surgical training, and manipulation of nano-structures, physics engines for computer games, special effects and feature animation. There exist numerous motion synthesis approaches that "bring life to images": geometric-based techniques (such as key-framing), data-driven methods (such as motion capture), physically-based simulation (derived from law of physics), behavior and high-level cognitive modeling. Each of these techniques has its strength and limitations; the choice of techniques largely depends on the application. In this talk, I will highlight some of our recent efforts on modeling realistic motion of virtual characters and performing predictive simulations of physical phenomena, by combining distinct techniques to create new approaches for these fundamental problems in computer graphics. I will also demonstrate the results on several interactive applications, such as cloth simulation for feature animation, modelling of soft and articulated bodies for haptic interaction, visual synthesis of fluid phenomena for special effects, and real-time simulation of heterogeneous crowds in virtual environments. I will conclude by discussing some scientific challenges and research opportunities.

Javier Darriba
Tres tendencias en el sector de la experiencia de usuario
S04-AIPO, VIII Congreso Internacional de Interacción Persona-Ordenador, Interacción 2007
Miércoles 12, 9:00 h , Sala de Conferencias, F. Ciencias Matemáticas
Xperience Consulting,  Partner & Managing Director, Usability and Customer eXperience Management, Automated remote usability testing with UserZoom, Proud member of the User Xperience Alliance

Resumen: Test de usuarios internacionales: Caso práctico. Medición de la experiencia de usuario: Caso práctico. Especialización y carencia de perfiles en la industria.

Pierluigi Lo Muzio
Optimizing DSP Algorithms for Hardware Implementation

S09-JCRA, VII Jornadas de Computación Reconfigurable y Aplicaciones
Miércoles 12, 9:00 h, Aula 8, F. Ciencias Matemáticas

Synplicity, Inc. USA

Ivo Totev
SOA in real world use cases
S12-JSWEB, III Jornadas Científico-Técnicas en Servicios Web y SOA
Miércoles 12, 9:00h, Aula 4, F. Ciencias Matemáticas
Vice-President of web Methods Products and member of the Extended Management Board of Software AG

Resumen CV: Ivo Totev has more than 12 years experience in the IT industry from both a technical and business perspective, holding various positions in management, strategy consulting as well as engineering.
Ivo is a recognized industry expert in:

  1. Service Oriented Architecture.
  2. Integration and Web Services technologies.

Besides, He is a regular keynote speaker at major technology conferences. Prior to joining Software AG, Ivo worked for SAP AG and Sun Microsystems.

El-Ghazali Talbi
High-Performance Metaheuristics: Application to Bioinformatics and Telecommunications

S22-JAEM, I Jornadas sobre Algoritmos Evolutivos y Metaheuristicas
Miércoles 12, 9:00h, Aula 2, Escuela Universitaria de Estudios Sociales

Laboratoire d'Informatique Fondamentale de Lille,
Université des Sciences et Technologies de Lille, INRIA Futurs, France 

This talk will include the fundamental and practical issues affecting the design and implementation of metaheuristics to tackle complex and real world problems. From the point of the algorithms, the talk will present key issues to extend canonical algorithms towards high efficient solvers; among them, multiobjective, hybrid, and parallel concepts will be discussed. From the point of view of the application, two important topics will be mainly used to highlight the utilization of such efficient techniques: telecommunications and bioinformatics. The talk will go through both theoretical and practical challenges in putting to work metaheuristic and evolutionary algorithms in academics and industry.

João Gama
Advanced in Data Streams

S10-TAMIDA, V Taller Nacional de Minería de Datos y Aprendizaje
Miércoles 12, 11:00 h, Aula 2, F. Ciencias Matemáticas

Researcher of the LIACC Artificial Intelligence and Computer Science Laboratory, University of Porto, Portugal. Working at the Machine Learning group.

Resumen: A data stream is an ordered sequence of instances that can be read only once or a small number of times using limited computing and storage capabilities. What distinguishes current data sets from earlier ones is automatic data feeds. We do not just have people who are entering information into a computer. Instead, we have computers entering data into each other. Nowadays there are applications in which the data is modeled best not as persistent tables but rather transient data streams. Examples of applications include network monitoring, web applications, sensor networks, telecommunications data management, financial applications, etc. In these applications it is not feasible to load the arriving data into a traditional DataBase Management System and traditional DBMS are not designed to directly support the required continuous queries. Data streams are increasingly important in the research community, as new algorithms, sampling strategies, and other approximate methods are needed to process this streaming data in reasonable time.
Learning from Data streams requires adaptive learning algorithms: in-cremental algorithms that take into account concept drift. In this talk we discuss the general setting of learning from data streams and present illustrative algorithms for hierarchical clustering and decision tree learning.

Eduardo M. Nebot
Sistemas Autónomos a Gran Escala

S23-ROBOT, I Workshop de Robótica
Miércoles 12 de Septiembre de 11:00 a 12:30, Sala 11, Auditorio
Australian Center for Field Robotics, ACFR, Universidad de Sydney
Automated and Autonomous systems are beginning to make a significant appearance in different areas. At the simplest level, such systems act as adjuncts to manned vehicles providing for example, location information, collisions warning or driver enhancements. At a more complex level a number of autonomous machines for cargo handling, hauling, loading are being introduced with some level of success.  In all these applications, the autonomous area needs to be isolated for safety reasons.  This is due to the fact that sensing and perception is not developed to the level required to implement  safe operation when mixing manned / unmanned vehicles. Furthermore, a more challenging task is the automation of large-scale autonomous system such as full mine automation. This will require significant breakthroughs in perception, cooperative control and learning to allow efficient and safe interaction between all existing resources.  This presentation will address the main issues that need to be addressed for the successful implementation of automation of large-scale systems.

Pello Salaburu
La universidad europea. Problemas de competitividad frente a otros modelos

S05-SINTICE, VIII Simposio Nacional de Tecnologías de la Información y las Comunicaciones en la Educación
Miércoles 12, 16:30, Salón de Actos ICE

Catedrático y ex-Rector de la Universidad del País Vasco

Resumen: De forma general la conferencia versar sobre las enseñanzas técnicas y TIC en la encrucijada universitaria actual y sus enfoques en EEUU y Europa.

Stephen J. Mellor
Creativity, Automation and Technology

S03-JISBD, XII Jornadas de Ingeniería del Software y Bases de Datos
Jueves 13, 9:30 horas, Sala Luis Galve, Auditorio

Project Technology Inc. Adjunct professor at the Australian National University, Chair of the IEEE Software Advisory Board and active in the Object Management Group.

As we raise the level of abstraction, technology becomes hidden (look at ASICs in the hardware world, or dialling a phone call). To effect this hiding of technology we automate, and the better the automation, the better hidden the underlying technology can be. Today, we use programming languages at various levels of sophistication, but that leaves open the question of how we create the conceptual entities therein. How much can that be automated? How complete should that automation be? How far can we go? How well can we teach the creativity involved in abstraction? This keynote will raise these questions, among others, focussing on the several areas targetted by the conference, and offer answers.

Xavier Pueyo
De la visualización realista basada en la simulación a sus aplicaciones industriales

S02-CEIG, XVII Congreso Español de Informática Gráfica
Jueves 13, 11:00h, Sala Mariano Gracia, Auditorio

Instituto de Informática y Aplicaciones, Universidad de Gerona,

Resumen: El concepto de realismo aplicado a la generación de imágenes de síntesis es uno de los elementos de la informática gráfica cuya evolución ha sido más visible. Desde la eliminación de las partes ocultas de los 70 hasta las estrategias basadas en la verdadera simulación del comportamiento físico del transporte de la luz; hemos transitado por los llamados modelos empíricos, los transicionales que incorporaban los fenómenos ópticos, los analíticos basados en el concepto de equilibrio energético,...
Como en otros ámbitos de la investigación, probablemente en todos los que lo son de verdad, los avances en la generación de imágenes de síntesis más y más realistas ha llevado a resultados que han inspirado nuevos temas de investigación y han abierto nuevos campos de aplicación de dichos resultados o de las técnicas concebidas para alcanzarlos. En esta presentación pasaremos, rápidamente, revista a los distintos elementos relacionados con la generación de imágenes realistas marcando el interés y las dificultades que entrañan cada uno de ellos. Ello nos llevará a presentar algunas de las aplicaciones, otras que la "simple"síntesis de imágenes, basadas en los avances que ha proporcionado la investigación en visualización realista: diseño de fuentes de luz, entrenamiento de sistemas de inspección, ...

Maria Teresa Arredondo
Inteligencia Ambiental como base de la nueva atención socio sanitaria 

S14-UCAml, II Simposio de Computación Ubicua e Inteligencia Ambiental
Jueves 13, 11:00h, Aula 9, Escuela Universitaria de Estudios Sociales

E.T.S.I.Telecomunicación UPM

Como Directora de LifeSupporting Technologies y de actividades tanto docentes como investigadoras, María Teresa Arredondo cuenta con una amplia experiencia en las más avanzadas áreas de Investigación, tales como  Inteligencia Ambiental, m-Salud, m-Inclusión Social, Info-bio-nano-cogno Tecnologías, Interfaces Adaptativas centradas en el usuario de última generación, Sistemas Complejos de Realidad Virtual, Servicios Socio-Sanitarios para la mejora de la Calidad de Vida, figurando como miembro del foro de “Independent Living” de la Unión Europea.
Su permanente contacto con la Industria y con Centros de Investigación y Docencia, hacen que tenga una clara visión de la situación actual en Domótica, Inteligencia Ambiental, Interfaces Adaptativas, etc, que la sitúan como una asesora frecuente en el paradigma actual del mundo de la Investigación en Salud Electrónica, así como en Inclusión Social de Discapacitados y Personas Mayores con necesidades especiales.

Roland Blach (por determinar) 
S24-JOREVIR, I Jornadas sobre Realidad Virtual y Entornos Virtuales
Jueves 13, 11:00h, Sala 6, Auditorio

Fraunhofer. Red de excelencia INTUITION

Rotan Hanrahan
Esfuerzos de estandarización en torno a la Web Ubicua

S26-MWeb I Jornadas sobre Web Móvil
Jueves 13, 12:00 h, Aula 5, F. Ciencias Matemáticas

Chief Innovations Architect en MobileAware
y Presidente del Grupo de Trabajo de Descripcin de Dispositivos del W3C

Resumen CV: Rotan Hanrahn es en la actualidad Chief Innovations Architect en Mobileaware. Ha estado en MobileAware desde su fundación, y es el responsable de investigación y estándares técnicos. Forma parte del Comité Asesor del W3C, es miembro del Grupo de Trabajo de Independencia de Dispositivo, y experto invitado en el 'Java Community Process'. Ha impartido talleres tecnológicos por toda Europa. Antes de incorporarse a MobileAware, Rotan Hanrahan fue Asesor Senior en Telenor, Senior Academic en el Instituto de Tecnología, y Administrador Técnico en el National Institute Network, conocido, ahora, como ITNet.

Francisco Gómez Molinero
Requisitos de tiempo real en aplicaciones multimedia de control
S17 II Simposio de Sistemas de Tiempo Real
Jueves 13, 16:30h, Aula 1A, Escuela Universitaria de Estudios Sociales

Co-fundador y director Técnico de Visual Tools, S.L.

Resumen: Esta presentación comenzará con la descripción de las funciones principales de las aplicaciones multimedia de control, con hincapié en los sistemas los sistemas de vigilancia por vídeo. A partir de esta descripción, se presentarán los requisitos de recursos de las aplicaciones multimedia de control. Los recursos que se tratarán son el procesador, la memoria y el ancho de banda de red. Esta presentación se ilustrará con algunas secuencias de vídeo reales. 

John Mylopoulos
Goal-Oriented Requirements Engineering
S03-JISBD, XII Jornadas de Ingeniería del Software y Bases de Datos
Viernes 14, 9:00h, Sala Luis Galve, Auditorio
Univ. de Trento (Italy)
Resumen: The last fifteen years have seen the rise of a new phase in software development which is concerned with the acquisition, modelling and analysis of stakeholder purposes ("goals") in order to derive functional and non-functional requirements. We review the history of ideas and research results for this new phase and sketch on-going research on the topic. Specifically, we discuss an agent-oriented software development methodology -- called Tropos -- that is founded on the concepts of goal, actor as well as inter-actor dependencies. We also show how goal models that characterize a space of possible solutions for meeting stakeholder goals can be used as a basis for designing high variability software. In addition, we report on early work to extend database design techniques to support the generation of a database conceptual schema from stakeholder goals. The research reported is the result of collaborations with colleagues at the Universities of Toronto and Trento.

John Gallagher
Tree Automata – a Versatile Tool in Program Analysis

S08-PROLE, VII Jornadas sobre Programación y Lenguajes
Viernes 14, 9:00h, Salón de Actos, ICE

Professor in Roskilde University, Denmark

Resumen: Tree automata describe sets of terms. Together with closely related notions such as regular types and set constraints they attract growing attention in automatic program analysis and verification.
This talk will survey some applications of tree automata in program analysis, such as program specialisation, data flow analysis for a variety of languages, shape analysis of pointer-based data structures, polymorphic type inference, binding time analysis, termination analysis, infinite state model checking and cryptographic protocol analysis.