<html><head><style type='text/css'>p { margin: 0; }</style></head><body><div style='font-family: times new roman,new york,times,serif; font-size: 12pt; color: #000000'><div style="font-size: 12pt; background-color: rgb(255, 255, 255); font-family: 'Times New Roman'; "><span style="font-family: monospace; font-size: medium; ">**apologies for cross-posting**</span><br style="font-family: monospace; font-size: medium; "><br style="font-family: monospace; font-size: medium; "><span style="font-family: monospace; font-size: medium; ">------------------------------------------------------------------------------------------</span><br style="font-family: monospace; font-size: medium; "><span style="font-family: monospace; font-size: medium; "> </span><span style="font-family: monospace; font-size: medium; ">Co-LP Workshop</span><span style="font-family: monospace; font-size: medium; "> 2012 </span><span style="font-size: 12pt; "> </span></div><div style="font-size: 12pt; background-color: rgb(255, 255, 255); font-family: 'Times New Roman'; "><span style="font-family: 'courier new', courier, monaco, monospace, sans-serif; color: rgb(34, 34, 34); font-size: 13px; "> </span><span class="Object" id="OBJ_PREFIX_DWT7969_com_zimbra_url" style="color: rgb(0, 0, 139); cursor: pointer; "><span class="Object" id="OBJ_PREFIX_DWT8010_com_zimbra_url" style="cursor: pointer; "><a href="http://sdl-forum.org/Events/SAM2012/index.html" target="_blank" style="color: rgb(17, 85, 204); text-decoration: none; cursor: pointer; font-family: 'courier new', courier, monaco, monospace, sans-serif; font-size: 13px; ">https://contraintes.rocq.inria.fr/~saeedloe/</a></span></span> <br style="font-family: monospace; font-size: medium; "><br style="font-family: monospace; font-size: medium; "><span style="font-family: monospace; font-size: medium; "> First Workshop on Coinductive Logic Programming</span><br style="font-family: monospace; font-size: medium; "><span style="font-family: monospace; font-size: medium; "> September</span><span class="Object" id="OBJ_PREFIX_DWT392" style="color: rgb(0, 128, 0); cursor: pointer; font-family: monospace; font-size: medium; "> 8, 2012</span><br style="font-family: monospace; font-size: medium; "><span style="font-family: monospace; font-size: medium; "> </span><span style="font-family: monospace; font-size: medium; ">to be held in Budapest, Hungary, at the occasion of ICLP 2012</span><br style="font-family: monospace; font-size: medium; "><span style="font-family: monospace; font-size: medium; "> September <font color="#008000">4</font></span><span style="font-family: monospace; font-size: medium; ">-8, 2012</span><br style="font-family: monospace; font-size: medium; "><br style="font-family: monospace; font-size: medium; "><span style="font-family: monospace; font-size: medium; "> </span><font face="courier new, courier, monaco, monospace, sans-serif"><span class="Object" id="OBJ_PREFIX_DWT7970_com_zimbra_url" style="color: rgb(0, 0, 139); cursor: pointer; "><span class="Object" id="OBJ_PREFIX_DWT8011_com_zimbra_url" style="cursor: pointer; "><a href="http://www.cs.bme.hu/iclp2012/" target="_blank" style="color: rgb(0, 0, 139); text-decoration: none; cursor: pointer; ">http://www.cs.bme.hu/iclp2012/</a></span></span> </font><br style="font-family: monospace; font-size: medium; "><br style="font-family: monospace; font-size: medium; "><span style="font-family: monospace; font-size: medium; ">------------------------------------------------------------------------------------------</span><br style="font-family: monospace; font-size: medium; "></div><span style="font-size: 13px; font-family: arial, sans-serif; color: rgb(34, 34, 34); background-color: rgb(255, 255, 255); "><span style="font-size: 13px; "><br></span></span><font face="courier new, courier, monaco, monospace, sans-serif" style="font-size: 12pt; background-color: rgb(255, 255, 255); "><span style="color: rgb(34, 34, 34); font-size: 13px; ">Introduction</span><br style="color: rgb(34, 34, 34); font-size: 13px; "><br style="color: rgb(34, 34, 34); font-size: 13px; "><span style="color: rgb(34, 34, 34); font-size: 13px; ">Extending logic programming with coinduction has opened a new venue for research in different aspects of this paradigm. These include exploring the theory and implementation of Co-LP along with its relationship with other programming and computing paradigms. Co-LP is only a starting point for developing logic programs (and their semantics) that can be used to fully reason about infinite objects and their properties.</span></font><div style="font-size: 12pt; background-color: rgb(255, 255, 255); font-family: 'Times New Roman'; "><font face="courier new, courier, monaco, monospace, sans-serif"><span style="color: rgb(34, 34, 34); font-size: 13px; "><br></span></font></div><div style="font-size: medium; background-color: rgb(255, 255, 255); font-family: 'Times New Roman'; "><span style="font-size: 13.333333015441895px; color: rgb(34, 34, 34); font-family: 'courier new', courier, monaco, monospace, sans-serif; ">The Coinductive Logic Programming (Co-LP) workshop provides an open arena for participants to present and discuss the most recent innovations, trends, experiences and concerns in coinductive logic programming and its relation to other programming and computing paradigms such as constraint programming, answer set programming, tabling, etc.</span><font face="courier new, courier, monaco, monospace, sans-serif" style="font-size: 12pt; "><span style="color: rgb(34, 34, 34); font-size: 13px; "> </span></font><div style="font-size: 12pt; "><font face="courier new, courier, monaco, monospace, sans-serif"><span style="color: rgb(34, 34, 34); font-size: 13px; "><br></span></font></div><div><font face="courier new, courier, monaco, monospace, sans-serif" style="font-size: 12pt; "><span style="color: rgb(34, 34, 34); font-size: 13px; ">The Co-LP 2012 workshop will cover the following non-exclusive list of topics:</span><br style="color: rgb(34, 34, 34); font-size: 13px; "></font><ul style="font-size: 13px; color: rgb(34, 34, 34); "><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">Sequential implementation schemes (abstract machines, translation to other languages, etc.)</font></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">Efficient implementation of goal directed Co-LP</font></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">Developing declarative semantics for logic programming and coinduction with interleaving of induction and coinduction</font></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">Developing operational semantics for logic programming and coinduction with interleaving of induction and coinduction</font></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">Implementation of type inference and type checking systems for coinductive logic programming languages</font></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">Relating Co-LP to constraint programming</font></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">Relating Co-LP to Tabling</font></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">Relating Co-LP to Answer Set Programming</font></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">Relating coinduction to other logic programming paradigms </font></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">Developing tools for debugging and testing coinductive logic programming systems</font></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">Language extensions to Co-LP<br></font></li></ul><font face="courier new, courier, monaco, monospace, sans-serif" style="font-size: 12pt; "><br style="color: rgb(34, 34, 34); font-size: 13px; "><span style="color: rgb(34, 34, 34); font-size: 13px; ">Important dates</span><br style="color: rgb(34, 34, 34); font-size: 13px; "></font><ul style="font-size: 13px; color: rgb(34, 34, 34); "><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">15. July 2012 Co-LP2012 Paper Deadline</font></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">31. July 2012 Co-LP2012 Author Notification</font></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">12. August 2012 Co-LP2012 Final Version</font></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">8. September 2012 Co-LP2012 Workshop at Budapest, Hungary<br></font></li></ul><font face="courier new, courier, monaco, monospace, sans-serif" style="font-size: 12pt; "><br style="color: rgb(34, 34, 34); font-size: 13px; "><span style="color: rgb(34, 34, 34); font-size: 13px; ">Submission</span><br style="color: rgb(34, 34, 34); font-size: 13px; "></font><ul style="font-size: 13px; color: rgb(34, 34, 34); "><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">Authors are invited to submit papers written in English and not exceeding 15 pages in PDF format. The papers should be prepared using LNCS LaTeX format and submitted to <span class="Object" id="OBJ_PREFIX_DWT7971_com_zimbra_email" style="color: rgb(0, 0, 139); cursor: pointer; "><span class="Object" id="OBJ_PREFIX_DWT8012_com_zimbra_email" style="cursor: pointer; "><a href="mailto:neda.saeedloei@inria.fr" target="_blank" style="color: rgb(17, 85, 204); text-decoration: none; cursor: pointer; ">neda.saeedloei@inria.fr</a></span></span>.</font></li></ul><div style="font-size: 13px; color: rgb(34, 34, 34); "><font face="courier new, courier, monaco, monospace, sans-serif"><br>Venue and co-location with ICLP 2012 <br></font><ul><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif">Co-LP 2012 is co-located with ICLP 2012 (<span class="Object" id="OBJ_PREFIX_DWT7972_com_zimbra_url" style="color: rgb(0, 0, 139); cursor: pointer; "><span class="Object" id="OBJ_PREFIX_DWT8013_com_zimbra_url" style="cursor: pointer; "><a href="http://www.cs.bme.hu/iclp2012/" target="_blank" style="color: rgb(17, 85, 204); text-decoration: none; cursor: pointer; ">http://www.cs.bme.hu/iclp2012/</a></span></span>) and shares part of the ICLP 2012 venue: Tulip Inn Budapest Millennium (<span class="Object" id="OBJ_PREFIX_DWT7973_com_zimbra_url" style="color: rgb(0, 0, 139); cursor: pointer; "><span class="Object" id="OBJ_PREFIX_DWT8014_com_zimbra_url" style="cursor: pointer; "><a href="http://www.tulipinnbudapestmillennium.com/" target="_blank" style="color: rgb(17, 85, 204); text-decoration: none; cursor: pointer; ">http://www.tulipinnbudapestmillennium.com/</a></span></span>).</font></li></ul><font face="courier new, courier, monaco, monospace, sans-serif"> <span class="Object" id="OBJ_PREFIX_DWT7974_com_zimbra_url" style="color: rgb(0, 0, 139); cursor: pointer; "><span class="Object" id="OBJ_PREFIX_DWT8015_com_zimbra_url" style="cursor: pointer; "><a href="http://www.tulipinnbudapestmillennium.com/" target="_blank" style="color: rgb(17, 85, 204); text-decoration: none; cursor: pointer; "></a></span></span> <br>Programme committee<br></font></div><ul style="color: rgb(34, 34, 34); "><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif" style="font-size: 13px; ">Gopal Gupta </font> <span style="color: rgb(0, 0, 0); "><font face="courier new, courier, monaco, monospace, sans-serif" size="2">(University of Texas at Dallas, USA)</font></span></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif" style="font-size: 13px; ">Davide Ancona </font> <span style="color: rgb(0, 0, 0); "><font face="courier new, courier, monaco, monospace, sans-serif" size="2">(University of Genoa, Italy)</font></span></li><li style="margin-left: 15px; "><font face="courier new, courier, monaco, monospace, sans-serif"><font size="2">Ekaterina Komendantskaya (</font><span style="color: rgb(0, 0, 0); line-height: 20px; text-align: center; background-color: rgb(221, 221, 238); "><font size="2">University of Dundee)</font></span></font></li><span class="HOEnZb" style="font-size: 13px; "><font color="#888888" face="courier new, courier, monaco, monospace, sans-serif"><li style="margin-left: 15px; ">Neda Saeedloei</li></font></span></ul></div></div><br class="Apple-interchange-newline"></div></body></html>