Jueves 5 de junio a las 12:00 horas
Salón de Actos - Bloque I
La ponente desarrollará su intervención en torno a tres ejes.
Comenzará haciendo un repaso a las principales fuerzas que caracterizan la sociedad de estos primeros años del siglo XXI, con incidencia en la práctica de la ingeniería, para pasar a centrarse en las peculiaridades de la ingeniería informática. Finalizará profundizando en la necesaria internacionalización y la multicultura del ingeniero informático y de su participación en la organizaciones mundiales.
María Jesús Prieto Laffargue es en la actualidad la presidenta electa de la Federación Mundial de Organizaciones de Ingeniería (WFEO)
http://www.wfeo.org/ creada en 1968 bajo los auspicios de la UNESCO.
La WFEO es una organización internacional no gubernamental que agrupa organizaciones de ingenieros de más de 90 países, representando a unos 15 millones de ingenieros de todo el mundo. Su principal función es cooperar con instituciones profesionales nacionales e internacionales para desarrollar y aplicar la ingeniería en beneficio de todo el mundo.
María Jesús Prieto-Laffargue, que ya ocupaba una vicepresidencia de este organismo mundial, fue elegida presidenta el pasado mes de noviembre, por lo que mantendrá responsabilidades en la WFEO durante los próximos seis años: dos como presidenta electa junto al Presidente Ejecutivo Sr. Barry J. Grear (Australia); otros dos como presidenta ejecutiva y dos más como "Past President". Asumirá formalmente la presidencia en 2009 en Kuwait.
Integrar la ingeniería informática en el ámbito de la ingeniería mundial forma parte de los objetivos propuestos por María Jesús Prieto Laffargue como presidenta de la WFEO.
María Jesús Prieto nació en Salamanca y es ingeniera superior de telecomunicaciones por la Universidad Politécnica de Madrid, así como diplomada en alta dirección de empresas por el IESE Navarra y en el programa de intensificación Finanzas Avanzadas en la Universidad de Navarra.
En 1985 María Jesús Prieto puso en marcha Telefónica Sistemas y participó en la consolidación de la presencia internacional de Telefónica en América Central y del Sur. Ha sido directora general de Sistelcom y directora general del Instituto Nacional de Meteorología. Además, presidió el Instituto de la Ingeniería de España y la Fundación CYC (en la actualidad Fundación France Telecom).
Fecha: Jueves 10 de abril de 2008, 11:00
Lugar: H-1002
En la Jornada de Cooperación se realizará un balance de las experiencias de cooperación para el desarrollo realizadas en la Facultad por el grupo TEDECO, así como de las posibilidades de realizar el trabajo fin de carrera en el ámbito de la cooperación para el desarrollo.
Doctor en filosofía en la Universidad de Barcelona, Doctor en Bioética, Ateneo Regina Apostolorum de Roma, Profesor titular de Humanidades en la Universidad Francisco de Vitoria y Director del Master y Doctorado en Humanidades de la Universidad Francisco de Vitoria
Fecha: Miércoles, 12 de marzo de 2008, 12:00
Lugar: H-1002
No hay ninguna figura histórica que resulte tan controvertida como la figura de Jesús de Nazareth: mientras los cristianos lo adoran como Dios, otros han llegado a poner en tela de juicio su misma existencia como hombre. La conferencia abordará estas cuestiones mediante un análisis histórico y literario de las fuentes antiguas, tanto paganas como cristianas, gnósticas y judías.
Martes, 12 de febrero de 2008, 17:00-18:00
H-1005
In Cyberspace information about individuals will be/is distributed over many computer systems of many institutions, such as Civil Administration, Banks, Insurance companies, Hospitals. These institutions talk to each other about these individuals and Security and Privacy problems are becoming very important. In the seminar we will sketch a framework in which research in this area has been done by our group in Amsterdam, in cooperation with colleagues in Rand University in Johannesburg, South Africa and Ben Gurion University in Ber Sheba, Israel.
In this framework the individual will be represented as an ALTER-EGO, i.e. an agent, which as object is represented in a distributed fashion in these computer systems, but is also active and is able to make decisions about requests concerning disclosure of certain private information. The purpose for which this information is needed is taken into account. This purpose can be derived from Work Flow specifications, according to which tasks are performed by employees in these institutions. So also Work Flow specifications will be discussed, in particular the language/system COLOR-X, designed and implemented in our group. In this system one can specify static and dynamic behaviour of objects (like alter-egos and employees). The behavioural part of this system makes use of a Linguistic Tool:WordNet, which makes it possible to not only check the syntactic structure, but the semantic structure of the specifications as well.
The implementations are all done using Mokum, which is an object-oriented system, in which the objects resemble employees who communicate with each other, store things in data bases, make decisions about insurance claims, etc. Mokum is implemented in Prolog. Extensions in the form of a language FBML, for defining the behaviour of these agents, representing Alter-egos, acting like Fire Balls, which are able to reason about privacy rules, will bediscussed where the Internet functions as communication medium, provided with a PKI (public key infrastructure).
Reinder Pieter van de Riet (1939) was since 1970 professor in Computer Scienceat the Vrije Universiteit in Amsterdam; he retired as of August 2000. He founded the Computer Science Department at the Vrije Universiteit, the Dutch Foundation for Research in Computer Science (SION) and the Research School.
His research areas are: Databases and Knowledge bases; the use of Linguistics; Security and Privacy problems; Computational Auditing. He was Conference Chairman of several conferences, to note : VLDB98. He still is Editor for Europe of Data and Knowledge Engineering (Elsevier). Since 1965 member of ACM. He is an active church organist and member of the KNOV.
He wrote 4 books, edited 6 books and published over 120 papers in journals and conference proceedings.
Martes, 11 de diciembre, 16:30
Hemiciclo 1002 (Bloque I)
En esta charla se abordarán las vías para transferir los resultados de la investigación desde las universidades y centros de investigación al sector privado. Asimismo, se abordarán las fuentes de financiación públicas y privadas que promueven esta transferencia de tecnología, incluidas las más novedosas implantadas recientemente por entidades como el Fondo Europeo de Inversiones y el CDTI. Por último, se ilustrará todo ello con ejemplos concretos y vídeos de proyectos de colaboración público-privada y de empresas surgidas desde las universidades.
Juan Carlos Fernández es Ingeniero Industrial por la Universidad Politécnica de Madrid, Licenciado en Finanzas por la Universidad de Londres y Master en Administración de Empresas por el Instituto de Empresa de Madrid. Inició su carrera profesional en 1987 en la industria de los circuitos integrados trabajando para AT&T Microelectrónica como responsable del departamento de control de costes de fabricación.
En 1991 se incorporó al Centro para el Desarrollo Tecnológico Industrial (CDTI) entidad en la que ha tenido diferentes responsabilidades tanto en el ámbito nacional como en el internacional. Ha sido jefe del departamento de Transferencia de Tecnología, jefe del departamento de Cooperación Internacional, representante español del Programa Innovación y PYMEs dentro del Programa Marco de I+D de la Unión Europea, responsable de la iniciativa Iberoeka y, desde 2001, es Director de Promoción , Estudios y Servicios Corporativos habiendo asumido, entre otras competencias, la puesta en marcha de la Iniciativa NEOTEC de creación de empresas de base tecnológica y del Programa NEOTEC Capital Riesgo.
Es profesor de postgrado en administración de empresas en la Universidad Politécnica de Madrid.
Miércoles, 14 de noviembre, 11:00
Salón de actos
Semana de la Ciencia Madrid 2007
Se presentará de forma didáctica varios de los desafíos actuales en la investigación en tecnologías de desarrollo software con los proyectos y productos industriales más representativos que pueden enmarcarse en dichos desafíos.
Organiza: IMDEA - Software (Instituto Madrileño de Estudios Avanzados en Tecnologías de Desarrollo Software).
Martes, 13 de noviembre de 2007, 16:00h.
Hemiciclo 1005
Construir una prueba de que un sistema criptográfico es seguro es una area inherentemente creativa y compleja; sin embargo, no hay una razón esencial para que su verificación también lo sea. Ante el incremento en la complejidad (y cantidad) de las pruebas generadas, y con el objetivo de facilitar su verificación, algunos criptógrafos han propuesto estructurar las pruebas en forma de secuencias de juegos. En una prueba típica, se parte de un juego inicial donde participan un adversario y un retador, y la probabilidad de ganar del adversario se relaciona con la probablidad de violar la propiedad de seguridad del sistema que se quiere establecer. Este juego inicial se transforma paso a paso, preservando (o aumentando) la probabilidad de que el adversario gane, hasta alcanzar un juego en el cual se puede acotar esta probabilidad. La mayor ventaja de este método radica en que al representar los juegos como programas en un lenguaje probabilístico, ciertas transformaciones corresponden a optimizaciones de programas bien estudiadas en el área de compiladores, mientras que la formulación de otras y la prueba de su corrección puede mecanizarse mas fácilmente. En esta disertación se describirá brevemente un marco, dentro del asistente de pruebas Coq, que permite construir y verificar pruebas criptográficas basadas en juegos.
Lunes 12 de noviembre, 12:30h.
Salón de Actos, Bloque I
Google Tech Talk link (para estar en contacto con Google y conocer su próxima visita a la Facultad).
En esta charla varios ingenieros de google introducen los diferentes productos de google y explican las distintas infraestructuras que permiten su desarrollo. Desde los servidores que navegan la red buscando información, hasta las bases de datos que la almacenan,pasando por los centros de cálculo con miles de servidores que nos permiten desarrollar programas tolerantes a fallos y capaces de dar servicio a millones de usuarios.
La charla continúa con una descripción de la cultura de ingeniería de Google y las distintas oportunidades de trabajo en los centros Europeos de ingeniería. La presentación termina con una sesión de preguntas abierta a todos los estudiantes.
Ponentes:
Fecha: martes 6 de noviembre de 2007, 11:00 horas
Lugar: Hemiciclo 1002
Se presenta y discute un método para combinar las ventajas del reconocimiento del habla con cadenas de Markov con las ventajas de otros métodos basados en reglas fonéticas. Se muestra un algoritmo basado en el uso de información fonética para ayudar en la búsqueda del mejor camino con el algoritmo de Viterbi. En la segunda parte de la conferencia, se muestran resultados en la detección automática de eventos fonéticos.
Conferencia en el programa de Seminarios de Investigación Avanzada
Convalidable por créditos de Libre Elección.
Miécoles 3 de octubre a las 12:30h
Hemiciclo 1002
El proyecto “Blue Brain”, similar en alcance al “Proyecto Genoma", es el primer intento exhaustivo de realizar la ingeniería inversa del cerebro de los mamíferos mediante simulaciones detalladas para comprender su funcionamiento y disfunciones, lo que permitirá explorar soluciones a problemas de salud mental y enfermedades neurológicas intratables actualmente.
En julio del 2005, a propuesta del profesor Henry Markram, “L'École Polytechnique Fédérale de Lausanne” e IBM anunciaron la iniciativa de crear un detallado modelo funcional del cerebro utilizando el supercomputador Blue Gene.
Actualmente, el proyecto se lanza a nivel mundial, siendo España uno de los primeros miembros del mismo, lo que abre un inmenso campo de actuación a los investigadores españoles.
Viernes 28 de septiembre de 2007, 13:00
Hemiciclo 1005
La conferencia abordará los siguientes temas:
Alfredo Guerra Hernández es experto en educación de postgrado en Cuba e Hispanoamérica. Actualmente ejerce los siguientes cargos:
Department of Computer Science / INFOLAB (University of Tilburg, The Netherlands )
Viernes Sept. 28, 2007, 12:00
H-1002, FI-UPM
Abstract:
The subject of Service Oriented Computing is vast and enormously complex, spanning many concepts and technologies that find their origins in diverse disciplines that are woven together in an intricate manner. In addition, there is a need to merge technology with an understanding of business processes and organizational structures, a combination of recognizing an enterprise's pain points and the potential solutions that can be applied to correct them. The material in research spans an immense and diverse spectrum of literature, in origin and in character. As a result research activities are very fragmented. This necessitates that a broader vision and perspective be established-one that permeates and transforms the fundamental requirements of complex applications that require the use of the Service-Oriented Computing paradigm.
This talk provides a Service Oriented Computing Roadmap and places
on-going research activities and projects in the broader context of this roadmap. This research roadmap launches four pivotal, inherently related, research themes to Service Oriented Computing: service foundations, service composition, service management and monitoring and service-oriented engineering.
Short bio:
Michael P. Papazoglou holds the chair of Computer Science and is director of the INFOLAB at the Univ. of Tilburg in the Netherlands. He is also a honorary professor at the University of Trento in Italy. He is/was affiliated with the Queensland University of Technology (QUT) in Brisbane, Australia, the Australian National University, the University of Koblenz, Germany, Fern Universitaet Hagen, Germany, and the National German Research Centre for Computer Science (GMD) in St. Augustin.
Papazoglou serves on several international committees and on the editorial board of nine international scientific journals and is co-editor in charge of the MIT book series on Information Systems. He has chaired numerous well-known international scientific conferences in Computer Science. These include the International Conference on Data Engineering (ICDE), International Conference on Distributed Computing Systems (ICDCS), International Conference on Digital Libraries (ICDL), International Conference on Cooperative Information Systems (CoopIS), International Conference on Entity/Relationship Modelling and others. He is the founder of the International Conference on Cooperative Information Systems (CoopIS) and more recently of the International Conference on Service Oriented Computing (ICSOC). Papazoglou has authored or edited 15 books and well over 150 scientific journal articles and refereed conference papers. His research was/is funded by the European Commission, the Australian Research Council, the Japanese Society for the Promotion of Science, and Departments of Science and Technology in Europe and Australia. He is a golden core member and a distinguished visitor of the Institute of Electrical & Electronics Engineers (IEEE) Computer Science section. His latest two books published by J. Willey and Prentice Hall are about E-Business integrations and Web services, respectively.
Associate Professor
Computer Science Group
Department of Mathematics
University of Parma, Italy
Jueves 27 de Septiembre de 2007, 12:30
Aula 3102
ABSTRACT
The design and implementation of precise static analyzers for significant fragments of modern imperative languages like C, C++, Java and Python is a challenging problem. Here we consider a core imperative language that has several features found in mainstream languages such as those including recursive functions, run-time system and user-defined exceptions, and a realistic data and memory model. For this language we provide a concrete semantics characterizing both finite and infinite computations and a generic abstract semantics that we prove sound with respect to the concrete one. We say the abstract semantics is generic since it is designed to be completely parametric on the analysis domains: in particular, it provides support for relational domains (i.e., abstract domains that can capture the relationships between different data objects). We also sketch how the proposed methodology can be extended to accommodate a larger language that includes pointers, compound data objects and non-structured control flow mechanisms. The approach, which is based on structured, big-step operational semantics and on abstract interpretation, is modular in that the overall static analyzer is naturally partitioned into components with clearly identified responsibilities and interfaces, something that greatly simplifies both the proof of correctness and the implementation.
