14h00 - Opening
14h30 - Research Talks 1
15h30 - Coffee break
16h00 - Flash Talks (Very) short presentations
10h00 - Welcome
Fernando Santana, FCT UNL Director
10h30 - Keynote Talk
Manuel Hermenegildo, IMDEA Software Institute and Technical U. of Madrid
Energy Consumption Verification and other research lines at the IMDEA Software Institute
Energy consumption and the environmental impact of computing have become a major worldwide concern. It has become a crucial issue from highperformance computing and data centers down to systems which have to operate on batteries, such as implantable/portable medical devices or mobile phones. In parallel with advances in powerefficient hardware, significant additional energy savings can be achieved by making energy awareness an integral part of software development. We present our static analysisbased approach to this problem, and a tool based on this approach which can be used to integrate compiletime energy usage verification and optimization into the program development process. This research is carried out at the IMDEA Software Institute, a member of a new generation of research centers in the Madrid region. We will provide an overview of the other research lines of the Institute, as well as some comments on its genesis.
11h20 - Coffee break
11h45 - Research Talks 2
12h45 - Closing remarks