From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.4 required=5.0 tests=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 06D19BC37 for ; Wed, 13 May 2009 22:47:42 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AisFABvPCkqAhwi6/2dsb2JhbACCJyyEc5AZt3WEAgWHZw X-IronPort-AV: E=Sophos;i="4.41,190,1241388000"; d="scan'208,217";a="26121722" Received: from nagoya.uchicago.edu ([128.135.8.186]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 May 2009 22:47:40 +0200 Received: from hana.uchicago.edu (hana.uchicago.edu [128.135.8.122]) (authenticated bits=0) by nagoya.uchicago.edu (8.12.8/8.12.8) with ESMTP id n4DKk3Gl005146 for ; Wed, 13 May 2009 15:47:39 -0500 Message-Id: <74B9D9AE-F967-4B64-B3C1-272F283ABB43@tti-c.org> From: Matthias Blume To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=Apple-Mail-3--200029555 Mime-Version: 1.0 (Apple Message framework v935.3) Subject: FLOPS 2010: Preliminary Call for Papers Date: Wed, 13 May 2009 15:47:39 -0500 X-Mailer: Apple Mail (2.935.3) X-Spam: no; 0.00; blume:01 blume:01 ecei:01 tohoku:01 interfacing:01 semantics:01 compilation:01 parallelism:01 real-world:01 model:01 lncs:01 lncs:01 naoki:01 tohoku:01 chakravarty:01 --Apple-Mail-3--200029555 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit ---------------------------------------------------------------------------- PRELIMINARY CALL FOR PAPERS Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) April 19-21, 2010 Sendai, Japan http://www.kb.ecei.tohoku.ac.jp/flops2010 Submission deadline: October 16, 2009 FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise (2008). TOPICS FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to): Declarative Pearls: new and excellent declarative programs with illustrative applications. Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing. Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems. Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism. Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking. The proceedings are expected to be published as an LNCS volume. The proceedings of the previous meeting (FLOPS 2008) were published as LNCS 4989. INVITED SPEAKERS TBD PC CO-CHAIRS Matthias Blume (TTI, Chicago, USA) German Vidal (Technical University of Valencia, Spain) CONFERENCE CHAIR Naoki Kobayashi (Tohoku University, Sendai, Japan) PC MEMBERS Nick Benton (Microsoft Research, Cambridge, UK) Manuel Chakravarty (University of New South Wales, Australia) Michael Codish (Ben-Gurion University of the Negev, Israel) Bart Demoen (Katholieke Universiteit Leuven, Belgium) Agostino Dovier (University of Udine, Italy) John P. Gallagher (Roskilde University, Denmark) Maria Garcia de la Banda (Monash University, Australia) Michael Hanus (University of Kiel, Germany) Atsushi Igarashi (Kyoto University, Japan) Patricia Johann (Rutgers University, USA) Shin-ya Katsumata (Kyoto University, Japan) Michael Leuschel (University of Dusseldorf, Germany) Francisco Lopez-Fraguas (Complutense University of Madrid, Spain) Paqui Lucio (University of the Basque Country, Spain) Yasuhiko Minamide (University of Tsukuba, Japan) Frank Pfenning (Carnegie Mellon University, USA) Francois Pottier (INRIA, France) Tom Schrijvers (Katholieke Universiteit Leuven, Belgium) Chung-chieh "Ken" Shan (Rutgers University, USA) Zhong Shao (Yale University, USA) Jan-Georg Smaus (University of Freiburg, Germany) Nobuko Yoshida (Imperial College London, UK) LOCAL CHAIR Eijiro Sumii (Tohoku University, Sendai, Japan) SUBMISSION Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. All submissions must be written in English and can be up to 15 proceedings pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a web page, or an appendix). Papers should be submitted electronically at http://www.easychair.org/conferences/?conf=flops2010 IMPORTANT DATES Submission deadlines: - Abstract: October 16, 2009 - Paper: October 23, 2009 Author notification: December 21, 2009 Camera-ready copy: January 24, 2010 Conference: April 19-21, 2010 PLACE Sendai, Japan Some previous FLOPS: FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/ FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/ FLOPS 2004, Nara FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/ FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/ SPONSOR TBA IN COOPERATION with TBA ---------------------------------------------------------------------------- --Apple-Mail-3--200029555 Content-Type: text/html; charset=US-ASCII Content-Transfer-Encoding: quoted-printable
----------------------------------------------------------= ------------------
PRELIMINARY CALL FOR = PAPERS
               =                     =                     =               =  
  Tenth International Symposium on Functional = and Logic Programming
    (FLOPS = 2010)
 April 19-21, = 2010
   Sendai, = Japan

              http://www.kb.ecei.toho= ku.ac.jp/flops2010
               =                     =                     =             =   
Submission deadline: October = 16, 2009
               =                     =                     =             =   
  FLOPS is a forum for research on all issues = concerning declarative
  programming, including functional = programming and logic programming,
  and aims to = promote cross-fertilization and integration between = the
  two paradigms.  Previous FLOPS meetings = were held in Fuji Susono
  (1995), Shonan Village (1996), Kyoto = (1998), Tsukuba (1999), Tokyo
  (2001), Aizu = (2002), Nara (2004), Fuji Susono (2006), and Ise
  (2008).

TOPICS

  FLOPS solicits = original papers in all areas of functional and = logic
  programming, including (but not limited = to):

    Declarative Pearls: new and excellent = declarative programs with
   =  illustrative applications.

    Language = issues: language design and constructs, = programming
    methodology, integration of = paradigms, interfacing with other
    languages, = type systems, constraints, concurrency and = distributed
    computing.

   =  Foundations: logic and semantics, rewrite systems and = narrowing,
    type theory, proof = systems.

    Implementation issues: compilation = techniques, memory management,
    program = analysis and transformation, partial evaluation,
   =  parallelism.

    Applications: case studies, = real-world applications, graphical
    user = interfaces, Internet applications, XML, databases, = formal
    methods and model = checking.

  The proceedings are expected to be published = as an LNCS volume.  The
  proceedings of = the previous meeting (FLOPS 2008) were published = as
  LNCS 4989.

INVITED = SPEAKERS

  TBD

PC = CO-CHAIRS

  Matthias Blume (TTI, Chicago, = USA)
  German Vidal (Technical University of = Valencia, Spain) 

CONFERENCE CHAIR

  Naoki Kobayashi = (Tohoku University, Sendai, Japan)

PC = MEMBERS

  Nick Benton (Microsoft Research, Cambridge, = UK)
  Manuel Chakravarty (University of New South = Wales, Australia)
  Michael Codish (Ben-Gurion University of the = Negev, Israel)
  Bart Demoen (Katholieke Universiteit Leuven, = Belgium)
  Agostino Dovier (University of Udine, = Italy)
  John P. Gallagher (Roskilde University, = Denmark)
  Maria Garcia de la Banda (Monash University, = Australia)
  Michael Hanus (University of Kiel, = Germany)
  Atsushi Igarashi (Kyoto University, = Japan)
  Patricia Johann (Rutgers University, = USA)
  Shin-ya Katsumata (Kyoto University, = Japan)
  Michael Leuschel (University of Dusseldorf, = Germany)
  Francisco Lopez-Fraguas (Complutense = University of Madrid, Spain)
  Paqui Lucio = (University of the Basque Country, Spain)
  Yasuhiko Minamide = (University of Tsukuba, Japan)
  Frank Pfenning = (Carnegie Mellon University, USA)
  Francois Pottier = (INRIA, France)
  Tom Schrijvers (Katholieke Universiteit = Leuven, Belgium)
  Chung-chieh "Ken" Shan (Rutgers University, = USA)
  Zhong Shao (Yale University, = USA)
  Jan-Georg Smaus (University of Freiburg, = Germany)
  Nobuko Yoshida (Imperial College London, = UK)

LOCAL CHAIR
  
  Eijiro Sumii = (Tohoku University, Sendai, Japan)

SUBMISSION

  Submissions must = be unpublished and not submitted for publication
  elsewhere. Work = that already appeared in unpublished or = informally
  published workshops proceedings may be = submitted. Submissions should
  fall into one of = the following categories:

    Regular = research papers: they should describe new results and = will
    be judged on originality, = correctness, and significance.

    System = descriptions: they should contain a link to a = working
    system and will be judged on = originality, usefulness, and design.

  All submissions = must be written in English and can be up to 15
  proceedings pages = long. Authors are strongly encouraged to use
  LaTeX2e and the = Springer llncs class file, available at
  http://www.springer= .de/comp/lncs/authors.html

  Regular research = papers should be supported by proofs and/or
  experimental = results.  In case of lack of space, this = supporting
  information should be made accessible = otherwise (e.g., a link to a
  web page, or an = appendix). Papers should be submitted = electronically 
  at http://www= .easychair.org/conferences/?conf=3Dflops2010

IMPORTANT = DATES

  Submission = deadlines: 
    - Abstract: October 16, = 2009
    - Paper:    October 23, = 2009
  Author notification: December 21, = 2009
  Camera-ready copy: January 24, = 2010
  Conference: April 19-21, = 2010

PLACE

  Sendai, Japan

Some previous = FLOPS:

  FLOPS 2008, Ise: http://www.ma= th.nagoya-u.ac.jp/~garrigue/FLOPS2008/
  FLOPS 2006, Fuji = Susono: http://hagi.is.s.u-toky= o.ac.jp/FLOPS2006/
  FLOPS 2004, Nara
  FLOPS 2002, Aizu: = http://www.ipl.t.u-toky= o.ac.jp/FLOPS2002/
  FLOPS 2001, Tokyo: http://www.ueda.info= .waseda.ac.jp/flops2001/

SPONSOR

  TBA

IN COOPERATION = with

  TBA

----------------------------------------------------------= ------------------

= --Apple-Mail-3--200029555--