<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Apologies for multiple
messages</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">
<div style="margin: 0px; padding: 0px; border: 0px;">******************************<wbr>******************************<wbr>*****************</div>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">DEADLINE EXTENSION AND
INVITED SPEAKER ANNOUNCEMENT</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">
<div style="margin: 0px; padding: 0px; border: 0px;">******************************<wbr>******************************<wbr>*****************</div>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">NEW SUBMISSION DEADLINE
: 21st of September 2019</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">INVITED SPEAKER:
ALESSANDRO ABATE (University of Oxford, U.K.)</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">******************************<wbr>******************************<wbr>********************</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">
CALL FOR PAPERS - OVERLAY 2019</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">******************************<wbr>******************************<wbr>*******************</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">
First Workshop on</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">
Artificial Intelligence and</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"> fOrmal
VERification, Logic, Automata, and sYnthesis</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">
(OVERLAY)</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">
18th International Conference of</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">
the Italian Association for</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">
Artificial Intelligence (AIIA 2019)</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">
November 19-22 2019, Rende (Italy)</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"> <span> </span><a
href="https://overlay.uniud.it/workshop/2019/" target="_blank"
rel="nofollow" style="margin: 0px; padding: 0px; border: 0px;
text-decoration: none; color: rgb(102, 17, 204); cursor:
pointer;">https://overlay.uniud.it/<wbr>workshop/2019/</a></div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">******************************<wbr>******************************<wbr>*****************</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">The increasing adoption
of Artificial Intelligence techniques in safety-critical</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">systems, employed in
real world scenarios, requires the design of reliable,</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">robust and verifiable
methodologies. AI systems employed in such applications</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">need to provide formal
guarantees about their safety, increasing the need for a</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">synergic collaboration
between the AI and Formal Methods scientific communities.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Despite this increasing
need, tools and methodologies integrating Formal Methods</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">and Artificial
Intelligence solutions have received relatively little attention.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Aware of this scenario,
the combined efforts of notable Italian researchers,</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">that have been
collaborating for several years in complementary fields such as</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">specification,
verification, and synthesis of reactive systems, artificial</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">intelligence, controller
synthesis, etc., has led to the creation of a new</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">research group on
Artificial Intelligence and fOrmal VERification, Logic,</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Automata, and sYnthesis
(OVERLAY -<span> </span><a href="https://overlay.uniud.it/"
target="_blank" rel="nofollow" style="margin: 0px; padding: 0px;
border: 0px; text-decoration: none; color: rgb(102, 17, 204);
cursor: pointer;">https://overlay.uniud.it/</a>). The group is</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">structured in four
areas: Formal Methods, Automated Planning, Discrete and</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Continuous Hybrid
Systems, Tools and Applications. In general, it aims at</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">investigating novel
methods and algorithms supporting the design and development</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">of autonomous
safety-critical systems.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">The workshop, part of
the AIxIA 2019 conference, is the first official</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">initiative supported by
OVERLAY, presenting the research group and its current</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">results to the Italian
AI scientific community. The event aims at establishing a</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">stable, long-term
scientific forum on relevant topics connected to the</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">relationships between
Artificial Intelligence and Formal Methods, by providing a</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">stimulating environment
where researchers can discuss about opportunities and</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">challenges at the border
of the two areas.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Important goals of the
workshop are (i) to encourage the ongoing interaction</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">between the FM and AI
communities, (ii) to identify innovative tools and</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">methodologies, and (iii)
to elicit a discussion on open issues and new</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">challenges.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">**** CONTRIBUTIONS
FORMAT ****</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">We elicit the
contribution of extended abstracts (4 pages + references)</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">discussing the
interaction of Artificial Intelligence and Formal Methods.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Invited talks will
complement the presentations of contributed papers.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Topics of interest
include (but are not limited to):</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- automated reasoning</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- automated planning and
scheduling</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- controller synthesis</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- formal verification</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- formal specification
languages</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- game theory</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- hybrid and discrete
systems</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- logics</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- reactive synthesis</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- runtime verification
and monitoring</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- specification and
verification of machine learning systems</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- timed automata</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- tools and applications</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Contributed papers can
present recent results at the border of the two fields,</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">new research directions,
challenges and perspectives. Presentation of results</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">recently published in
other scientific journals or conferences is welcome.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">All papers will be
included in the Proceedings of the event, published in the</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">CEUR Workshop
Proceedings AI*IA Series as well as on the workshop website.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">CEUR WS proceedings are
archival proceedings indexed by DBLP and Scopus.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">**** IMPORTANT DATES
****</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">– Paper submission
(extended) : September 21st, 2019</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">– Notification: October
9th, 2019</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">– Camera-ready: November
1st, 2019</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Workshop: November
19-22, 2019</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">**** SUBMISSIONS ****</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Submitted papers should
not exceed four (4) pages, not including references.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Authors are asked to use
the LaTeX style provided at</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><a
href="https://overlay.uniud.it/workshop/2019/" target="_blank"
rel="nofollow" style="margin: 0px; padding: 0px; border: 0px;
text-decoration: none; color: rgb(102, 17, 204); cursor:
pointer;">https://overlay.uniud.it/<wbr>workshop/2019/</a>.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Submissions must be in
PDF format and will be handled via the</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">EasyChair Conference
system at the following address:</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><a
href="https://easychair.org/conferences/?conf=overlay19"
target="_blank" rel="nofollow" style="margin: 0px; padding: 0px;
border: 0px; text-decoration: none; color: rgb(102, 17, 204);
cursor: pointer;">https://easychair.org/<wbr>conferences/?conf=overlay19</a></div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">**** INVITED SPEAKER
****</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Speaker: Alessandro
Abate (University of Oxford, UK)</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Title: Certified
Reinforcement Learning with Logic Guidance</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Abstract: A model-free
Reinforcement Learning (RL) framework is proposed, </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">to synthesise policies
for an unknown, and possibly continuous-state, Markov </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Decision Process (MDP),
such that a given linear temporal property is satisfied.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">We convert the given
property into an automaton, namely a finite-state machine </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">expressing the property.
Exploiting the structure of the automaton, we shape an </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">adaptive reward function
on-the-fly, so that the RL algorithm can synthesise a </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">policy resulting in
traces that probabilistically satisfy the linear temporal
property.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Under the assumption
that the MDP has finite number of states, theoretical </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">guarantees are provided
on the convergence of the RL algorithm. Whenever the </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">MDP has a continuous
state space, we empirically show that our framework finds </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">satisfying policies, if
existing. Additionally, the proposed algorithm can handle </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">time-varying periodic
environments.</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">The performance of the
proposed architecture is evaluated via a set of numerical </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">examples and benchmarks,
where we observe an improvement of one order of </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">magnitude in the number
of iterations required for the policy synthesis, compared </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">to existing approaches
(when available). </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Short Bio:Alessandro
Abate is Professor of Verification and Control in the Department </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">of Computer Science at
the University of Oxford (UK), and is a fellow of the Alan Turing </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Institute in London
(UK). He received a Laurea in Electrical Engineering in October
2002 </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">from the University of
Padova (IT), an MS in May 2004 and a PhD in December 2007, </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">both in Electrical
Engineering and Computer Sciences, at UC Berkeley (USA). He has </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">been an International
Fellow in the CS Lab at SRI International in Menlo Park (USA),
and </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">a PostDoctoral
Researcher at Stanford University (USA), in the Department of
Aeronautics </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">and Astronautics. From
June 2009 to mid 2013 he has been an Assistant Professor at </div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">the Delft Centre for
Systems and Control, TU Delft - Delft University of Technology
(NL).</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">**** WORKSHOP CHAIRS
****</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Nicola Gigante •
University of Udine, Italy</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Federico Mari •
University of Rome Foro Italico, Italy</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- AndreA Orlandini •
ISTC-CNR, Italy</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">**** PROGRAM COMMITTEE
(expanding...) ****</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Massimo Benerecetti •
University of Naples Federico II</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Davide Bresolin •
University of Padova</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Amedeo Cesta •
ISTC-CNR, Rome</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Alessandro Cimatti •
Fondazione Bruno Kessler</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Riccardo De Benedictis
• ISTC-CNR, Rome</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Dario Della Monica •
University of Udine</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Marco Faella •
University of Naples Federico II</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Luca Geretti •
University of Verona</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Salvatore La Torre •
University of Salerno</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Ivan Lanese •
University of Bologna</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Angelo Montanari •
University of Udine</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Adriano Peron •
University of Naples Federico II</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Carla Piazza •
University of Udine</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Pietro Sala •
University of Verona</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Guido Sciavicco •
University of Ferrara</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Stefano Tonetta •
Fondazione Bruno Kessler</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Enrico Tronci •
University of Rome La Sapienza</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Alessandro Umbrico •
ISTC-CNR, Rome</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">- Tiziano Villa •
University of Verona</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">**** CONTACTS ****</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;"><br>
</div>
<div style="margin: 0px; padding: 0px; border: 0px; color: rgb(34,
34, 34); font-family: Arial, Helvetica, sans-serif; font-size:
13px; font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-style:
initial; text-decoration-color: initial;">Any inquiries can be
directed to<span> </span><a href="mailto:overlay@uniud.it"
target="_blank" rel="nofollow" style="margin: 0px; padding: 0px;
border: 0px; text-decoration: none; color: rgb(102, 17, 204);
cursor: pointer;">overlay@uniud.it</a></div>
</body>
</html>