<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p> </p>
<div class="WordSection1">
<p class="MsoNormal"><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times
New Roman";color:black; mso-fareast-language:EN-GB"><br>
</span></p>
<p class="MsoNormal"><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times
New Roman";color:black; mso-fareast-language:EN-GB"><img
src="cid:part1.1e1cnPN1.Swpl20jO@diag.uniroma1.it" alt=""
class=""></span></p>
<p class="MsoNormal"><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times
New Roman";color:black; mso-fareast-language:EN-GB"><br>
</span></p>
<p class="MsoNormal"><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times
New Roman";color:black; mso-fareast-language:EN-GB">With
the purpose of celebrating the </span><u><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";color:#006580;mso-fareast-language:EN-GB"><a
href="https://www.google.com/url?q=https%3A%2F%2Fen.unesco.org%2Fcommemorations%2Fworldlogicday&sa=D&sntz=1&usg=AFQjCNFviWS4uSG4WrGefI9uOZXNZSpU2g"
target="_blank" moz-do-not-send="true">UNESCO World Logic
Day</a></span></u><span style="font-family:
"Lato",sans-serif;mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family: "Times New
Roman";color:black;mso-fareast-language:EN-GB"> (January
14, 2022), the</span><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";color:black;mso-ansi-language:EN-US;
mso-fareast-language:EN-GB"> </span><a
href="https://www.diag.uniroma1.it/gruppi-di-ricerca/18312"
moz-do-not-send="true"><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";mso-ansi-language:EN-US;mso-fareast-language:
EN-GB" lang="EN-US">Artificial Intelligence and Knowledge
Representation group</span></a><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";color:black;mso-ansi-language:EN-US;
mso-fareast-language:EN-GB" lang="EN-US"> of </span><a
href="https://www.diag.uniroma1.it/" moz-do-not-send="true"><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";mso-ansi-language:EN-US;mso-fareast-language:
EN-GB" lang="EN-US">DIAG</span></a><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;mso-ansi-language:EN-US;mso-fareast-language:EN-GB"
lang="EN-US"> at </span><a href="https://www.uniroma1.it/en"
moz-do-not-send="true"><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New
Roman";
mso-ansi-language:EN-US;mso-fareast-language:EN-GB"
lang="EN-US">Sapienza University</span></a><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";color:black;mso-ansi-language:EN-US;
mso-fareast-language:EN-GB" lang="EN-US"> <br>
</span></p>
<p class="MsoNormal"><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";color:black;mso-ansi-language:EN-US;
mso-fareast-language:EN-GB" lang="EN-US">will host an on-line
event on January 18, 2021, 02:45pm (Italy time), with a
keynote talk by </span><a
href="http://www.diag.uniroma1.it/degiacom/"
moz-do-not-send="true"><span style="font-family:
"Lato",sans-serif;mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family: "Times New
Roman";mso-ansi-language:EN-US;mso-fareast-language:EN-GB"
lang="EN-US">Giuseppe De Giacomo</span></a><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;mso-ansi-language:EN-US;mso-fareast-language:EN-GB"
lang="EN-US"> </span><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";color:#222222;mso-fareast-language:EN-GB">world-renowned
</span><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times
New Roman";color:#222222;
mso-ansi-language:EN-US;mso-fareast-language:EN-GB"
lang="EN-US">researcher in Artificial Intelligence.</span></p>
<p class="MsoNormal"><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times
New Roman";color:#222222;
mso-ansi-language:EN-US;mso-fareast-language:EN-GB"
lang="EN-US"><br>
</span></p>
<p class="MsoNormal"><u><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times
New Roman";color:black; mso-fareast-language:EN-GB">Title</span></u><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;mso-fareast-language:EN-GB">: Linear-time Temporal
Logics on Finite Traces</span></p>
<p class="MsoNormal"><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times
New Roman";color:black; mso-fareast-language:EN-GB"> </span></p>
<p class="MsoNormal"><u><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times
New Roman";color:black; mso-fareast-language:EN-GB">Abstract</span></u><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times
New Roman";color:black; mso-fareast-language:EN-GB">: In
this talk we look at temporal logics on traces that are
assumed to be finite, as typical of action planning in
Artificial Intelligence and of processes modeling in Business
Process Management.<span style="mso-spacerun:yes"> </span>Having
to deal with finite traces has been considered a sort of
accident in much of the AI and BPM literature, and standard
temporal logics (on infinite traces) have been hacked to fit
this assumption. Only recently a specific interest in studying
the impact of such an assumption has emerged.<span
style="mso-spacerun:yes"> </span>We </span><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";color:black;mso-ansi-language:EN-US;
mso-fareast-language:EN-GB" lang="EN-US">first introduce the
notion of Temporal Logic, and then we delve into the detail of
</span><span style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;mso-fareast-language:EN-GB">Linear-time Temporal
Logics on Finite Traces</span><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times
New Roman";color:black;
mso-ansi-language:EN-US;mso-fareast-language:EN-GB"
lang="EN-US">, </span><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";color:black;mso-fareast-language:EN-GB">review</span><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";color:black;mso-ansi-language:EN-US;
mso-fareast-language:EN-GB" lang="EN-US">ing</span><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;mso-fareast-language:EN-GB"> the main results on
satisfiability, verification, and synthesis,</span><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;mso-ansi-language:EN-US;mso-fareast-language:EN-GB"
lang="EN-US"> and </span><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";color:black;mso-fareast-language:EN-GB">also
drawing connections with work in AI planning. The main catch
is that working with these logics can be based on manipulation
of regular automata on finite strings, simplifying greatly
reasoning and especially synthesis.</span></p>
<p class="MsoNormal"><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times
New Roman";color:black; mso-fareast-language:EN-GB"> </span></p>
<p class="MsoNormal"><u><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New
Roman";
color:black;mso-ansi-language:EN-US;mso-fareast-language:EN-GB"
lang="EN-US">When</span></u><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";color:black;mso-ansi-language:EN-US;
mso-fareast-language:EN-GB" lang="EN-US">:</span><span
lang="EN-US"> </span><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";color:black;mso-ansi-language:EN-US;
mso-fareast-language:EN-GB" lang="EN-US">Jan 18, 2022 02:45 PM
Rome</span></p>
<p class="MsoNormal"><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;mso-ansi-language:EN-US;mso-fareast-language:EN-GB"
lang="EN-US"> </span></p>
<p class="MsoNormal"><u><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New
Roman";
color:black;mso-ansi-language:EN-US;mso-fareast-language:EN-GB"
lang="EN-US">Where</span></u><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";color:black;mso-ansi-language:EN-US;
mso-fareast-language:EN-GB" lang="EN-US">: Join Zoom Meeting<span
style="mso-spacerun:yes"> </span></span></p>
<p class="MsoNormal"><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;mso-ansi-language:EN-US;mso-fareast-language:EN-GB"
lang="EN-US"><a class="moz-txt-link-freetext"
href="https://uniroma1.zoom.us/j/83597970844?pwd=Vm1zaFN6WnJOVFdEVXpvcDVGVE5sZz09"
moz-do-not-send="true">https://uniroma1.zoom.us/j/83597970844?pwd=Vm1zaFN6WnJOVFdEVXpvcDVGVE5sZz09</a></span></p>
<p class="MsoNormal"><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;mso-ansi-language:EN-US;mso-fareast-language:EN-GB"
lang="EN-US"> </span></p>
<p class="MsoNormal"><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;mso-ansi-language:IT;mso-fareast-language:EN-GB"
lang="IT">Meeting ID: 835 9797 0844, Passcode: 200976</span></p>
<p class="MsoNormal"><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;mso-ansi-language:IT;mso-fareast-language:EN-GB"
lang="IT"> </span></p>
<p class="MsoNormal"><i><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New
Roman";
color:black;mso-ansi-language:IT;mso-fareast-language:EN-GB"
lang="IT">For information, contact </span></i><a
href="https://www.diag.uniroma1.it/~lenzerini"
moz-do-not-send="true"><i><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:"Times
New Roman"; mso-bidi-font-family:"Times New
Roman";mso-ansi-language:IT;mso-fareast-language:
EN-GB" lang="IT">Maurizio Lenzerini</span></i></a><i><span
style="font-family:
"Lato",sans-serif;mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family: "Times New
Roman";color:black;mso-ansi-language:IT;mso-fareast-language:EN-GB"
lang="IT"> (lenzerini AT diag.uniroma1.it)</span></i><i><span
style="font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New
Roman"; color:black;mso-fareast-language:EN-GB"></span></i></p>
<p class="MsoNormal"><span
style="font-family:"Lato",sans-serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times
New Roman";color:#222222;
mso-ansi-language:EN-US;mso-fareast-language:EN-GB"
lang="EN-US">
<style>@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;
mso-font-charset:0;
mso-generic-font-family:roman;
mso-font-pitch:variable;
mso-font-signature:-536869121 1107305727 33554432 0 415 0;}@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;
mso-font-charset:0;
mso-generic-font-family:swiss;
mso-font-pitch:variable;
mso-font-signature:-469750017 -1073732485 9 0 511 0;}@font-face
{font-family:Lato;
panose-1:2 15 5 2 2 2 4 3 2 3;
mso-font-charset:0;
mso-generic-font-family:swiss;
mso-font-pitch:variable;
mso-font-signature:-520092929 1342237951 33 0 415 0;}p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-parent:"";
margin:0cm;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;
text-underline:single;}a:visited, span.MsoHyperlinkFollowed
{mso-style-noshow:yes;
mso-style-priority:99;
color:#954F72;
mso-themecolor:followedhyperlink;
text-decoration:underline;
text-underline:single;}.MsoChpDefault
{mso-style-type:export-only;
mso-default-props:yes;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}div.WordSection1
{page:WordSection1;}</style></span></p>
<span
style="font-size:12.0pt;font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:#222222;mso-ansi-language:EN-US;mso-fareast-language:EN-GB;mso-bidi-language:
AR-SA" lang="EN-US"></span><br
style="page-break-before:always;mso-break-type:section-break"
clear="all">
<span
style="font-size:12.0pt;font-family:"Lato",sans-serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:#222222;mso-ansi-language:EN-US;mso-fareast-language:EN-GB;mso-bidi-language:
AR-SA" lang="EN-US"> </span> </div>
<p>
<style>@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;
mso-font-charset:0;
mso-generic-font-family:roman;
mso-font-pitch:variable;
mso-font-signature:-536869121 1107305727 33554432 0 415 0;}@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;
mso-font-charset:0;
mso-generic-font-family:swiss;
mso-font-pitch:variable;
mso-font-signature:-469750017 -1073732485 9 0 511 0;}@font-face
{font-family:Lato;
panose-1:2 15 5 2 2 2 4 3 2 3;
mso-font-charset:0;
mso-generic-font-family:swiss;
mso-font-pitch:variable;
mso-font-signature:-520092929 1342237951 33 0 415 0;}p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-parent:"";
margin:0cm;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;
text-underline:single;}a:visited, span.MsoHyperlinkFollowed
{mso-style-noshow:yes;
mso-style-priority:99;
color:#954F72;
mso-themecolor:followedhyperlink;
text-decoration:underline;
text-underline:single;}.MsoChpDefault
{mso-style-type:export-only;
mso-default-props:yes;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}div.WordSection1
{page:WordSection1;}div.WordSection2
{page:WordSection2;}</style> </p>
<pre class="moz-signature" cols="72">---------------------------------------------------------------------------------------------------
Prof. Maurizio Lenzerini
Dipartimento di Ingegneria Informatica, Automatica e Gestionale Antonio Ruberti
Università di Roma La Sapienza
Via Ariosto 25, I-00185 Roma, Italy
Tel: +39 06 77274008
E-mail: <a class="moz-txt-link-abbreviated moz-txt-link-freetext" href="mailto:lenzerini@diag.uniroma1.it" moz-do-not-send="true">lenzerini@diag.uniroma1.it</a>
Home page: <a class="moz-txt-link-freetext" href="http://diag.uniroma1.it/lenzerini" moz-do-not-send="true">http://diag.uniroma1.it/lenzerini</a>
</pre>
</body>
</html>