[Prev][Next][Index][Thread]
FLOPS'98 Call for Papers
Dear Moderator of the TYPES list,
Please post the following call for papers for the Third Fuji
International Symposium on Functional and Logic Programming. Topics
of interest include: formal semantics, program transformation,
integration of programming paradigms, concurrency and parallelism.
These topics are closely related to type systems and we solicit
submission of original papers from the readers of the TYPES list.
Masahiko Sato
---------------------------------------------------------------------------
CALL FOR PAPERS
The Third Fuji International Symposium on
Functional and Logic Programming
April 2 - 4, 1998, Kyoto, Japan
The symposium is a forum to present and discuss various issues
concerning with functional programming, logic programming and
integration of the two. In addition to regular paper presentations,
invited talks will be scheduled. This year's symposium is the
continuation of the successful workshops on functional and logic
programming which took place in 1995 at Fuji Susono and in 1996 at
Shonan Village, Japan. The symposium will be sponsored by Japan
Society for Software Science and Technology.
Original papers, as well as technical expository ones, are solicited.
Topics of interest include, but are not limited to, the following:
Language design Formal semantics
Compilation techniques Program transformation
Programming methods Integration of programming paradigms
Constraint solving Concurrency and parallelism
User interface Applications
Authors should submit their manuscripts in Postscript format by e-mail
no later than
September 20, 1997.
The e-mail address for submission is
fuji@kuis.kyoto-u.ac.jp
The manuscripts should be written in English, not exceeding 10 pages.
The results must be unpublished and not submitted for publication
elsewhere, including the proceedings of other symposia or workshops.
The submissions are judged on relevance, originality, significance,
correctness and clarity. Notification of acceptance or rejection will
be made by
November 30, 1997.
Full versions of the accepted papers (following the guidelines set by
the program committee) are due by
January 7, 1998.
The proceedings will be published by World Scientific, Singapore.
For more information, please see the web page at
http://www.sato.kuis.kyoto-u.ac.jp/fuji/
We note that the International Conference on Rewriting Techniques and
Applications (RTA '98) will be held from March 30 to April 1, 1998 at
University of Tsukuba, Japan. It is therefore possible to attend both
meetings.
Program Co-Chairs:
Masahiko Sato Yoshihito Toyama
Department of Graduate School of
Information Science Information Science
Kyoto University Japan Advanced Institute of
Science and Technology
masahiko@kuis.kyoto-u.ac.jp toyama@jaist.ac.jp
Program Committee:
Peter Dybjer, Chalmers U. of Technology Masami Hagiya, U. of Tokyo
Susumu Hayashi, Kobe U. Tetsuo Ida, U. of Tsukuba
Joxan Jaffar, National U. of Singapore Aart Middeldorp, U. of Tsukuba
Atsushi Ohori, Kyoto U. Masahiko Sato, Kyoto U.
Akihiko Takano, Hitachi Yoshihito Toyama, JAIST
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% LaTeX version of CFP
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentstyle[12pt]{article}
\pagestyle{empty}
\setlength{\oddsidemargin}{-6mm}
\setlength{\textwidth}{169mm}
\setlength{\textheight}{240mm}
%\setlength{\topmargin}{-6mm}
\setlength{\topmargin}{-10mm}
\setlength{\headsep}{-2mm}
\begin{document}
\begin{center}
\large{\bf CALL FOR PAPERS}\\
\bigskip
\large{The Third Fuji International Symposium on}\\
\Large{\bf Functional and Logic Programming}\\
\medskip
\large{April 2--4, 1998, Kyoto, Japan}\\
\end{center}
\medskip
\noindent
The symposium is a forum to present and discuss various
issues concerning with functional programming, logic programming and
integration of the two.
In addition to regular paper presentations,
invited talks will be scheduled.
This year's symposium is the continuation of
the successful workshops
on functional and logic programming which took place
in 1995 at Fuji Susono and in 1996 at Shonan Village, Japan.
The symposium
will be sponsored by
Japan Society for Software Science and Technology.
\medskip
Original papers, as well as technical expository ones, are solicited.
Topics of interest include, but are not limited to, the following:
\begin{center}
\begin{tabular}{l@{\hspace*{1.5cm}}l}
Language design & Formal semantics\\
Compilation techniques & Program transformation\\
Programming methods & Integration of programming paradigms\\
Constraint solving & Concurrency and parallelism\\
User interface & Applications
\end{tabular}
\end{center}
Authors should submit their manuscripts in Postscript format
by e-mail no later than {\bf September 20, 1997}.
The e-mail address for submission is
\,{\bf fuji@kuis.kyoto-u.ac.jp}.
The manuscripts should be written in English, not exceeding 10 pages.
The results must be unpublished and not submitted for
publication elsewhere,
including the proceedings of other symposia or workshops.
The submissions are judged on relevance, originality, significance,
correctness and clarity.
Notification of acceptance or rejection
will be made by {\bf November 30, 1997}.
Full versions of the accepted papers
(following the guidelines set by the program committee) are
due by {\bf January 7, 1998}.
The proceedings will be published
by World Scientific, Singapore.
For more information, please see the web page at
\,{\bf http://www.sato.kuis.kyoto-u.ac.jp/fuji/}.
\medskip
We note that
the International Conference on Rewriting Techniques and
Applications (RTA '98) will be held from March 30 to April 1, 1998
at University of Tsukuba, Japan.
It is therefore possible to attend both meetings.
\bigskip
\noindent
{\bf Program Co-Chairs:}\\
\begin{tabular}{l@{\hspace*{1cm}}l}
Masahiko Sato & Yoshihito Toyama \\
Department of
Information Science & Graduate School of
Information Science \\
Kyoto University & Japan Advanced Institute of
Science and Technology \\
{\tt masahiko@kuis.kyoto-u.ac.jp}
& {\tt toyama@jaist.ac.jp} \\
\end{tabular}
\bigskip
\noindent
{\bf Program Committee:}\\
\begin{tabular}{l@{\hspace*{1cm}}l}
Peter Dybjer (Chalmers U. of Technology)
& Masami Hagiya (University of Tokyo) \\
Susumu Hayashi (Kobe University)
& Tetsuo Ida (University of Tsukuba) \\
Joxan Jaffar (National U. of Singapore)
& Aart Middeldorp (University of Tsukuba) \\
Atsushi Ohori (Kyoto University)
& Masahiko Sato (Kyoto University) Co-Chair \\
Akihiko Takano (Hitachi)
& Yoshihito Toyama (JAIST) Co-Chair
\end{tabular}
\end{document}