'<p class=bio><img src=/images/tools/speakers/fiadeiro.jpg width=100 align=left><b> José Luiz Fiadeiro </b> is Professor of Computing Science at the University of Lisbon. His research interests include software specification formalisms and methods, especially as applied to component-based, reactive systems, and their integration in the wider area of General Systems Theory. His main contributions have been in the formalization of specification and program design techniques and of their underlying modularization principles, namely in connection to Software Architectures.  <p class=bio><img src=/images/tools/speakers/andrade.jpg width=100 align=left><b> Luís Filipe Andrade</b> is partner and Technical Vice-President of Oblog SA (www.oblog.com) in Portugal and Oblog Technology Inc. in the USA, an Information Technology Company owned by one of the most important Portuguese financial groups (Espírito Santo).  Previously, he had been Information Technology Manager in the biggest Portuguese financial group - CGD - and senior researcher at INESC.'