<div dir="ltr"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">======</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">==============================</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">               <span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">: Call for Papers</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">======</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">==============================</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">                   26th International Workshop on</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">               Functional and Logic Programming</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">                            <span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">       <span> </span></span><a class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-m_225206412627653359moz-txt-link-freetext" href="http://ppdp-lopstr-18.cs.uni-frankfurt.de/wflp18.html" target="_blank" style="font-family:arial,sans-serif;color:rgb(17,85,204);text-decoration:none;font-size:12.8px">http://ppdp-lopstr-18.cs.uni-frankfurt.de/wflp18.html</a><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">               Frankfurt, Germany, September 6,<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">            (co-located with PPDP<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>and LOPSTR<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">)</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">The international Workshop on Functional and (constraint) Logic</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Programming (</span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">) aims at bringing together researchers, students, and</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">practitioners interested in functional programming, logic programming,</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">and their integration.<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>has a reputation for being a lively and</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">friendly forum, and it is open for presenting and discussing work in</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">progress, technical contributions, experience reports, experiments,</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">reviews, and system descriptions.</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">The 26th International Workshop on Functional and (constraint) Logic</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Programming (</span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">) will be held at the Goethe-University Frankfurt</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">am Main, Germany. Previous<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>editions were<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2017 (Würzburg, Germany),</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2016 (Leipzig, Germany),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2014 (Wittenberg, Germany),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2013</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">(Kiel, Germany),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2012 (Nagoya, Japan),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2011 (Odense, Denmark),</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2010 (Madrid, Spain),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2009 (Brasilia, Brazil),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2008 (Siena,</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Italy),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2007 (Paris, France),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2006 (Madrid, Spain), WCFLP</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">2005 (Tallinn, Estonia),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2004 (Aachen, Germany),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2003</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">(Valencia, Spain),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2002 (Grado, Italy),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2001 (Kiel, Germany),</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>2000 (Benicassim, Spain),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">'99 (Grenoble, France),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">'98 (Bad</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Honnef, Germany),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">'97 (Schwarzenberg, Germany),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">'96 (Marburg,</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Germany),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">'95 (Schwarzenberg, Germany),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">'94 (Schwarzenberg,</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Germany),<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">'93 (Rattenberg, Germany), and<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">'92 (Karlsruhe,</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Germany).</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>will be co-located with PPDP<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span>(International Symposium on</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Principles and Practice of Declarative Programming) and LOPSTR<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">(International Symposium on Logic-Based Program Synthesis and</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Transformation.</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">The topics of interest cover all aspects of functional ang logic</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">programming. They include (but are not limited to):</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Functional programming</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Logic programming</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Constraint programming</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Deductive databases, data mining</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Extensions of declarative languages, objects</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Multi-paradigm declarative programming</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Foundations, semantics, non-monotonic reasoning, dynamics</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Parallelism, concurrency</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Program analysis, abstract interpretation</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * program and model manipulation</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Program transformation, partial evaluation, meta-programming</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Specification, verification</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Debugging, testing</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Knowledge representation, machine learning</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Interaction of declarative programming with other formalisms</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Implementation of declarative languages</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Advanced programming environments and tools</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Software techniques for declarative programming</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> * Applications</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">The primary focus is on new and original research results, but</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">submissions describing innovative products, prototypes under development,</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">application systems, or interesting experiments (e.g., benchmarks) are</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">also encouraged. Survey papers that present some aspects of the above</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">topics from a new perspective, and experience reports are also welcome.</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Papers must be written and presented in English. Work that already</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">appeared in unpublished or informally published workshop proceedings may</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">be submitted (please contact the PC chair in case of questions).</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Important Dates</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> Abstract submission:                   </span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">           June 27,<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> Paper submission:                   </span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">              July 2,<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> Notification:                </span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">                     July 27,<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> Camera-ready (for electronic pre-proceedings):    August 24,<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"> Workshop:                    </span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">                     September 6,<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Submission Guidelines</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Submission is via Easychair submission website for<span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">WFLP</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline"><span> </span></span><span class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-il" style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px">2018</span><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">:</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><a class="gmail-m_-3360021288568658200m_-6562094368952485456gmail-m_5798192494619580187gmail-m_3793733351406936646gmail-m_225206412627653359moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=wflp2018" target="_blank" style="font-family:arial,sans-serif;color:rgb(17,85,204);text-decoration:none;font-size:12.8px">https://easychair.org/conferences/?conf=wflp2018</a><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Authors are invited to submit papers in the following categories:</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Regular research paper</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Work-in-progress report</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ System description</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Regular research papers must describe original work, be written and</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">presented in English, and must not substantially overlap with papers</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">that have been formally published or that are simultaneously submitted</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">to a journal, conference, or workshop with formal proceedings. They will</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">be judged on the basis of significance, relevance, correctness,</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">originality, and clarity. For work-in-progress reports and system</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">descriptions, less formal rules apply, and presentation-only submissions</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">(talk and discussion, but no paper in the formal proceedings) are</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">possible. Please contact the PC chair with any questions.</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">All submissions must be formatted in the Lecture Notes in Computer<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Science style. Submissions cannot exceed 15 pages including references<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">but excluding well-marked appendices not intended for publication.<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Reviewers are not required to read the appendices, and thus papers should<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">be intelligible without them. However, all submissions (especially<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">work-in-progress reports and system descriptions) may be considerably<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">shorter than 15 pages.</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Proceedings</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">All papers accepted for presentation at the conference will be published<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">in informal proceedings publicly available at the Computing Research<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Repository. According to the program committee reviews, submissions can be<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">directly accepted for publication in the formal post-conference proceedings.</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">The formal post-conference proceedings will be published in both electronic<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">and paper formats by Springer in the Lecture Notes in Computer Science series.</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">After the conference, all authors accepted only for presentation will be<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">invited to revise and/or extend their submissions in the light of the feedback<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">solicited at the conference. Then, after another round of reviewing, these<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">revised papers may also be published in the formal proceedings.</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Therefore, all accepted papers will be published in open-access, and the<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">authors can also decide to publish their work in the Springer LNCS formal<span> </span></span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">proceedings.</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Program Committee</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Slim Abdennadher, German University in Cairo, Egypt</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Maria Alpuente, Universitat Politècnica de València, Spain</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Sergio Antoy, Portland State University, USA</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Olaf Chitil, University of Kent, UK</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Maria del Mar Gallardo, Universidad de Málaga, Spain</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Michael Hanus, University of Kiel, Germany</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Herbert Kuchen, University of Münster, Germany</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Kostis Sagonas, Uppsala University, Sweden</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Tom Schrijvers, Katholieke Universiteit Leuven, Belgium</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Sibylle Schwarz, HTWK Leipzig, Germany</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Martina Seidl, Johannes Kepler University Linz, Austria</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Dietmar Seipel, University of Würzburg, Germany</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Josep Silva, Universitat Politècnica de València, Spain     (Program Chair)</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Salvador Tamarit, Universidad Politécnica de Madrid, Spain</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Janis Voigtländer, University of Duisburg-Essen, Germany</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">+ Johannes Waldmann, HTWK Leipzig, Germany</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">Organizing Committee</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">    David Sabel (General Chair), Computer Science Institute</span><br style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px"><span style="font-family:arial,sans-serif;text-decoration-style:initial;text-decoration-color:initial;font-size:12.8px;float:none;display:inline">    Goethe-University Frankfurt am Main, Germany</span><br></div>