Category: Distinguished Lecture

Prof. Steve Young, University of Cambridge, UK – Abstract: The potential advantages of statistical dialogue systems include lower development cost, increased robustness to noise and the ability to learn on-line so that performance can continue to improve over time. This talk will briefly review the…

Prof. Daniel Kofman, Telecom ParisTech (ENST), France – Abstract: The talk first presents a vision on future information and communication services and related requirements and challenges. It then shows a – unified – view on major trends enabling the presented services’ evolution, including better integrated…

Prof. Maurice Herlihy, Brown University, USA – Abstract: Computer architecture is undergoing, if not another revolution, then a vigorous shaking-up. The major chip manufacturers have, for the time being, mostly given up trying to make processors run faster. Instead, they have switched to “multicore” architectures,…

Prof. Edmund M. Clarke, Carnegie Mellon University, USA – Abstract: Model Checking is an automatic verification technique for large state transition systems. It was originally developed for reasoning about finite-state concurrent systems. The technique has been used successfully to debug complex computer hardware and communication…

Prof. Manuela Veloso, Carnegie Mellon University, USA – Abstract: We envision ubiquitous autonomous mobile robots that coexist and interact with humans while performing assistance tasks. Such robots are still far from common, as our environments offer great challenges to robust autonomous robot perception, cognition, and…

Prof. Georges Gielen, Katholieke Universiteit Leuven, Belgium – Abstract: Microelectronics have changed the way of life of every individual person in our society. We use and rely more and more upon electronic systems, from communications to multimedia to biomedical and automotive. However, the use of…

Prof. Dr.-Ing. Juergen Becker, Karlsruhe Institute of Technology – KIT. Dept. Electrical Engineering & Information Technology. Institute for Information Processing – ITIV. Karlsruhe, Germany. – Abstract: The field of embedded electronic systems, nowadays also called cyber-physical systems, is still emerging. A cyber-physical system (CPS) is…

Prof. Eduardo F. Camacho, Dpto. Ingeniería de Sistemas y Automática. Escuela Superior de Ingenieros. Sevilla, Spain. – Abstract: The use of renewable energy, such as solar energy, experienced a great impulse during the second half of the seventies just after the first big oil crisis….

Prof.Barbara Liskov, INESC-ID associates with DIFCTUNL DLS – Abstract: INESC-ID associates with DIFCTUNL DLS for the talk of Prof.Barbara Liskov Bio Host Maria Inês Camarate de Campos Lynce de Faria Venue:

Dr. Anne-Marie Kermarrec, INRIA Senior Researcher (Directrice de recherche), INRIA-Rennes, FRANCE – Abstract: WhatsUp is an instant news system aimed for a large scale network with no central bottleneck, single point of failure or censorship authority. Users express their opinions about the news items they…