<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Helvetica;
panose-1:2 11 6 4 2 2 2 2 2 4;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.apple-converted-space
{mso-style-name:apple-converted-space;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="en-NL" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><b><span lang="EN-US">PROGIC 2023:</span></b><span lang="EN-US"> Eleventh Workshop on Combining Probability and Logic <a href="https://progic2023.sites.uu.nl/" target="_blank">https://progic2023.sites.uu.nl/</a><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span lang="NL">Utrecht University,<br>
Utrecht, Netherlands, August 30 - September 1, 2023<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">The special focus of PROGIC2023 is <i>Knowledge representation and reasoning.</i> <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Classically, logic and probability offer competing representations of partial or incomplete information, with the former assuming a qualitative perspective on uncertainty and the latter focusing on a quantitative account.
Both provide their own policies for updating on new information, combining evidence from different sources, and acting under partial information.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><br>
We solicit submissions that bridge these two perspectives. These could, for instance, apply probabilistic or other quantitative tools to the study of logical systems or use logical frameworks, classical or substructural, for understanding probabilistic approaches.
They may also apply to specific sub-areas, such as game theory, network theory, causal modelling or machine learning. We especially invite submissions that combine probability and logic for knowledge representation and reasoning broadly construed. <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:9.0pt;font-family:"Helvetica",sans-serif"><br>
<b> </b></span><b><span lang="EN-US">Invited Speakers </span></b><span lang="EN-US" style="font-family:"Helvetica",sans-serif"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Didier Dubois (IRIT, France)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Joe Halpern (Cornell University)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Gabriele Kern-Isberner (Dortmund)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Aybüke Özgün (University of Amsterdam)<br>
* Jon Williamson (University of Kent)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US">Submissions</span></b><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Submissions should consist of a short abstract (~200 words) and an *extended abstract* (~1000 words, pdf format). The submission portal is at <a href="https://progic23.sciencesconf.org/" target="_blank">https://progic23.sciencesconf.org/</a><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><b><span lang="EN-US">Dates and Deadlines</span></b><span lang="EN-US"><br>
* Submission deadline: *April 15, 2023* <br>
* Notification of acceptance: *May 15, 2023*<br>
* Conference: * August 30 - September 1, 2023*<o:p></o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US">Workshop Website</span></b><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><a href="https://progic2023.sites.uu.nl/" target="_blank">https://progic2023.sites.uu.nl/</a> (general information)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><a href="https://progic23.sciencesconf.org/" target="_blank">https://progic23.sciencesconf.org/</a> (submission)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US">Special Issue</span></b><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">There will also be a special issue of the
<i>Journal of Logic and Computation</i> devoted to the themes of this workshop. After the conference, we invite submissions of papers to this volume.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US">The Series</span></b><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">The *Eleventh Workshop on Combining Probability and Logic* (*PROGIC2023*) continues the Progic workshop series<br>
<<a href="https://blogs.kent.ac.uk/jonw/conferences/progic/" target="_blank">https://blogs.kent.ac.uk/jonw/conferences/progic/</a>>. <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US">Committees</span></b><span lang="EN-US"><br>
<br>
Program Committee <br>
* Niki Pfeifer (Regensburg)<br>
* Jan-Willem Romeijn (Groningen)<br>
* Marta Sznajder (Muenchen)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Gregory Wheeler (Frankfurt)<br>
* Jon Williamson (Kent)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Francesca Zaffora Blando (CMU Pittsburgh)
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="NL">* Dominik Klein (Utrecht)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="NL">* Dragan Doder (Utrecht)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="NL"><br>
Organizing committee<br>
* Dominik Klein (Utrecht University)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Dragan Doder (Utrecht University)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><br>
<b>Venue</b><br>
The conference will be held at Utrecht University, in the historic city center of Utrecht.<br>
<br>
<b>Contact</b><br>
All questions should be emailed to Dragan Doder,<span class="apple-converted-space"> </span><a href="mailto:d.doder@uu.nl" target="_blank">d.doder@uu.nl</a><span class="apple-converted-space"> </span>and Dominik Klein,<span class="apple-converted-space"> </span><a href="mailto:d.klein@uu.nl" target="_blank">d.klein@uu.nl</a><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US">Acknowledgements: </span></b><span lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">We acknowledge generous financial support by Utrecht University’s Focus Area of Human Centered AI (<a href="https://www.uu.nl/en/research/human-centered-artificial-intelligence">https://www.uu.nl/en/research/human-centered-artificial-intelligence</a>)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
</div>
</body>
</html>