<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<style type="text/css" style="display:none;">P {margin-top:0;margin-bottom:0;}</style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255,
255, 255);" class="elementToProof">
<div class="x_elementToProof"
style="font-family:Calibri,Arial,Helvetica,sans-serif;
font-size:12pt; color:rgb(0,0,0)">
<span class="x_ContentPasted0 x_elementToProof"
style="font-size:11pt; font-family:Arial; font-weight:700;
text-decoration:none; color:rgb(0,0,0)">TL;DR:
</span><span class="x_ContentPasted0" style="font-size:11pt;
font-family:Arial; text-decoration:none; color:rgb(0,0,0)">Extended
deadline:
</span><span class="x_ContentPasted0" style="font-size:11pt;
font-family:Arial; text-decoration:line-through;
color:rgb(0,0,0)">19th</span><span class="x_ContentPasted0
x_elementToProof" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)"> 22nd May. We accept
published papers and papers under review (in their original
format). See below for updates on submission and registration.</span></div>
<br class="x_ContentPasted0">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">Dear all,</span></p>
<br class="x_ContentPasted0">
<p dir="ltr" class="x_elementToProof" style="line-height:1.38;
margin-top:0pt; margin-bottom:0pt">
<span class="x_ContentPasted0" style="font-size:11pt;
font-family:Arial; text-decoration:none; color:rgb(0,0,0)">Please
see the below updates regarding the Safe and Trustworthy AI
workshop (STAI23).</span></p>
<br class="x_ContentPasted0">
<p dir="ltr" class="x_elementToProof" style="line-height:1.38;
margin-top:0pt; margin-bottom:0pt">
<span class="x_ContentPasted0" style="font-size:11pt;
font-family:Arial; text-decoration:none; color:rgb(0,0,0)">We
invite contributions to
<a href="https://www.stai.uk/" title="https://www.stai.uk/"
data-loopstyle="link" id="LPNoLPOWALinkPreview">
STAI23</a></span><a href="https://www.stai.uk/"
class="x_ContentPasted0" style="text-decoration:none"><span
style="font-size:11pt; font-family:Arial;
text-decoration:underline; color:rgb(17,85,204)"></span></a><span
class="x_ContentPasted0" style="font-size:11pt;
font-family:Arial; text-decoration:none; color:rgb(0,0,0)">,
to be held on 9th or 10th July (exact date TBC), at the
International Conference on Logic Programming (<a
href="https://iclp2023.imperial.ac.uk/home"
title="https://iclp2023.imperial.ac.uk/home"
data-loopstyle="link" id="LPlnkOWALinkPreview_2">ICLP 2023</a>)</span><span
class="x_ContentPasted0" style="font-size:11pt;
font-family:Arial; text-decoration:none; color:rgb(0,0,0)"> at
Imperial College London, UK.</span></p>
<br class="x_ContentPasted0">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">Note, that as well as
original, unpublished work, we encourage submissions of
relevant work that has previously been published or is
currently under review, as long as this does not violate the
conditions of the venue where that work has been
published/submitted (details below).</span></p>
<br class="x_ContentPasted0">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial; font-weight:700;
text-decoration:none; color:rgb(0,0,0)">Paper submission
deadline (extended):
</span><span class="x_ContentPasted0" style="font-size:11pt;
font-family:Arial; font-weight:700;
text-decoration:line-through; color:rgb(0,0,0)">19th</span><span
class="x_ContentPasted0" style="font-size:11pt;
font-family:Arial; font-weight:700; text-decoration:none;
color:rgb(0,0,0)"> 22nd May</span></p>
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial; font-weight:700;
text-decoration:none; color:rgb(0,0,0)">Notification:
</span><span class="x_ContentPasted0" style="font-size:11pt;
font-family:Arial; font-weight:700;
text-decoration:line-through; color:rgb(0,0,0)">9th</span><span
class="x_ContentPasted0" style="font-size:11pt;
font-family:Arial; font-weight:700; text-decoration:none;
color:rgb(0,0,0)"> 12th June</span></p>
<br class="x_ContentPasted0">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial; font-weight:700;
text-decoration:none; color:rgb(0,0,0)">Topics</span></p>
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">This workshop takes a
broad view of the safety and trustworthiness of AI systems,
covering areas such as the following.</span></p>
<ul style="margin-top:0; margin-bottom:0">
<li dir="ltr" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="text-decoration:none">Formal verification of system
behaviour</span></p>
</li>
<li dir="ltr" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="text-decoration:none">Explainable and interpretable
AI</span></p>
</li>
<li dir="ltr" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="text-decoration:none">Knowledge representation and
reasoning</span></p>
</li>
<li dir="ltr" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="text-decoration:none">Neurosymbolic AI</span></p>
</li>
<li dir="ltr" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="text-decoration:none">Safe multi-agent systems</span></p>
</li>
<li dir="ltr" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="text-decoration:none">Coordination and cooperative
AI</span></p>
</li>
<li dir="ltr" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="text-decoration:none">Fairness, bias, and
algorithmic discrimination</span></p>
</li>
<li dir="ltr" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="text-decoration:none">AI ethics and value alignment</span></p>
</li>
<li dir="ltr" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="text-decoration:none">Robustness and failures of
generalisation</span></p>
</li>
<li dir="ltr" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="text-decoration:none">AI policy and regulation,
including the use of agent-based modeling to better
understand the consequences of such policy</span></p>
</li>
<li dir="ltr" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="text-decoration:none">The use of norms for ensuring
alignment of multi-agent systems with certain values</span></p>
</li>
</ul>
<br class="x_ContentPasted0">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial; font-weight:700;
text-decoration:none; color:rgb(0,0,0)">Submissions</span></p>
<br class="x_ContentPasted0">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">STAI23 aims to
encourage discussion and sharing of ideas, and to build
connections between people working in related areas. There
will not be any published proceedings for STAI23; this allows
us to welcome not only original, unpublished papers, but also
papers that have been published in a relevant conference or
journal, and work that is under review at other relevant
venues.</span></p>
<br class="x_ContentPasted0">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">STAI23 offers three
types of submissions.</span></p>
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)"> </span></p>
<ul style="margin-top:0; margin-bottom:0">
<li dir="ltr" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-weight:700; text-decoration:none">Regular
original papers</span><span class="x_ContentPasted0"
style="text-decoration:none"> (8 pages + references) will
present more mature work that includes some (perhaps
preliminary) results, that has not been previously
published nor accepted for publication, nor is currently
under review by another conference or journal.</span></p>
</li>
<li dir="ltr" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-weight:700; text-decoration:none">Short
original papers</span><span class="x_ContentPasted0"
style="text-decoration:none"> (4 pages + references) are
intended for less well-developed work, where results may
still be forthcoming, that has not been previously
published nor accepted for publication, nor is currently
under review by another conference or journal.</span></p>
</li>
<li dir="ltr" style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-weight:700; text-decoration:none">Published
papers or papers under review</span><span
class="x_ContentPasted0" style="text-decoration:none"> (up
to 15 pages, in the original submitted format) reporting
on interesting and relevant work that has been published
(or accepted for publication) in the last 18 months or is
currently under review at another venue.</span></p>
</li>
</ul>
<br class="x_ContentPasted0">
<p dir="ltr" class="x_elementToProof" style="line-height:1.38;
margin-top:0pt; margin-bottom:0pt">
<span class="x_ContentPasted0" style="font-size:11pt;
font-family:Arial; text-decoration:none; color:rgb(0,0,0)">It
is the authors’ responsibility to ensure that submitting a
published paper, or paper under review, does not violate the
conditions of the venue where that work has previously been
submitted/published.</span></p>
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)"> </span></p>
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">Authors of accepted
papers may be invited to give a talk or present a poster.
There will be a prize for the best paper and a prize for the
best poster. We will not give prizes to submissions in the
published papers track.</span></p>
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)"> </span></p>
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">For details on how to
format and submit your papers, see
<a class="moz-txt-link-freetext" href="https://www.stai.uk/call-for-papers">https://www.stai.uk/call-for-papers</a></span></p>
<br class="x_ContentPasted0">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial; font-weight:700;
text-decoration:none; color:rgb(0,0,0)">Registration</span></p>
<br class="x_ContentPasted0">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">Registration for the
workshop is via ICLP2023. At least one author of each accepted
workshop paper is required to register for ICLP2023. Details
at: </span>
<a href="https://iclp2023.imperial.ac.uk/registration"
class="x_ContentPasted0" style="text-decoration:none"><span
style="font-size:11pt; font-family:Arial;
text-decoration:underline; color:rgb(17,85,204)">https://iclp2023.imperial.ac.uk/registration</span></a><span
class="x_ContentPasted0" style="font-size:11pt;
font-family:Arial; text-decoration:none; color:rgb(0,0,0)"> </span></p>
<br class="x_ContentPasted0">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">We hope to be able to
provide some financial support for those who may otherwise
find it difficult to attend STAI23. Please check the STAI23
website for updates on this:
</span><a href="https://www.stai.uk/registration"
class="x_ContentPasted0" style="text-decoration:none"><span
style="font-size:11pt; font-family:Arial;
text-decoration:underline; color:rgb(17,85,204)">https://www.stai.uk/registration</span></a><span
class="x_ContentPasted0" style="font-size:11pt;
font-family:Arial; text-decoration:none; color:rgb(0,0,0)"> </span></p>
<br class="x_ContentPasted0">
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">Kind Regards,</span></p>
<p dir="ltr" style="line-height:1.38; margin-top:0pt;
margin-bottom:0pt"><span class="x_ContentPasted0"
style="font-size:11pt; font-family:Arial;
text-decoration:none; color:rgb(0,0,0)">STAI23 organizers</span></p>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"
class="ContentPasted0"> </p>
<br>
</div>
<pre class="moz-signature" cols="72">--
Francesco Belardinelli
Department of Computing
Imperial College London
<a class="moz-txt-link-abbreviated" href="http://www.doc.ic.ac.uk/~fbelard" moz-do-not-send="true">www.doc.ic.ac.uk/~fbelard</a>
My working day may not be the same as yours.
Please do not feel obliged to reply to this email outside your normal working hours.</pre>
</body>
</html>