<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="margin: 0px; font-stretch: normal; line-height: normal;" class=""><span style="font-size: 13px; font-family: "Lucida Grande"; font-stretch: normal; line-height: normal; -webkit-font-kerning: none;" class="">Apologies</span><span style="font-size: 13px; font-family: "Zapf Dingbats"; font-stretch: normal; line-height: normal; -webkit-font-kerning: none;" class="">
</span><span style="font-size: 13px; font-family: "Lucida Grande"; font-stretch: normal; line-height: normal; -webkit-font-kerning: none;" class="">for</span><span style="font-size: 13px; font-family: "Zapf Dingbats"; font-stretch: normal; line-height: normal; -webkit-font-kerning: none;" class="">
</span><span style="font-size: 13px; font-family: "Lucida Grande"; font-stretch: normal; line-height: normal; -webkit-font-kerning: none;" class="">cross-posting -
</span><span style="-webkit-font-kerning: none; font-style: normal;" class=""><font face="Lucida Grande" class="">Please forward to anybody who might be interested</font></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 13px;" class="">
<span style="font-kerning: none" class=""></span>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
** The early registration is approaching soon! **</div>
<div class=""><span style="-webkit-font-kerning: none;" class=""><br class="">
</span></div>
<div class=""><span style="-webkit-font-kerning: none;" class=""><br class="">
</span></div>
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 14px; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">The</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">35th</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">International</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Conference</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">on</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Logic</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Programming</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=""> (</span><span style="font-kerning: none" class=""><b class="">ICLP</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">2019</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">)</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 13px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">Call</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">for</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Participation</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">=====================</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 13px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">September</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">20-25,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">2019</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">Las</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Cruces,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">New</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Mexico</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=""> (</span><span style="font-kerning: none" class="">USA</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">)</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande"; color: rgb(53, 134, 255);" class="">
<span style="text-decoration: underline ; font-kerning: none" class=""><a href="https://www.cs.nmsu.edu/ALP/iclp2019/" class="">https://www.cs.nmsu.edu/ALP/iclp2019/</a></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 13px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 14px; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Scope</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">------</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">Since</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">the</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">first</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">conference</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">held</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">in</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Marseille</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">in</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">1982,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">ICLP</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">has</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">been</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">the</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">premier</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">international</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">event</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">for</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">presenting</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">research</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">in</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">logic</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">programming.</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Contributions</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">are</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">sought</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">in</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">all</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">areas</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">of</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">logic</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">programming,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">including</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">but</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">not</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">restricted</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">to:</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 13px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<ul class="">
<li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<b class=""></b><span style="font-kerning: none" class=""><b class="">Foundations</b>:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Semantics,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Formalisms,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Nonmonotonic</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">reasoning,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Knowledge</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">representation.</span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Languages</b>:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Concurrency,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Objects,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Coordination,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Mobility,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Higher</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Order,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Types,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Modes,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Assertions,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Modules,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Meta-programming,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Logic-based</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">domain-specific</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">languages,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Programming</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Techniques.</span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Declarative</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">programming</b>:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Declarative</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">program</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">development,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Analysis,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Type</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">mode</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">inference,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Partial</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">evaluation,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Abstract</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">interpretation,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Transformation,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Validation,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Verification,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Debugging,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Profiling,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Testing,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Execution</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">visualization.</span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Implementation</b>:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Virtual</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">machines,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Compilation,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Memory</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">management,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Parallel/distributed</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">execution,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Constraint</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">handling</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">rules,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Tabling,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Foreign</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">interfaces,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">User</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">interfaces.</span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Related</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Paradigms</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">and</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Synergies</b>:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Inductive</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Co-inductive</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Logic</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Programming,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Constraint</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Logic</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Programming,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Answer</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Set</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Programming,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Interaction</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">with</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">SAT,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">SMT</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">CSP</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">solvers,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Logic</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">programming</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">techniques</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">for</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">type</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">inference</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">theorem</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">proving,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Argumentation,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Probabilistic</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Logic</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Programming,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Relations</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">to</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">object-oriented</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Functional</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">programming.</span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Applications</b>:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Databases,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Big</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Data,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Data</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">integration</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">federation,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Software</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">engineering,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Natural</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">language</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">processing,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Web</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Semantic</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Web,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Agents,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Artificial</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">intelligence,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Computational</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">life</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">sciences,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Education,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Cybersecurity,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Robotics.</span></li></ul>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 13px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 14px; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Tracks</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">and</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Special</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Sessions</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">---------------------------</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">Besides</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">the</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">main</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">track,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">ICLP</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">2019</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">will</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">host</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">additional</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">tracks</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">special</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">sessions:</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 13px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<ul class="">
<li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Applications</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Track</b>:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">This</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">track</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">invites</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">submissions</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">of</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">papers</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">on</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">emerging</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">deployed</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">applications</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">of</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">LP,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">describing</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">all</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">aspects</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">of</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">the</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">development,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">deployment,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">evaluation</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">of</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">logic</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">programming</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">systems</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">to</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">solve</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">real-world</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">problems,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">including</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">interesting</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">case</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">studies</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">benchmarks,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">discussing</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">lessons</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">learned.</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=""> </span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Sister</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Conferences</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">and</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Journal</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Presentation</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Track</b>:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">This</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">track</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">provides</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">a</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">forum</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">to</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">discuss</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">important</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">results</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">related</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">to</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">logic</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">programming</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">that</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">appeared</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">recently</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=""> (</span><span style="font-kerning: none" class="">from</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">January</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">2017</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">onwards</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">)
</span><span style="font-kerning: none" class="">in</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">selective</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">journals</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">conferences,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">but</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">have</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">not</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">been</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">previously</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">presented</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">at</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">ICLP.</span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Research</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Challenges</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">in</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Logic</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Programming</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Track</b>:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">This</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">track</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">invites</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">submissions</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">of</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">papers</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">describing</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">research</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">challenges</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">that</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">an</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">individual</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">researcher</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">or</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">a</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">research</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">group</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">is</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">currently</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">attacking.</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">The</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">goal</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">of</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">the</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">track</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">is</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">to</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">promote</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">discussions,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">exchange</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">of</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">ideas,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">possibly</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">stimulate</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">new</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">collaborations.</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=""> </span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<b class=""></b><span style="font-kerning: none" class=""><b class="">Special</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Session</b>:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Women</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">in</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Logic</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Programming:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">This</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">special</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">session</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">will</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">include</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">invited</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">talks</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">presentations</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">by</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">women</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">in</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">logic</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">programming.</span></li></ul>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 13px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">Every</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">track</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">special</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">session</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">will</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">have</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">its</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">own</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">dedicated</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">chairs,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">PC,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">evaluation</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">criteria,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">and</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">CFP</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">with</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">the</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">submission</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">details.</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 13px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 14px; line-height: normal; font-family: "Lucida Grande"; min-height: 17px;" class="">
<span style="font-kerning: none" class=""><b class=""></b></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 14px; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Conference Registration</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">---------------------------</span></div>
<ul class="">
<li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats";" class=""></span>Early<span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats";" class="">
</span>Registration:<span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats";" class="">
</span>August 5, 2019</li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande"; color: rgb(0, 0, 233); -webkit-text-stroke-width: initial; -webkit-text-stroke-color: rgb(0, 0, 233);" class="">
<span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; color: rgb(0, 0, 0); -webkit-text-stroke-color: rgb(0, 0, 0);" class=""></span><span style="color: rgb(0, 0, 0); -webkit-text-stroke-color: rgb(0, 0, 0);" class="">Registration
Link: <a href="https://shopcart.nmsu.edu/shop/icpl2019" class=""><span style="-webkit-font-kerning: none;" class="">https://shopcart.nmsu.edu/shop/icpl2019</span></a></span></li></ul>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 13px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 13px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 14px; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Important</b></span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class=""><b class="">Dates</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">----------------</span></div>
<ul class="">
<li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">Abstract</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">registration (abstract, regular papers):</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">May</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">8,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">2019</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=""> </span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">Paper</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">submission (regular papers):</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">May</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">15,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">2019</span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">Paper</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">submission (short papers):</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">May</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">15,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">2019</span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">Notification (regular papers):</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">June</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">19,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">2019</span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
Revision deadline (<span style="font-kerning: none" class="">TPLP</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">papers):</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">July</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">3,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">2019</span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">Final</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">notifications (TPLP papers, short papers):</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">July</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">17,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">2019</span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">Camera-ready</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">copy:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">July</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">31,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">2019</span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">Conference:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">September</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">20-25,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">2019</span></li></ul>
<div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 13px;" class="">
<span style="font-kerning: none" class=""></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 14px; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Organization</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">-------------</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">General Chairs: </b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Enrico Pontelli - New Mexico State University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Son Tran Cao - New Mexico State University </span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Program Chairs:</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Esra Erdem - Sabanci University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> German Vidal - Universitat Politecnica de Valencia</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Publicity Chair:</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Ferdinando Fioretto - Georgia Institute of Technology</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Workshops Chair:</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Martin Gebser - University of Klagenfurt and Graz University of Technology</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Tutorials Chair:</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Pedro Cabalar - University of Corunna</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">DC Chairs:</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Paul Fodor - Stony Brook New York</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Daniela Inclezan - Miami University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Programming Competition Chairs:</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Manuel Carro - Technical University of Madrid (UPM) and IMDEA Software Institute </span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Orkunt Sabuncu - TED University </span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Applications Track Chairs:</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Andrea Formisano - Universita' di Perugia</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Fangkai Yang - NVIDIA Corporation</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Sister Conferences and Journal Presentation Track Chairs:</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Bart Bogaerts - KU Leuven</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Giovambattista Ianni - Universita' della Calabria</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Research Challenges in Logic Programming Track Chairs:</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Alessandro dal Palu - Universita' di Parma</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Amelia Harrison - University of Texas at Austin and Google Inc.</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Joohyung Lee - Arizona State University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Women in Logic Programming Special Session Chairs:</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Alicia Villanueva - Universitat Politecnica de Valencia</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Marina De Vos - University of Bath</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande"; min-height: 16px;" class="">
<span style="font-kerning: none" class=""><b class=""></b></span><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""><b class="">Program Committee:</b></span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Hassan Ait-Kaci - University of Lyon 1</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Mario Alviano - University of Calabria</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Roman Bartak - Charles University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Rachel Ben-Eliyahu-Zohary - Azrieli College of Engineering</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Bart Bogaerts - KU Leuven</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Gerhard Brewka - Leipzig University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Pedro Cabalar - University of Corunna</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Michael Codish - Ben-Gurion University of the Negev</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Stefania Costantini - University of L'Aquila</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Marina De Vos - University of Bath</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Agostino Dovier - University of Udine</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Thomas Eiter - Vienna University of Technology</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Wolfgang Faber - Alpen-Adria-Universitat Klagenfurt</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Fabio Fioravanti - University of Chieti-Pescara</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Andrea Formisano - Universita' di Perugia</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> John Gallagher - Roskilde University and IMDEA Software Institute</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Martin Gebser - University of Klagenfurt and Graz University of Technology</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Michael Gelfond - Texas Tech University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Michael Hanus - CAU Kiel</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Amelia Harrison - University of Texas at Austin and Google Inc.</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Manuel Hermenegildo - Technical University of Madrid (UPM) and IMDEA Software Institute</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Giovambattista Ianni - Universita' della Calabria</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Daniela Inclezan - Miami University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Katsumi Inoue - National Institute of Informatics</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Tomi Janhunen - Aalto University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Angelika Kimmig - Cardiff University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Ekaterina Komendantskaya - Heriot-Watt University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Vladimir Lifschitz - University of Texas at Austin</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Evelina Lamma - University of Ferrara</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Joohyung Lee - Arizona State University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Nicola Leone - University of Calabria</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Yanhong Annie Liu - Stony Brook New York</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Fred Mesnard - Universite de la Reunion</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Jose F. Morales - IMDEA Software Institute</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Emilia Oikarinen - Aalto University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Carlos Olarte - Universidade Federal do Rio Grande do Norte</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Magdalena Ortiz - Vienna University of Technology</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Mauricio Osorio - Universidad de las Americas Puebla</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Barry O'Sullivan - University College Cork</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Simona Perri - University of Calabria</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Enrico Pontelli - New Mexico State University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Ricardo Rocha - University of Porto</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Alessandra Russo - Imperial College</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Orkunt Sabuncu - TED University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Chiaki Sakama - Wakayama University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Torsten Schaub - University of Potsdam</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Guillermo R. Simari - Universidad Nacional del Sur</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Theresa Swift - Universidade Nova de Lisboa</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Francesca Toni - Imperial College</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Paolo Torroni - University of Bologna</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Son Tran Cao - New Mexico State University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Alicia Villanueva - Universitat Politecnica de Valencia</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Kewen Wang - Griffith University</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Jan Wielemaker - VU University of Amsterdam</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Stefan Woltran - Vienna University of Technology</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Fangkai Yang - NVIDIA Corporation</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Roland Yap - National University of Singapore</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Jia-Huai You - University of Alberta</span></div>
<div style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class=""> Zhizheng Zhang - Southeast University</span></div>
<div class=""><span style="font-kerning: none" class=""><br class="">
</span></div>
</body>
</html>