Project Review Meeting 2013
Date: June 18-20, 2013
Place: Pavilhão do Conhecimento, Lisbon, Portugal
Organized by: Carnegie Mellon Portugal Program, funded by FCT
As has happened in previous years, the annual project review consists of an overview presentation by the Principal Investigators of the research projects carried out in the scope of the Carnegie Mellon Portugal Program, funded by the Fundação para a Ciência e a Tecnologia. Representatives of all the partners involved in the project are welcome to participate in the meeting.
The Committee members are:
Professor Adam Wolisz, Technische Universitaet Berlin (TUB) – chair
Professor Carles Sierra, Artificial Intelligence Research Institute (IIIA) Spanish National Research Council
Professor Gilles Barthe, Madrid Institute for Advanced Studies (IMDEA)
Professor H.S. Jamadagni, Indian Institute of Science (IIS)
Professor Ulises Cortés, Technical University of Catalonia (UPC)
Agenda
WEDNESDAY, JUNE 19TH, 2013
9:00am – 5:30pm Project Review Meetings
Panel I
ADAAS: Assuring Dependability in Architecture-based Adaptive Systems
Principal Investigators: Rogério Lemos (UC) and David Garlan (CMU)
ATTEST: AlgoriThms and Tools for reasoning about dEpendable SysTems
Principal Investigators: João Marques Silva (IST/UTL) and Edmund M. Clarke (CMU)
Affidavit – Automating the Proof of Quality Attributes for Large Scale Software Architectures
Principal Investigators: Mário Zenha-Rela (UC) and David Garlan (CMU)
TRONE – Trustworthy and Resilient Operations in a Network Environment
Principal Investigators: António Casimiro (FCUL) and Priya Narasimhan (CMU)
MAIS-S: Multiagent Intelligent Surveillance System
Principal Investigators: Francisco Melo (IST/UTL) and Manuela M. Veloso (CMU)
PT-STAR: Speech Translation Advanced Research to and from Portuguese
Principal Investigators: Luisa Coheur (IST/UTL) and Alan Black (CMU)
REAP-PT: Computer Aided Language Learning (CALL) Reading Practice (REAP.PT)
Principal Investigators: Nuno Mamede (IST/UTL) and Maxine Eskenazi (CMU)
Panel II
The Role of ‘User Innovators’ in the Development of Telecom Products and Services
Principal Investigators: Pedro Oliveira (UCP) and Francisco Veloso (CMU)
Innovation and the Global Economy: An Investigation of Critical Challenges for Intellectual Property, Strategy and Policy in IT and Beyond
Principal Investigators: Fernando Branco (UCP) and Lee Branstetter (CMU)
Novel information processing methodologies for intelligent sensor networks
Principal Investigators: João Xavier (IST/UTL) and Bruno Sinopoli (CMU)
NeTS: Next Generation Network Operations and Management
Principal Investigators: Ricardo Morla (FEUP) and Hyong Kim (CMU)
Toward Dynamic Monitoring and Decision (DYMONDS) – Based Smart Distribution Systems
Principal Investigators: Luis Marcelino Ferreira (IST/UTL) and Marija Ilic (CMU)
Degenerative Elliptic and Parabolic Equations and its Applications to Front Propagation
Principal Investigators: Diogo Gomes (IST/UTL),Dejan Slepcev (CMU) and David Kinderlehrer (CMU)
Thin structures, Homogenization and Multi Phase Problems
Principal Investigators: Luísa Mascarenhas (FCUL), Giovani Leoni (CMU) and Irene Fonseca (CMU)
Stochastic Analysis and Numerical Approximations in Mathematical Finance (SANAF)
Principal Investigators: Cláudia Philippart (IST/UTL) and Dmitrry Kramkov (CMU)
5:30pm – 7:30pm Project Review 1st discussion REPORT
THURSDAY, JUNE 20, 2013
9:00am – 3:15pm Project Review Meetings
Panel I
INTERFACES – Certified Interfaces for Integrity and Security in Extensible Web-based Applications
Principal Investigators: Luis Caires (FCT/UNL) and Frank Pfenning (CMU)
SINAIS – Sustainable Interaction with social Networks, context Awareness and Innovative Services
Principal Investigators: Nuno Nunes (UMa) and Anind K. Dey (CMU)
SENODs – Cyber-Physical Systems Technologies for Energy-Optimized Data Centers
Principal Investigators: Eduardo Tovar (ISEP) and Raj Rajkumar (CMU)
Web Security and Privacy (WESP): Weaving Together Technology Innovation with Human and Policy Considerations
Principal Investigators: Evangelos Karapanos (UMa) and Norman Sadeh (CMU)
Aeminium – Freeing Programmers from the Shackles of Sequentially
Principal Investigators: Bruno Cabral (UC) and Jonathan Aldrich (CMU)
Panel II
Technology, Management and Policy for the Telecommunications Industry
Principal Investigators: Pedro Ferreira (IST/UTL) and Marvin Sirbu (CMU)
Human Capital, Knowledge Based Firms, and the Entrepreneurial Life-Cycle
Principal Investigators: Rui Baptista (IST/UTL) and Steven Klepper (CMU)
DRIVE-IN: Distributed Routing and Infotainment through Vehicular Inter-Networking
Principal Investigators: Michel Ferreira (FCUP) and Ozan Tonguz
SELF-PVP: Self-organizing power management for photo-voltaic power plants
Principal Investigators: Vítor Grade Tavares (FEUP) and Shawn Blanton (CMU)
Vital Responder – Monitoring Stress Among First Responder Professionals
Principal Investigators: João Paulo Cunha (FEUP) and Priya Narasimhan (CMU)
3:15pm – 6:00pm Project Review Report and WRAP-UP
