[Prev][Next][Index][Thread]

FLOPS2004 First Call for Papers



***********************************************************************
*                                                                     *
*                          CALL FOR PAPERS                            *
*                                                                     *
* Seventh International Symposium on Functional and Logic Programming *
*                          (FLOPS 2004)                               *
*                                                                     *
*               Nara-Ken New Public Hall, Nara, Japan                 *
*                         April 7-9, 2004                             *
*                                                                     *
*             (http://logic.is.tsukuba.ac.jp/FLOPS2004/)              *
*                                                                     *
***********************************************************************

Background
==========
The symposium is a forum for research on all issues concerning
functional programming and logic programming.  In particular, it wants
to stimulate the cross-fertilization as well as integration of the two
paradigms.  The symposium takes place about every 1.5 years in Japan.
Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village
(1996), Kyoto(1998), Tsukuba (1999), Tokyo (2001) and Aizu (2002).

Topics
======

The Seventh International Symposium on Functional and Logic Programming
(FLOPS 2004) 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, industrial applications,
    graphical user interfaces, internet applications,
    database connection, formal methods and model checking

Invited Speakers
================

The following three distinguished researchers have accepted to give 
invited talks at FLOPS 2004.

  * Masami Hagiya 	University of Tokyo
  * Carsten Schuermann 	Yale University
  * Peter Selinger 	University of Ottawa

Submissions
===========

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).

Submission is Web-based. In order to submit a paper, authors should fill 
in the submission form available at

       http://logic.is.tsukuba.ac.jp/FLOPS2004/submission.html
             
where more detailed instructions are given.  If submission through the 
Web is not possible, five hard copies may be sent to

	Yukiyoshi Kameyama
       	Institute of Information Sciences and Electronics
	University of Tsukuba 
        Tennodai 1-1-1, Tsukuba, 305-8573, JAPAN 
                    
Publication and presentation of accepted contributions
======================================================

The Proceedings of FLOPS 2004 will be published by Springer Verlag in
the Lecture Notes in Computer Science (LNCS) series. LNCS is published, 
in parallel to the printed books, in full-text electronic version and 
final versions of the papers will need to be provided electronically 
including the source files.  Proceedings will be available at the 
conference.  One author of each accepted contribution is expected to 
attend the Symposium in order to present it. 

Important Dates
===============

Submission Deadline:     October   1, 2003        
Notification:            December 15, 2003            
Final Version:           January  15, 2004           
Symposium:               April   7-9, 2004  

Program Co-Chairs
=================

Yukiyoshi Kameyama      University of Tsukuba, Japan
Peter J. Stuckey	University of Melbourne, Australia

E-Mail:                 flops@logic.is.tsukuba.ac.jp

Program Committee
=================

Francois Fages 		INRIA Rocquencourt
Herman Geuvers 		Nijmegen University
Michael Hanus        	University of Kiel
Martin Hofmann		University of Muenchen
Haruo Hosoya		Kyoto University
Yukiyoshi Kameyama     	University of Tsukuba
Naoki Kobayashi    	Tokyo Institute of Technology
John Lloyd 		Australian National University 
Aart Middeldorp		University of Tsukuba
Atsushi Ohori		JAIST
German Puebla		Technical University of Madrid
Morten Rhiger		IT-University of Copenhagen
Amr Sabry		Indiana University
Peter J. Stuckey	University of Melbourne
Martin Sulzmann		National University of Singapore
Kazunori Ueda		Waseda University
Philip Wadler		Avaya Labs

Local Arrangements Chair
========================

Jacques Garrigue	Kyoto University
 
Sponsors
========
 
FLOPS2004 is supported by 

  Japan Society of Software Science and Technology (JSSST), 
  Association for Logic Programming (ALP), and 
  Asian Association for Foundation of Software (AAFS) [planed].