<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-15">
</head>
<body bgcolor="#ffffff" text="#000000">
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-15">
<meta name="ProgId" content="PowerPoint.Slide">
<meta name="Generator" content="Microsoft PowerPoint 12">
<p
style="margin-top: 3.6pt; margin-bottom: 0pt; margin-left: 0in; text-indent: 0in; text-align: center; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 15pt; font-family: Calibri; color: rgb(137, 137, 137); font-weight: bold;">ACM
Transactions on Autonomous and
Adaptive Systems</span></p>
<p
style="margin-top: 3.6pt; margin-bottom: 0pt; margin-left: 0in; text-indent: 0in; text-align: center; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 15pt; font-family: Calibri; color: rgb(137, 137, 137);">S</span><span
style="font-size: 15pt; font-family: Calibri; color: rgb(137, 137, 137);">pecial
</span><span
style="font-size: 15pt; font-family: Calibri; color: rgb(137, 137, 137);">Issue
</span><span
style="font-size: 15pt; font-family: Calibri; color: rgb(137, 137, 137);">on</span></p>
<p
style="margin-top: 3.6pt; margin-bottom: 0pt; margin-left: 0in; text-indent: 0in; text-align: center; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 15pt; font-family: Calibri; color: rgb(137, 137, 137); font-weight: bold;">Formal
Methods for Pervasive,
Self-Adaptive, and </span></p>
<p
style="margin-top: 3.6pt; margin-bottom: 0pt; margin-left: 0in; text-indent: 0in; text-align: center; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 15pt; font-family: Calibri; color: rgb(137, 137, 137); font-weight: bold;">Context-Aware
Systems<br>
</span></p>
<p
style="margin-top: 3.6pt; margin-bottom: 0pt; margin-left: 0in; text-indent: 0in; text-align: center; direction: ltr; unicode-bidi: embed;">
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-15">
<meta name="ProgId" content="PowerPoint.Slide">
<meta name="Generator" content="Microsoft PowerPoint 12">
<p
style="margin-top: 3.36pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 14pt; font-family: Calibri; color: rgb(137, 137, 137); font-weight: bold;">Aims
and Scope</span></p>
<p
style="margin-top: 2.64pt; margin-bottom: 0pt; margin-left: 0in; text-align: justify; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">Pervasive,
self-adaptive
and context-aware systems are increasingly realized for
safety-critical domains that include healthcare, emergency scenarios,
and
disaster recovery. These domains present new challenges that include
expressing, verifying and validating requirements and ensuring
functional
correctness. Formal methods are one approach to address these
challenges.
Pervasive, self-adaptive and context-aware systems add additional
concerns to
classical safety-critical applications and require rethinking how to
apply
well-established formal methods. Examples of these approaches include
state-action models (e.g., labeled transition system, timed automata,
and Petri
nets) or process models (e.g., </span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">pi-calculus</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">).<span
style=""> </span>Alternatively,
semi-formal methods like </span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">ontologies</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">
or UML, a common
specification language for the describing software models,<span style="">
</span>model knowledge for context-aware
applications. Both formal and semi-formal methods have their advantages
and
disadvantages. This special issue will address the state of the art:
the
research challenges, and the available methods, methodologies and tools
to
specify, validate, and verify pervasive, self-adaptive and
context-aware
systems.<br>
<br>
</span><span
style="font-size: 10pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span><span
style="font-size: 10pt; font-family: Calibri; color: rgb(137, 137, 137);"></span></p>
<p
style="margin-top: 3.36pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 14pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 3.36pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 14pt; font-family: Calibri; color: rgb(137, 137, 137); font-weight: bold;">Topics</span></p>
<p
style="margin-top: 2.64pt; margin-bottom: 0pt; margin-left: 0in; text-align: justify; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">The
special issue </span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">intends
</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">to
focus on the above
issues and </span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">solicits
</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">papers
that address
theoretical and experimental work related to formal and semi-formal
methods for
pervasive computing. Papers are solicited from, but are not limited to,
the
following topics:</span></p>
</p>
<ul>
<li><span style="font-size: 11pt;"><span style="font-family: Arial;"></span></span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">Formal
</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">specification
of
pervasive, self-adaptive, </span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">self-organizing,
and </span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">context-aware
systems</span></li>
<li><span style="font-size: 11pt;"><span style="font-family: Arial;"></span></span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">Ontology
</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">based
approaches</span></li>
<li><span style="font-size: 11pt;"><span style="font-family: Arial;"></span></span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">Specific
</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">UML
profiles</span></li>
<li><span style="font-size: 11pt;"><span style="font-family: Arial;"></span></span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">Formal
</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">verification
of
specifications and implementations</span></li>
<li><span style="font-size: 11pt;"><span style="font-family: Arial;"></span></span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">Model-Checking
</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">techniques
and
tools</span></li>
<li><span style="font-size: 11pt;"><span style="font-family: Arial;"></span></span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">Run-time
</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">and
automated
verification</span></li>
<li><span style="font-size: 11pt;"><span style="font-family: Arial;"></span></span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">Methodologies</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">,
languages,
and tools</span></li>
<li><span style="font-size: 11pt;"><span style="font-family: Arial;"></span></span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">Applications
</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">and
experiences
in critical scenarios (e.g. healthcare, disaster recovery, etc</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">.)</span></li>
</ul>
<p
style="margin-top: 3.6pt; margin-bottom: 0pt; margin-left: 0in; text-indent: 0in; text-align: center; direction: ltr; unicode-bidi: embed;">
<p
style="margin-top: 3.36pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 14pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 3.36pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 14pt; font-family: Calibri; color: rgb(137, 137, 137); font-weight: bold;">Submission
Guidelines</span></p>
<p
style="margin-top: 2.64pt; margin-bottom: 0pt; margin-left: 0in; text-align: justify; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">Papers
should be up
to 2</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">0
pages (appendixes
are not included into the overall count of pages), formatted </span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">according
to the
guidelines provided at the ACM TAAS Web </span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">site
(</span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);"><a
href="http://taas.acm.org/">http</a></span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);"><a
href="http://taas.acm.org/">://</a></span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);"><a
href="http://taas.acm.org/">taas.acm.org/</a></span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">)
and </span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">submitted
via the
TAAS </span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">manuscript
central </span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">systems
at </span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);"><a
href="http://mc.manuscriptcentral.com/taas">http://</a></span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);"><a
href="http://mc.manuscriptcentral.com/taas">mc.manuscriptcentral.com/taas</a></span><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 2.64pt; margin-bottom: 0pt; margin-left: 0in; text-align: justify; direction: ltr; unicode-bidi: embed;"><u
style=""><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">Please
</span></u><u style=""><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">make
explicit in the cover page that your paper is
intended as a submission to the special </span></u><u style=""><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">issue
on </span></u><u style=""><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137); font-style: italic;">Formal
Methods for Pervasive, Self-Adaptive, and
Context-Aware Systems</span></u><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);">.<br>
</span></p>
<p
style="margin-top: 2.64pt; margin-bottom: 0pt; margin-left: 0in; text-align: justify; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);"><br>
</span>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-15">
<meta name="ProgId" content="PowerPoint.Slide">
<meta name="Generator" content="Microsoft PowerPoint 12">
<p
style="margin-top: 3.12pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 13pt; font-family: Calibri; color: rgb(137, 137, 137); font-weight: bold;">Important</span><span
style="font-size: 13pt; font-family: Calibri; color: rgb(137, 137, 137); font-weight: bold;">
</span><span
style="font-size: 13pt; font-family: Calibri; color: rgb(137, 137, 137); font-weight: bold;">Dates</span><span
style="font-size: 13pt; font-family: Calibri; color: rgb(137, 137, 137); font-weight: bold;">
</span></p>
<p
style="margin-top: 3.12pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 13pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Submission</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">deadline</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">:<span
style=""> </span>1st May </span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">2010</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">First
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">notification</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">:<span
style=""> </span>1st </span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Oct</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">.
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">2010</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Revised</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">papers</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">:<span
style=""> </span>15th Nov. </span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">2010</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Final</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">notification</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">:<span
style=""> </span>31st </span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Dec</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">.
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">2010</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Expected</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">publication</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">:<span
style=""> </span>2011<br>
<br>
</span></p>
<p
style="margin-top: 4.08pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 17pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 4.08pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 17pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 3.12pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 13pt; font-family: Calibri; color: rgb(137, 137, 137); font-weight: bold;">Guest</span><span
style="font-size: 13pt; font-family: Calibri; color: rgb(137, 137, 137); font-weight: bold;">
</span><span
style="font-size: 13pt; font-family: Calibri; color: rgb(137, 137, 137); font-weight: bold;">Editors</span><span
style="font-size: 13pt; font-family: Calibri; color: rgb(137, 137, 137); font-weight: bold;">
</span></p>
<p
style="margin-top: 3.12pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 13pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137); font-style: italic;">Mohamed
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137); font-style: italic;">Bakhouya</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">University</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">of</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
Technologies </span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">of</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
Belfort/</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Montbeliard</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">,
France</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);"><a
href="mailto:mohamed.bakhouya@utbm.fr">mohamed.bakhouya@utbm.fr</a></span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137); font-style: italic;"><br>
Roy </span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137); font-style: italic;">Campbell</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">University</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">of</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
Illinois at </span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Urbana-Champaign</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">,
USA</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);"><a
href="mailto:rhc@illinois.edu">rhc@illinois.edu</a></span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137); font-style: italic;"><br>
Antonio </span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137); font-style: italic;">Coronato
</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Institute</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">for</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
High Performance </span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Computing</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
and </span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Networking</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">,
Italy</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);"><a
href="mailto:antonio.coronato@na.icar.cnr.it">antonio.coronato@na.icar.cnr.it</a></span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137); font-style: italic;"><br>
Giuseppe De </span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137); font-style: italic;">Pietro</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Institute</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">for</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
High Performance </span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Computing</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
and </span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Networking</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">,
Italy</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);"><a
href="mailto:giuseppe.depietro@na.icar.cnr.it">giuseppe.depietro@na.icar.cnr.it</a></span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137); font-style: italic;"><br>
Anand</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137); font-style: italic;">
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137); font-style: italic;">Ranganathan</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137); font-style: italic;">
</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">IBM
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">TJ
Watson
</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">Research</span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
Center, USA</span></p>
<p
style="margin-top: 2.88pt; margin-bottom: 0pt; margin-left: 0in; text-align: left; direction: ltr; unicode-bidi: embed;"><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);"><a
href="mailto:arangana@us.ibm.com">arangana@us.ibm.com</a></span><span
style="font-size: 12pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
<br>
<span
style="font-size: 11pt; font-family: Calibri; color: rgb(137, 137, 137);"></span></p>
<span
style="font-size: 15pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span><span
style="font-size: 15pt; font-family: Calibri; color: rgb(137, 137, 137);">
</span></p>
</body>
</html>