FIRST CALL for PAPERS -- FLOPS2004
pjs@cs.mu.oz.au
pjs@cs.mu.oz.au
Tue, 29 Apr 2003 09:05:08 +1000
------- Blind-Carbon-Copy
X-Mailer: exmh version 2.5 10/15/1999 with version: MH 6.8.4 #1[UCI]
To: pjs@cs.mu.oz.au
Subject: FIRST CALL for PAPERS -- FLOPS2004
From: pjs@cs.mu.oz.au
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Tue, 29 Apr 2003 09:05:08 +1000
Message-ID: <16046.1051571108@muldi.cs.mu.oz.au>
Sender: pjs@muldi.cs.mu.oz.au
Apologies if you recieve this mail more than once.
- --------------------------------------------------
***********************************************************************
* *
* 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].
------- End of Blind-Carbon-Copy