<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:dt="uuid:C2F41010-65B3-11d1-A29F-00AA00C14882" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 12 (filtered medium)">
<style>
<!--
 /* Font Definitions */
 @font-face
        {font-family:SimSun;
        panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
        {font-family:Tahoma;
        panose-1:2 11 6 4 3 5 4 4 2 4;}
@font-face
        {font-family:"\@SimSun";
        panose-1:2 1 6 0 3 1 1 1 1 1;}
 /* Style Definitions */
 p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
p.MsoAcetate, li.MsoAcetate, div.MsoAcetate
        {mso-style-priority:99;
        mso-style-link:"Balloon Text Char";
        margin:0cm;
        margin-bottom:.0001pt;
        font-size:8.0pt;
        font-family:"Tahoma","sans-serif";}
span.EmailStyle17
        {mso-style-type:personal-compose;
        font-family:"Calibri","sans-serif";
        color:windowtext;}
span.BalloonTextChar
        {mso-style-name:"Balloon Text Char";
        mso-style-priority:99;
        mso-style-link:"Balloon Text";
        font-family:"Tahoma","sans-serif";}
.MsoChpDefault
        {mso-style-type:export-only;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
        {page:WordSection1;}
-->
</style><!--[if gte mso 9]><xml>
 <o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
 <o:shapelayout v:ext="edit">
  <o:idmap v:ext="edit" data="1" />
 </o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal">Apologies for cross posting.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Gergely<o:p></o:p></p>
<p class="MsoNormal">                                                                    
<o:p></o:p></p>
<p class="MsoNormal">                                             <o:p></o:p></p>
<p class="MsoNormal">=========================================================================<o:p></o:p></p>
<p class="MsoNormal">                                                 CALL FOR PARTICIPATION<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">     28th International Conference on Logic Programming (ICLP 2012)<o:p></o:p></p>
<p class="MsoNormal">                                Theory and Practice of Logic Programming<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">                                 Budapest, Hungary, September 4-8, 2012<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">                                     http://www.cs.bme.hu/iclp2012/<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">=========================================================================<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">REGISTRATION<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Registration Site is now open at:<o:p></o:p></p>
<p class="MsoNormal">http://www.cs.bme.hu/iclp2012/Registration.html<o:p></o:p></p>
<p class="MsoNormal">Early registration is until July 13, 2012.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">ACCOMMODATION<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Information on hotels is available on the homepage: <o:p></o:p></p>
<p class="MsoNormal">http://www.cs.bme.hu/iclp2012/HotelInfo.html<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">CONFERENCE SCOPE<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Since the first conference held in Marseille in 1982, ICLP has been<o:p></o:p></p>
<p class="MsoNormal">the premier international conference for presenting research in logic<o:p></o:p></p>
<p class="MsoNormal">programming. This year conference will offer invited talks and<o:p></o:p></p>
<p class="MsoNormal">tutorials, as well as technical presentations on the broad spectrum of<o:p></o:p></p>
<p class="MsoNormal">most recent research topics in the field. The conference will also<o:p></o:p></p>
<p class="MsoNormal">host Doctoral Consortium, several workshops, and a Prolog programming<o:p></o:p></p>
<p class="MsoNormal">contest.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">WORKSHOPS<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">   * Answer Set Programming and Other Computing Paradigms (ASPOCP 2012),
<o:p></o:p></p>
<p class="MsoNormal">     September 4<o:p></o:p></p>
<p class="MsoNormal">   * 9th International Workshop on Constraint Handling Rules (CHR 2012),
<o:p></o:p></p>
<p class="MsoNormal">     September 4<o:p></o:p></p>
<p class="MsoNormal">   * 12th International Colloquium on Implementation of Constraint and<o:p></o:p></p>
<p class="MsoNormal">     LOgic Programming Systems (CICLOPS 2012), September 4<o:p></o:p></p>
<p class="MsoNormal">   * WG17, September 4-5<o:p></o:p></p>
<p class="MsoNormal">   * 22nd Workshop on Logic-based methods in Programming Environments
<o:p></o:p></p>
<p class="MsoNormal">     (WLPE 2012), September 8<o:p></o:p></p>
<p class="MsoNormal">   * Constraint Based Methods for Bioinformatics (WCB'12), September 8<o:p></o:p></p>
<p class="MsoNormal">   * Coinductive Logic Programming (Co-LP), September 8<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Workshops are perhaps the best places for the presentation of<o:p></o:p></p>
<p class="MsoNormal">preliminary work, undeveloped novel ideas, and new open problems to a<o:p></o:p></p>
<p class="MsoNormal">wide and interested audience with opportunities for intensive<o:p></o:p></p>
<p class="MsoNormal">discussions and project collaboration.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">DOCTORAL CONSORTIUM<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The 8th Doctoral Consortium (DC) on Logic Programming provides<o:p></o:p></p>
<p class="MsoNormal">research students with the opportunity to present and discuss their<o:p></o:p></p>
<p class="MsoNormal">research directions, and to obtain feedback from both peers and<o:p></o:p></p>
<p class="MsoNormal">world-renown experts in the field. Accepted participants receives<o:p></o:p></p>
<p class="MsoNormal">partial financial support to attend the event and the main<o:p></o:p></p>
<p class="MsoNormal">conference. The best paper and presentation from the DC is given<o:p></o:p></p>
<p class="MsoNormal">the opportunity to present in a special session of the main ICLP<o:p></o:p></p>
<p class="MsoNormal">conference.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">INVITED TALKS<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">   * Ferenc Darvas (http://www.thalesnano.com/board_of_directors)<o:p></o:p></p>
<p class="MsoNormal">     "Several Applications of Logic Programming in Hungary"<o:p></o:p></p>
<p class="MsoNormal">    <o:p></o:p></p>
<p class="MsoNormal">   * Jan Wielemaker (http://www.cs.vu.nl/~janw/) <o:p></o:p></p>
<p class="MsoNormal">     "25 years of SWI Prolog"<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">   * Mike Elston (http://www.securitease.com/) on<o:p></o:p></p>
<p class="MsoNormal">     "Applications of Prolog and CHR to stock brokering tools"<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">   * Invited author(s) of the most influencial paper of ICLP/ILPS 1992<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">   * Invited author(s) of the most influencial paper of ICLP 2002<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">TUTORIAL<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">   * Viviana Mascardi (http://www.disi.unige.it/person/MascardiV/)
<o:p></o:p></p>
<p class="MsoNormal">     "Logic-based Agents and the Semantic Web"<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">FINANCIAL ASSISTANCE<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The Association for Logic Programming has funds to assist financially<o:p></o:p></p>
<p class="MsoNormal">disadvantaged participants and, specially, students in order to be<o:p></o:p></p>
<p class="MsoNormal">able to attend the conference. For information, please contact the<o:p></o:p></p>
<p class="MsoNormal">organizers of the Doctoral Consortium and the General Chair.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">HOTELS<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">See http://www.cs.bme.hu/iclp2012/HotelInfo.html.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">CONFERENCE VENUE<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The Conference will be located in Tulip Inn Budapest Millennium. Budapest<o:p></o:p></p>
<p class="MsoNormal">is in the center of Hungary, in the heart of Central Europe. Hungary is<o:p></o:p></p>
<p class="MsoNormal">member of the European Union and belongs to the Schengen area.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Hungary is well-served by transport links from abroad. The main<o:p></o:p></p>
<p class="MsoNormal">international airport is Budapest Ferihegy. Budapest is linked to 15<o:p></o:p></p>
<p class="MsoNormal">European capitals by train, directly or indirectly; e.g. a<o:p></o:p></p>
<p class="MsoNormal">Wien-Budapest trip is less than 3 hours.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">SPONSORS<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The conference is sponsored by the Association for Logic Programming (ALP),<o:p></o:p></p>
<p class="MsoNormal">the Artificial Intelligence Section of the John von Neumann Computer<o:p></o:p></p>
<p class="MsoNormal">Society and by AIT-Budapest (Aquincum Institute of Technology).<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">ICLP 2012 ORGANIZATION<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">General Chair: Péter Szeredi (Budapest Univ. of Technology and Economics)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Program Comittee Chairs: <o:p></o:p></p>
<p class="MsoNormal">                Agostino Dovier (Univ. of Udine), <o:p></o:p></p>
<p class="MsoNormal">                Vítor Santos Costa (Univ. of Porto) <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Workshop Chair: Mats Carlsson (SICS, Sweden)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Doctoral Consortium Chairs: <o:p></o:p></p>
<p class="MsoNormal">        Marco Gavanelli (Univ. of Ferrara), <o:p></o:p></p>
<p class="MsoNormal">                Stefan Woltran (Vienna University of Technology)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Prolog Programming Contest Chair: Tom Schrijvers (Universiteit Gent)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Publicity Chair: Gergely Lukácsy (Cisco Systems Inc.)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Web Manager: János Csorba (Budapest Univ. of Technology and Economics)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>