<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; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">Apologies</span><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="">cross-posting</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="">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="">
<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="">Papers</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="">21-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";" class="">
<span style="font-kerning: none" class=""><b class="">Submission</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="">Details</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="">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="">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="">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="">must</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">be</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">made</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">via</span><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="">EasyChair</span><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="">system:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
<a href="https://easychair.org/conferences/?conf=iclp2019" class=""><span style="font-stretch: normal; line-height: normal; font-family: "Lucida Grande"; -webkit-font-kerning: none; color: rgb(53, 134, 255);" class="">https://easychair.org/conferences/?conf=iclp2019</span></a>
</span><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="">Regular</span><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="">must</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">be</span><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="">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="">condensed</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><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="">format</span><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="">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="">exceed</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">14</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">pages</span><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="">bibliography.</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Regular</span><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="">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="">be</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">supplemented</span><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="">appendices</span><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="">proofs</span><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="">details</span><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="">datasets</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">which</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">do</span><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="">count</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">towards</span><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="">page</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">limit</span><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="">which</span><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="">be</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">available</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">as</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">appendices</span><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="">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="">published</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><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></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="">Three</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">kinds</span><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="">regular</span><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="">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="">be</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">accepted:</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="">Technical</span><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="">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="">technically</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">sound,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">innovative</span><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="">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="">can</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">advance</span><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="">state</span><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></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">Application</span><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="">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="">impact</span><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="">application</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">domains;</span></li><li style="margin: 0px; font-stretch: normal; line-height: normal; font-family: "Lucida Grande";" class="">
<span style="font-kerning: none" class="">System</span><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="">tool</span><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="">which</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">emphasize</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">novelty,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">practicality,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">usability,</span><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="">availability</span><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="">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="">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="">tools</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">described.</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="">Application,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">system,</span><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="">tool</span><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="">need</span><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="">be</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">clearly</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">marked</span><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="">their</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">title.</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="">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="">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="">must</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">be</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">written</span><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="">English</span><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="">describe</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">original,</span><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="">unpublished</span><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="">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="">must</span><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="">simultaneously</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">be</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">submitted</span><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="">publication</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">elsewhere.</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">These</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">restrictions</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">do</span><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="">apply</span><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="">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="">accepted</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">workshop</span><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="">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="">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="">limited</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">audience</span><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/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="">without</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">archival</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">proceedings.</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="">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="">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="">highest</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">quality</span><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="">be</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">selected</span><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="">be</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">published</span><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="">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="">journal</span><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="">Theory</span><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="">Practice</span><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="">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="">,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Cambridge</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">University</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Press</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=""> (</span><span style="font-kerning: none" class="">CUP</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">)</span><span style="font-kerning: none" class="">.</span><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="">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="">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="">ensure</span><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="">quality</span><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="">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="">version,</span><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="">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="">be</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">subject</span><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="">more</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">than</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">one</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">round</span><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="">refereeing</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=""> (</span><span style="font-kerning: none" class="">within</span><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="">decision</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">period</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">)</span><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="">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="">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="">committee</span><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="">recommend</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">some</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">regular</span><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="">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="">be</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">published</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">as</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Technical</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">communications,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">which</span><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="">be</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">published</span><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="">Dagstuhl</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Publishing</span><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="">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="">OpenAccess</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Series</span><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="">Informatics</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=""> (</span><span style="font-kerning: none" class="">OASIcs</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">)</span><span style="font-kerning: none" class="">.</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">Technical</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">communications</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">must</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">be</span><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="">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="">OASIcs</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">format</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=""> (</span><span style="font-kerning: none" class="">template</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">here</span><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="">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="">exceed</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">14</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">pages</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">excluding</span><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="">bibliography</span><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="">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="">short</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">appendix</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class=""> (</span><span style="font-kerning: none" class="">up</span><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="">5</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">more</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">pages</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">)</span><span style="font-kerning: none" class="">.</span><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="">authors</span><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="">technical</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">communications</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">can</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">also</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">elect</span><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="">convert</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">their</span><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="">into</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">extended</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">abstracts,</span><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="">2</span><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="">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="">pages,</span><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="">inclusion</span><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="">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="">OASIcs</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">proceedings.</span><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="">should</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">allow</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">authors</span><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="">submit</span><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="">long</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">version</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">elsewhere.</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="">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="">regular</span><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="">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="">technical</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">communications</span><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="">be</span><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="">during</span><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="">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="">Authors</span><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="">accepted</span><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="">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="">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="">default,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">be</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">automatically</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">included</span><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="">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="">list</span><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="">ALP</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">members,</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">who</span><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="">receive</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">quarterly</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">updates</span><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="">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="">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="">Newsletter</span><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="">no</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">cost.</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="">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:</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">April</span><span style="font-stretch: normal; line-height: normal; font-family: "Zapf Dingbats"; -webkit-font-kerning: none;" class="">
</span><span style="font-kerning: none" class="">27,</span><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:</span><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="">4,</span><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:</span><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="">
<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="">revision</span><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="">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="">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="">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:</span><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="">2017</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="">23,</span><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>