Model Checking and the Curse of Dimensionality

Distinguished Lecture | Lecture Room EA1, IST Alameda | 11:00

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 … Continued

Symbiotic Autonomy: Robots, Humans, and the Web

Distinguished Lecture | Auditório Ávila | 14:00

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 … Continued

Design reliable electronics in an unreliable world

Distinguished Lecture | IST Alameda, Anfiteatro EA3 na Torre Norte do IST | 11:00

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 … Continued

Cyber-physical MPSoC Systems: Future Multi-Core Architectures for reliable Mobility & Technologies

Distinguished Lecture | Anfiteatro do Complexo Interdisciplinar, IST Alameda | 11:00

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. … Continued

Control of solar thermal plants

Distinguished Lecture | IST Alameda, Room EA5 | 11:00

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 … Continued

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:

WhatsUp : a P2P instant news items recommender

Distinguished Lecture | Anfitearo Ávila | 15:00

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 … Continued

1 2 3 4