[TYPES] FLOPS 2006 Deadline Extended to November 18

Yoshihiko Kakutani kakutani at is.s.u-tokyo.ac.jp
Fri Nov 11 07:09:43 EST 2005

Due to the conflict with some other conferences,
we have postponed the deadline to November 18.
Our apologies for the late change in plan.

-- Masami Hagiya and Philip Wadler


                            Call For Papers
    Eighth International Symposium on Functional and Logic Programming
                              FLOPS 2006
                              April 24-26
                          Fuji Susono, JAPAN
                    Submission deadline: November 18 ****EXTENDED****

  FLOPS is a forum for research on all issues concerning declarative
  programming, including functional programming and logic programming,
  and aims to promote cross-fertilization between the two paradigms.
  Previous FLOPS meetings were held in Fuji Susono (1995), Shonan
  Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu
  (2002), and Nara (2004).


  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

    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.

  For 2006, we wish to particularly encourage papers on new
  application areas, including security, bioinformatics, and quantum
  computation.  The proceedings will be published as a LNCS volume.
  The proceedings of the previous meeting (FLOPS2004) were published
  as LNCS2998.


  Peter Van Roy (Louvain, Belgium)
  Guy Steele (Sun Microsystems, Massachusetts, US)


  Philip Wadler (Edinburgh, UK)
  Masami Hagiya (Tokyo, Japan)


  Vincent Danos (Paris, France) 
  Jacques Garrigue (Nagoya, Japan) 
  Manuel Hermenegildo (New Mexico, US & Madrid, Spain) 
  Gabrielle Keller (UNSW, Sydney, Australia) 
  Michael Rusinowitch (INRIA Lorraine, France) 
  Konstantinos Sagonas (Uppsala, Sweden) 
  Ken Satoh (NII, Tokyo, Japan) 
  Peter Selinger (Dalhousie, Canada) 
  Eijiro Sumii (Tohoku, Japan) 
  Naoyuki Tamura (Kobe, Japan) 
  Peter Thiemann (Freiburg, Germany) 
  David Warren (Stony Brook, US) 


  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

  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).  Submission is Web-based.  Please visit
  or directly


  Submission deadline: November 18  ****EXTENDED****
  Author notification: January 6
  Camera-ready copy: January 20


  The meeting will be held at Fuji Institute of Education and Training
  (http://www.fujiken.gr.jp/) located in Fuji Susono, JAPAN, where the
  first FLOPS was held.  It is famous of its view to Mt. Fuji.

Previous FLOPS:

  FLOPS 2004, Nara: http://logic.is.tsukuba.ac.jp/FLOPS2004/
  FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/
  FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/


  University of Tokyo


  Japan Society for Software Science and Technology (JSSST)
  Association for Logic Programming (ALP)
  Asian Association for Foundation of Software (AAFS)


  Masami Hagiya: hagiya at is.s.u-tokyo.ac.jp

More information about the Types-list mailing list