<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.EcJe00yI.Kns9PIgC@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</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">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>