<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=iso-8859-1"><meta name=Generator content="Microsoft Word 14 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Consolas;
panose-1:2 11 6 9 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 3.0cm 70.85pt 3.0cm;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=PT link=blue vlink=purple><div class=WordSection1><p class=MsoNormal><span lang=EN-US>Please accept our apologies if you receive multiple copies of this Call for Participation.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>******************************************************************************<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> CALL FOR PAPERS<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> Formal Aspects of Component Software (FACS 2010)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> Final Call for Papers<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> 7th International Workshop on Formal Aspects of Component Software<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> </span>October 14-16, 2010<o:p></o:p></p><p class=MsoNormal> Universidade do Minho<o:p></o:p></p><p class=MsoNormal> Guimaraes, Portugal<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> <span lang=EN-US>Extended deadlines: July, 28 (abstracts) - August, 2 (full paper)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> <a href="http://www.di.uminho.pt/facs2010/">www.di.uminho.pt/facs2010/</a><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>** Post-proceedings at Springer LNCS **<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>** Extended versions of selected papers at Science of Computer programming **<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>******************************************************************************<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Invited speakers:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Sanjit Seshia, University of California, Berkeley<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> (<a href="http://www.eecs.berkeley.edu/~sseshia/">http://www.eecs.berkeley.edu/~sseshia/</a>)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Luis Caires, New University of Lisbon<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> (<a href="http://www-ctp.di.fct.unl.pt/~lcaires/">http://www-ctp.di.fct.unl.pt/~lcaires/</a>)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Scope & Topics:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>The component-based software development approach has emerged as a<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>promising paradigm to cope with an ever increasing complexity of<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>present-day software solutions by bringing sound production and<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>engineering principles into software engineering. However, many<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>conceptual and technological issues remain in component-based software<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>development theory and practice that pose challenging research<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>questions.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>FACS 2010 is concerned with how formal methods can or should be used<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>to make component-based software development succeed. Formal methods<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>consist of mathematically-based techniques for the specification,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>development, and verification of software and hardware systems. They<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>have shown their great utility for providing the formal foundations of<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>component-based software and working out challenging issues such as<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>mathematical models for components, composition and adaptation, or<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>rigorous approaches to verification, deployment, testing, and<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>certification.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>The objective of FACS 2010 is to bring together researchers and<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>practitioners in the areas of component software and formal methods in<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>order to promote a deeper understanding of the component-based<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>software development paradigm and its applications. The workshop seeks<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>to address all common aspects of component software and formal<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>methods. FACS aims at developing a community-based understanding of<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>relevant and emerging research problems through formal paper<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>presentations and lively discussions. Possible topics include, but are<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>not limited to:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>- formal models for software components and component interaction<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- design and verification methods for component software component<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- composition and deployment: models, calculi, languages<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- component testing, re-engineering and reuse<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- specification of extra-functional properties in component software<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- certification of components and software architectures<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- component software vs. object orientation, multi-agent systems, and<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>aspect-oriented development<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- components for real-time, safety-critical, secure and/or embedded systems<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- standard models for software components (e.g. Fractal, GCM, etc.)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- industrial or experience reports, and case studies in component software<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- partial behavior models for software components<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- update and reconfiguration of component architectures<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- component systems evolution and maintenance<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- formal methods and modeling languages for components<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- trust models for components<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- cyber-physical component-based systems<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- autonomic components and self-managed applications<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- formal and rigorous approaches to software adaptation and self-adaptive systems<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- formal aspects of Web services and business processes<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- component-based Web services and service-oriented architectures<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>- QoS issues in Web services, multi-agent systems and component-based<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>systems<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Context:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>FACS'10 is the 7th event in a series of workshops, founded by the<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>International Institute for Software Technology of the United Nations<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>University (UNU-IIST). The first FACS workshop was co-located with<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>FM'03 (Pisa, Italy, September 2003). The following FACS workshops were<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>organized as standalone events, respectively at UNU-IIST in Macau<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>(October 2005), at Charles University in Prague (September 2006), at<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>INRIA in Sophia-Antipolis (September 2007), and at University of<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Malaga in Spain (September 2008). FACS'09 was part of the Formal<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Methods Week in Eindhoven (October 2009).<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Publication:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>The post-proceedings of the workshop will be published as a volume in<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Springer's Lecture Notes in Computer Science. Authors of accepted<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>papers should provide all the electronic files of the final version of<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>their paper according to the instructions provided at the LNCS home<o:p></o:p></span></p><p class=MsoNormal>page (<a href="http://www.springer.com/lncs">www.springer.com/lncs</a>).<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><span lang=EN-US>Extended versions of selected papers will appear as a special issue of <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Science of Computer Programming, Elsevier.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Submission:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>We solicit two categories of high-quality submissions on research<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>results and/or experience: research papers (LNCS format, not exceeding<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>18 pages including bibliography and figures) describing a technical<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>contribution in depth and doctoral abstracts (2 pages, LNCS format)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>concisely capturing PhD-work-in-progress, referring theme, context,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>research questions, envisaged contributions, and partial results.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Submissions to the workshop should present original research which is<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>unpublished and not submitted for publication elsewhere. Papers will<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>be judged on the basis of originality, relevance, technical soundness<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>and presentation quality.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Submission of papers will be in electronic form via Easychair,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>accessible through the workshop website. The final version of the<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>paper must be prepared in LaTeX, adhering to the LNCS format. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Important dates:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> Research Paper abstract submission: July 28, 2010<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Research Paper submission: August 2, 2010<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Research Paper acceptance notification: September 10, 2010<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> Doctoral Track submission: September 12, 2010<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Doctoral Track acceptance notification: September 20, 2010<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US> Camera ready: October 1, 2010<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US> Workshop: October 14-16, 2010<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Venue:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Hosted by Minho University, FACS 2010 will take place at <o:p></o:p></span></p><p class=MsoNormal>CCVF - Centro Cultural Vila Flor, Guimarães.<o:p></o:p></p><p class=MsoNormal><span lang=EN-US>CCVF is a main cultural infra-structure, located right in the center of town,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>in a 18th century building (<a href="http://www.ccvf.pt/index2.php">http://www.ccvf.pt/index2.php</a>).<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Guimarães is a small, historic town in North Portugal, which hosted <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>the country's first royal capital in the 12th century. Its historic center is<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>classified as UNESCO World Heritage. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Program chairs: Markus Lumpe and Luis Barbosa<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Program committee:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Farhad Arbab (CWI, The Netherlands)<o:p></o:p></span></p><p class=MsoNormal>Marco Autili (L'Aquila University, Italy)<o:p></o:p></p><p class=MsoNormal>Luis Barbosa (Universidade do Minho, Portugal)<o:p></o:p></p><p class=MsoNormal><span lang=EN-US>Andreas Bauer (Australian National University, Australia)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Frank S. de Boer (CWI, The Netherlands)<o:p></o:p></span></p><p class=MsoNormal>Christiano Braga (Universidad Complutense de Madrid, Spain)<o:p></o:p></p><p class=MsoNormal>Carlos Canal (Universidad de Malaga, Spain) <o:p></o:p></p><p class=MsoNormal><span lang=EN-US>Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Einar Broch Johnsen (Universitetet i Oslo, Norway)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Zhiming Liu (IIST UNU, Macau, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Ying Liu (IBM China Research, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Markus Lumpe (Swinburne University of Technology, Australia)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Eric Madelaine (INRIA, Centre Sophia Antipolis, France)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Sun Meng (CWI, The Netherlands and Peking University, China)<o:p></o:p></span></p><p class=MsoNormal>Corina Pasareanu (NASA Ames, USA)<o:p></o:p></p><p class=MsoNormal>Patrizio Pelliccione (L'Aquila University, Italy)<o:p></o:p></p><p class=MsoNormal><span lang=EN-US>Frantisek Plasil (Charles University, Czech Republic)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Anders Ravn (Aalborg University, Denmark)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Nuno Rodrigues (IPCA, Portugal)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Bernhard Schaetz (Technical University of Munich, Germany)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Marjan Sirjani (University of Tehran, Iran)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Volker Stolz (UNU-IIST, MACAU)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Carolyn Talcott (SRI International, USA)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Dang Van Hung (Vietnam National University, Vietnam)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Naijun Zhan (IOS, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Steering Committee:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Zhiming Liu (IIST UNU, Macau, China, coordinator)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Farhad Arbab (CWI, The Netherlands)<o:p></o:p></span></p><p class=MsoNormal>Luis Barbosa (Universidade do Minho, Portugal)<o:p></o:p></p><p class=MsoNormal><span lang=EN-US>Carlos Canal (University of Malaga, Spain)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Markus Lumpe (Swinburne University of Technology, Australia)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Eric Madelaine (INRIA, Sophia-Antipolis, France)<o:p></o:p></span></p><p class=MsoNormal>Corina Pasareanu (NASA Ames Research Center, USA)<o:p></o:p></p><p class=MsoNormal><span lang=EN-US>Sun Meng (CWI, the Netherlands and Peking University, China)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Bernhard Schaetz (Technical University of Munich, Germany)<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Contact:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>(web) <a href="http://www.di.uminho.pt/facs2010/">www.di.uminho.pt/facs2010/</a><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>(email) </span><a href="mailto:facs10chairs@di.uminho.pt"><span lang=EN-US>facs10chairs@di.uminho.pt</span></a><span lang=EN-US><o:p></o:p></span></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><span style='font-size:10.5pt;font-family:Consolas;color:#1F497D;mso-fareast-language:PT'>_____________________________________<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:10.5pt;font-family:Consolas;color:#1F497D;mso-fareast-language:PT'>Nuno F. Rodrigues<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:10.5pt;font-family:Consolas;color:#1F497D;mso-fareast-language:PT'><a href="http://www.di.uminho.pt/~nfr"><span style='color:blue'>http://www.di.uminho.pt/~nfr</span></a><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:10.5pt;font-family:Consolas;color:#1F497D;mso-fareast-language:PT'>Phone: (+351) 253604430<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:10.5pt;font-family:Consolas;color:#1F497D;mso-fareast-language:PT'>Office: di-2.06<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:10.5pt;font-family:Consolas;color:#1F497D;mso-fareast-language:PT'>Departamento de Informática<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:10.5pt;font-family:Consolas;color:#1F497D;mso-fareast-language:PT'>Universidade do Minho<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:10.5pt;font-family:Consolas;color:#1F497D;mso-fareast-language:PT'>4710-057 Braga<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:10.5pt;font-family:Consolas;color:#1F497D;mso-fareast-language:PT'>Portugal<o:p></o:p></span></p><p class=MsoNormal><o:p> </o:p></p></div></body></html>