<div dir="ltr">




<span></span>





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


<br></div>