<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>