<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><font class="Apple-style-span" face="Monaco">----------------------------------------------------------------------------</font></div><div><span class="Apple-tab-span" style="white-space:pre"><font class="Apple-style-span" face="Monaco"> </font></span><font class="Apple-style-span" face="Monaco">PRELIMINARY CALL FOR PAPERS</font></div><div><font class="Apple-style-span" face="Monaco"> </font></div><div><font class="Apple-style-span" face="Monaco"> Tenth International Symposium on Functional and Logic Programming</font></div><div><span class="Apple-tab-span" style="white-space:pre"><font class="Apple-style-span" face="Monaco"> </font></span><font class="Apple-style-span" face="Monaco"> (FLOPS 2010)</font></div><div><span class="Apple-tab-span" style="white-space:pre"><font class="Apple-style-span" face="Monaco"> </font></span><font class="Apple-style-span" face="Monaco"> April 19-21, 2010</font></div><div><span class="Apple-tab-span" style="white-space:pre"><font class="Apple-style-span" face="Monaco"> </font></span><font class="Apple-style-span" face="Monaco"> Sendai, Japan</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> <a href="http://www.kb.ecei.tohoku.ac.jp/flops2010">http://www.kb.ecei.tohoku.ac.jp/flops2010</a></font></div><div><font class="Apple-style-span" face="Monaco"> </font></div><div><span class="Apple-tab-span" style="white-space:pre"><font class="Apple-style-span" face="Monaco"> </font></span><font class="Apple-style-span" face="Monaco">Submission deadline: October 16, 2009</font></div><div><font class="Apple-style-span" face="Monaco"> </font></div><div><font class="Apple-style-span" face="Monaco"> FLOPS is a forum for research on all issues concerning declarative</font></div><div><font class="Apple-style-span" face="Monaco"> programming, including functional programming and logic programming,</font></div><div><font class="Apple-style-span" face="Monaco"> and aims to promote cross-fertilization and integration between the</font></div><div><font class="Apple-style-span" face="Monaco"> two paradigms. Previous FLOPS meetings were held in Fuji Susono</font></div><div><font class="Apple-style-span" face="Monaco"> (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo</font></div><div><font class="Apple-style-span" face="Monaco"> (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise</font></div><div><font class="Apple-style-span" face="Monaco"> (2008).</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">TOPICS</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> FLOPS solicits original papers in all areas of functional and logic</font></div><div><font class="Apple-style-span" face="Monaco"> programming, including (but not limited to):</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> Declarative Pearls: new and excellent declarative programs with</font></div><div><font class="Apple-style-span" face="Monaco"> illustrative applications.</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> Language issues: language design and constructs, programming</font></div><div><font class="Apple-style-span" face="Monaco"> methodology, integration of paradigms, interfacing with other</font></div><div><font class="Apple-style-span" face="Monaco"> languages, type systems, constraints, concurrency and distributed</font></div><div><font class="Apple-style-span" face="Monaco"> computing.</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> Foundations: logic and semantics, rewrite systems and narrowing,</font></div><div><font class="Apple-style-span" face="Monaco"> type theory, proof systems.</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> Implementation issues: compilation techniques, memory management,</font></div><div><font class="Apple-style-span" face="Monaco"> program analysis and transformation, partial evaluation,</font></div><div><font class="Apple-style-span" face="Monaco"> parallelism.</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> Applications: case studies, real-world applications, graphical</font></div><div><font class="Apple-style-span" face="Monaco"> user interfaces, Internet applications, XML, databases, formal</font></div><div><font class="Apple-style-span" face="Monaco"> methods and model checking.</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> The proceedings are expected to be published as an LNCS volume. The</font></div><div><font class="Apple-style-span" face="Monaco"> proceedings of the previous meeting (FLOPS 2008) were published as</font></div><div><font class="Apple-style-span" face="Monaco"> LNCS 4989.</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">INVITED SPEAKERS</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> TBD</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">PC CO-CHAIRS</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> Matthias Blume (TTI, Chicago, USA)</font></div><div><font class="Apple-style-span" face="Monaco"> German Vidal (Technical University of Valencia, Spain) </font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">CONFERENCE CHAIR</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> Naoki Kobayashi (Tohoku University, Sendai, Japan)</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">PC MEMBERS</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> Nick Benton (Microsoft Research, Cambridge, UK)</font></div><div><font class="Apple-style-span" face="Monaco"> Manuel Chakravarty (University of New South Wales, Australia)</font></div><div><font class="Apple-style-span" face="Monaco"> Michael Codish (Ben-Gurion University of the Negev, Israel)</font></div><div><font class="Apple-style-span" face="Monaco"> Bart Demoen (Katholieke Universiteit Leuven, Belgium)</font></div><div><font class="Apple-style-span" face="Monaco"> Agostino Dovier (University of Udine, Italy)</font></div><div><font class="Apple-style-span" face="Monaco"> John P. Gallagher (Roskilde University, Denmark)</font></div><div><font class="Apple-style-span" face="Monaco"> Maria Garcia de la Banda (Monash University, Australia)</font></div><div><font class="Apple-style-span" face="Monaco"> Michael Hanus (University of Kiel, Germany)</font></div><div><font class="Apple-style-span" face="Monaco"> Atsushi Igarashi (Kyoto University, Japan)</font></div><div><font class="Apple-style-span" face="Monaco"> Patricia Johann (Rutgers University, USA)</font></div><div><font class="Apple-style-span" face="Monaco"> Shin-ya Katsumata (Kyoto University, Japan)</font></div><div><font class="Apple-style-span" face="Monaco"> Michael Leuschel (University of Dusseldorf, Germany)</font></div><div><font class="Apple-style-span" face="Monaco"> Francisco Lopez-Fraguas (Complutense University of Madrid, Spain)</font></div><div><font class="Apple-style-span" face="Monaco"> Paqui Lucio (University of the Basque Country, Spain)</font></div><div><font class="Apple-style-span" face="Monaco"> Yasuhiko Minamide (University of Tsukuba, Japan)</font></div><div><font class="Apple-style-span" face="Monaco"> Frank Pfenning (Carnegie Mellon University, USA)</font></div><div><font class="Apple-style-span" face="Monaco"> Francois Pottier (INRIA, France)</font></div><div><font class="Apple-style-span" face="Monaco"> Tom Schrijvers (Katholieke Universiteit Leuven, Belgium)</font></div><div><font class="Apple-style-span" face="Monaco"> Chung-chieh "Ken" Shan (Rutgers University, USA)</font></div><div><font class="Apple-style-span" face="Monaco"> Zhong Shao (Yale University, USA)</font></div><div><font class="Apple-style-span" face="Monaco"> Jan-Georg Smaus (University of Freiburg, Germany)</font></div><div><font class="Apple-style-span" face="Monaco"> Nobuko Yoshida (Imperial College London, UK)</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">LOCAL CHAIR</font></div><div><font class="Apple-style-span" face="Monaco"> </font></div><div><font class="Apple-style-span" face="Monaco"> Eijiro Sumii (Tohoku University, Sendai, Japan)</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">SUBMISSION</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> Submissions must be unpublished and not submitted for publication</font></div><div><font class="Apple-style-span" face="Monaco"> elsewhere. Work that already appeared in unpublished or informally</font></div><div><font class="Apple-style-span" face="Monaco"> published workshops proceedings may be submitted. Submissions should</font></div><div><font class="Apple-style-span" face="Monaco"> fall into one of the following categories:</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> Regular research papers: they should describe new results and will</font></div><div><font class="Apple-style-span" face="Monaco"> be judged on originality, correctness, and significance.</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> System descriptions: they should contain a link to a working</font></div><div><font class="Apple-style-span" face="Monaco"> system and will be judged on originality, usefulness, and design.</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> All submissions must be written in English and can be up to 15</font></div><div><font class="Apple-style-span" face="Monaco"> proceedings pages long. Authors are strongly encouraged to use</font></div><div><font class="Apple-style-span" face="Monaco"> LaTeX2e and the Springer llncs class file, available at</font></div><div><font class="Apple-style-span" face="Monaco"> <a href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a></font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> Regular research papers should be supported by proofs and/or</font></div><div><font class="Apple-style-span" face="Monaco"> experimental results. In case of lack of space, this supporting</font></div><div><font class="Apple-style-span" face="Monaco"> information should be made accessible otherwise (e.g., a link to a</font></div><div><font class="Apple-style-span" face="Monaco"> web page, or an appendix). Papers should be submitted electronically </font></div><div><font class="Apple-style-span" face="Monaco"> at <a href="http://www.easychair.org/conferences/?conf=flops2010">http://www.easychair.org/conferences/?conf=flops2010</a></font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">IMPORTANT DATES</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> Submission deadlines: </font></div><div><font class="Apple-style-span" face="Monaco"> - Abstract: October 16, 2009</font></div><div><font class="Apple-style-span" face="Monaco"> - Paper: October 23, 2009</font></div><div><font class="Apple-style-span" face="Monaco"> Author notification: December 21, 2009</font></div><div><font class="Apple-style-span" face="Monaco"> Camera-ready copy: January 24, 2010</font></div><div><font class="Apple-style-span" face="Monaco"> Conference: April 19-21, 2010</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">PLACE</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> Sendai, Japan</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">Some previous FLOPS:</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> FLOPS 2008, Ise: <a href="http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/">http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/</a></font></div><div><font class="Apple-style-span" face="Monaco"> FLOPS 2006, Fuji Susono: <a href="http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/">http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/</a></font></div><div><font class="Apple-style-span" face="Monaco"> FLOPS 2004, Nara</font></div><div><font class="Apple-style-span" face="Monaco"> FLOPS 2002, Aizu: <a href="http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/">http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/</a></font></div><div><font class="Apple-style-span" face="Monaco"> FLOPS 2001, Tokyo: <a href="http://www.ueda.info.waseda.ac.jp/flops2001/">http://www.ueda.info.waseda.ac.jp/flops2001/</a></font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">SPONSOR</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> TBA</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">IN COOPERATION with</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco"> TBA</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div><div><font class="Apple-style-span" face="Monaco">----------------------------------------------------------------------------</font></div><div><font class="Apple-style-span" face="Monaco"><br></font></div></body></html>