<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" 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=utf-8"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@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;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
p.gmail-m8087755101671921223gmail-msolistparagraph, li.gmail-m8087755101671921223gmail-msolistparagraph, div.gmail-m8087755101671921223gmail-msolistparagraph
{mso-style-name:gmail-m_8087755101671921223gmail-msolistparagraph;
mso-margin-top-alt:auto;
margin-right:0in;
mso-margin-bottom-alt:auto;
margin-left:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style></head><body lang=EN-US link="#0563C1" vlink="#954F72"><div class=WordSection1><p class=MsoNormal style='text-align:justify;background:white'><b><span style='font-family:"Times New Roman",serif;color:black'>ICLP-DC 2018 - 14th Doctoral Consortium (DC) on Logic Programming</span></b><span style='font-family:"Times New Roman",serif;color:black'><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'><a href="https://www.cs.nmsu.edu/ALP/iclp2018/Proceedings/ICLP_DC.html" target="_blank">https://www.cs.nmsu.edu/ALP/iclp2018/Proceedings/ICLP_DC.html</a><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><b><span style='font-family:"Times New Roman",serif;color:black'>Call for Applications</span></b><span style='font-family:"Times New Roman",serif;color:black'><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>The 14th Doctoral Consortium (DC) on Logic Programming will be held in conjunction with ICLP 2018 and FLoC 2018. It provides a forum for students working in areas related to logic and constraint programming, with a particular emphasis to students interested in pursuing a career in academia. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts.<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><b><span style='font-family:"Times New Roman",serif;color:black'>Goals</span></b><span style='font-family:"Times New Roman",serif;color:black'><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master’s program and aiming at doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC.<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback,<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>provide students with relevant information about important issues for doctoral candidates and future academics,<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>develop a supportive community of scholars and a spirit of collaborative research, and<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Applicants are expected to conduct research in areas related to logic and constraint programming. Topics included, but not limited to:<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>Theoretical Foundations of Logic and Constraint Logic Programming<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>Sequential and Parallel Implementation Technologies<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming)<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>Innovative Applications of Logic Programming<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Submissions by students who have presented their work at previous ICLP DC editions<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>are allowed, but should occur only if there are substantial changes or improvements to<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>the student’s work.<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><b><span style='font-family:"Times New Roman",serif;color:black'>Discussants</span></b><span style='font-family:"Times New Roman",serif;color:black'><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>The DC allows participants to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited talks. Each participant will give a short, critiqued, research presentation. Renowned experts in the field will evaluate submission packages and participate in the DC, providing valuable feedback to DC participants.<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><b><span style='font-family:"Times New Roman",serif;color:black'>Important Dates</span></b><span style='font-family:"Times New Roman",serif;color:black'><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Submission deadline: April 15, 2018<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Notification of acceptance: May 15, 2018<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Camera-ready due: May 25, 2018<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>14th ICLP DC : July 18, 2018<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><b><u><span style='font-family:"Times New Roman",serif;color:black'>Submission Details</span></u></b><span style='font-family:"Times New Roman",serif;color:black'><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><b><span style='font-family:"Times New Roman",serif;color:black'>Research summary</span></b><span style='font-family:"Times New Roman",serif;color:black'><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Prepare your research summary as a PDF document, using the OpenAccess Series in Informatics (OASIcs) format (template available here: <a href="http://www.dagstuhl.de/publikationen/oasics/anleitung-fuer-autoren/" target="_blank">http://www.dagstuhl.de/publikationen/oasics/anleitung-fuer-autoren/</a> ) and submitted via EasyChair: <a href="https://easychair.org/conferences/?conf=iclpdc2018" target="_blank">https://easychair.org/conferences/?conf=iclpdc2018</a> . The body of the research summary should provide a clear overview of your research, its potential impact, and its current<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>status. You are encouraged to include sections like the following:<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>Introduction and problem description<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>Background and overview of the existing literature<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>Goal of the research<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>Current status of the research<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>Preliminary results accomplished (if any)<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>Open issues and expected achievements<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>Bibliographical references<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>All papers must be written in English and should be between 5 and 10 pages. Accepted DC papers will be published as technical communications (TCs) by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs): <a href="http://www.dagstuhl.de/publikationen/oasics/" target="_blank">http://www.dagstuhl.de/publikationen/oasics/</a> .<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><b><span style='font-family:"Times New Roman",serif;color:black'>Cover Letter</span></b><span style='font-family:"Times New Roman",serif;color:black'><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Please include the following information in a cover letter:<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>statement of interest in participating in the DC,<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>full name of school and department to which you are affiliated,<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>name(s) of your supervising professor(s),<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>title of your research work and keywords pertinent to your research,<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>current stage in your program of study (e.g. Ph.D./MS student, start date),<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>contact information (full name, address, telephone number, email address), and<o:p></o:p></span></p><p class=gmail-m8087755101671921223gmail-msolistparagraph style='mso-margin-top-alt:0in;margin-right:0in;margin-bottom:0in;margin-left:.5in;margin-bottom:.0001pt;text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>·</span><span style='font-size:7.0pt;font-family:"Times New Roman",serif;color:black'> </span><span style='font-size:12.0pt;font-family:"Times New Roman",serif;color:black'>the URL of your web page (if any).<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><b><span style='font-family:"Times New Roman",serif;color:black'>Letter of Recommendation</span></b><span style='font-family:"Times New Roman",serif;color:black'><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Include a short letter of recommendation written by your graduate or thesis adviser(s). Please, invite your adviser(s) to give an indication of the current status of your research and of the expected deadline for thesis submission. In addition, your adviser(s) should briefly describe what she/he hopes you would gain from participation in the DC.<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><b><span style='font-family:"Times New Roman",serif;color:black'>Review Criteria</span></b><span style='font-family:"Times New Roman",serif;color:black'><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports.<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>For all accepted DC papers, the student is required to attend the DC program and give a presentation of 20 minutes followed by discussions.<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><b><span style='font-family:"Times New Roman",serif;color:black'>Financial Support</span></b><span style='font-family:"Times New Roman",serif;color:black'><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>The Association for Logic Programming has funds to assist financially disadvantaged participants and students to enable them to attend the conference. Students are invited to submit to the Doctoral Consortium (within the submission deadline) to receive financial assistance.<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>FLoC has some funds to provide travel grants of up to $1000 (USD) for student attendees of FLoC’18. The application deadline is May, 18 2018. Please see FLoC’18 Travel Support for details about how to apply here: <a href="http://www.floc2018.org/travel-stipend/" target="_blank">http://www.floc2018.org/travel-stipend/</a><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><b><span style='font-family:"Times New Roman",serif;color:black'>Program Committee</span></b><span style='font-family:"Times New Roman",serif;color:black'><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Marina De Vos, University of Bath<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Fabio Fioravanti, University of Chieti-Pescara<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Martin Gebser, Aalto University<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Jose F. Morales, IMDEA Software Research Institute<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Takehide Soh, Information Science and Technology Center, Kobe University<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Frank D. Valencia LIX, Ecole Polytechnique<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><b><span style='font-family:"Times New Roman",serif;color:black'>Program Co-Chairs</span></b><span style='font-family:"Times New Roman",serif;color:black'><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Neda Saeedloei, Southern Illinois University Carbondale, <a href="mailto:neda@cs.siu.edu" target="_blank"><span style='color:#1155CC'>neda@cs.siu.edu</span></a><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'>Paul Fodor, Stony Brook University, <a href="mailto:pfodor@cs.stonybrook.edu" target="_blank"><span style='color:#1155CC'>pfodor@cs.stonybrook.edu</span></a><o:p></o:p></span></p><p class=MsoNormal style='text-align:justify;background:white;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;font-variant-ligatures: normal;word-spacing:0px'><span style='font-family:"Times New Roman",serif;color:black'> <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p> </o:p></span></p></div></body></html>