Fuji International Workshop on Functional and Logic Programming 
Author Message
 Fuji International Workshop on Functional and Logic Programming

--------------------------------------------------------------------

                        CALL FOR PAPERS

        Fuji International Workshop on Functional and Logic
        Programming

        July 17-19, 1995
        Fuji Susono, Japan

--------------------------------------------------------------------

The workshop is a forum to present and discuss various issues
concerning with functional programming, logic programming and
integration of functional and logic programming.  It is a joint
workshop of the JSSST functional programming workshop 1995 and the
fourth functional-logic programming workshop.

Topics include (but not limited to) the following:

- Language design
- Formal semantics
- Compilation techniques
- Program transformation
- Programming methods
- Integration of programming paradigms
- Constraint solving
- Concurrency
- User interface

Original papers, as well as technical expository ones, are solicited.
Authors should submit an extended abstract (written in English) not
exceeding 10 pages to the program chairman by e-mail no later than
``May 22, 1995''.  The submissions are judged on relevance,
originality, significance, correctness and clarity. Notification of
acceptance or rejection will be made by ``June 23, 1995''.  Electronic
versions of full papers (following guidelines set by the program
committee) should be due by ``July 14, 1995''.  The proceedings is
planned to be published after the workshop.

In addition to regular papers,  invited talks have been scheduled.

Organizing Committee:

- Masami Hagiya (Univ. Tokyo)
- Tetsuo Ida (Univ. Tsukuba)
- Atsushi Ohori (Kyoto Univ.)
- Masato Takeichi (Univ. Tokyo)

Program Committee:

- Keijiro Araki (NAIST)
- Wei-Ngan Chin (National Univ. Singapore)
- Oege de Moor (Oxford Univ.)
- Teruo Hikita (Meiji Univ.)
- Rita Loogen (Univ. Marburg)
- Masahiko Sato (Tohoku Univ.)
- Taisuke Sato (Tokyo Institute of Technology)
- Masato Takeichi (Univ. Tokyo)

General Chair:

        Tetsuo Ida
        Institute of Information Sciences and Electronics
        University of Tsukuba
        Tsukuba 305, Japan
        Telephone: +81-298-53-5533

Program Chair:

        Masato Takeichi
        Department of Mathematical Engineering
        Faculty of Engineering
        University of Tokyo
        Hongo, Bunkyo-ku, Tokyo 113, Japan
        Telephone: +81-3-5689-0962

% Document Type:{*filter*}
% Master File: call-for-paper.tex
\documentstyle[11pt]{article}

\pagestyle{empty}
\setlength{\oddsidemargin}{-6mm}
\setlength{\textwidth}{169mm}
\setlength{\textheight}{240mm}
\setlength{\topmargin}{-6mm}    
\setlength{\headsep}{-2mm}

\begin{document}
\begin{center}
\large{\bf CALL FOR PAPERS}\\
\medskip
\large{\bf Fuji International Workshop}\\
\large{\bf on Functional and Logic Programming}
\end{center}

\bigskip
\begin{tabbing}
 \`\
\large{\bf July 17--19, 1995}\\
\large{\bf } \`\
\large{\bf Fuji Susono, Japan}\\
\end{tabbing}

\medskip
\noindent
The workshop is a forum to present and discuss various
issues concerning with functional programming, logic programming and  integration of functional and logic programming.
It is a joint workshop of the JSSST functional programming workshop 1995  and
the fourth functional-logic
programming workshop.
Topics include (but not limited to) the following:
\begin{center}
\begin{tabular}{l l}
Language design          &       Formal semantics\\
Compilation techniques  &       Program transformation\\
Programming methods      &  Integration of programming paradigms\\
Constraint solving & Concurrency \\
User interface
\end{tabular}
\end{center}

\noindent
Original papers, as well as technical expository ones, are solicited.
Authors should submit an extended abstract (written in English)
not exceeding 10 pages to the program
chairman by e-mail no later than {\bf May 22, 1995}.
The submissions are judged on relevance, originality, significance, correctness and clarity.
Notification of acceptance or rejection
will be made by {\bf  June 23, 1995}.  Electronic versions of
full papers (following  guidelines set by the program committee) should be due by
{\bf  July 14, 1995}.
The proceedings is planned to be published
after the workshop.

\noindent
In addition to regular papers,  invited talks have been scheduled.

\medskip
\noindent
{\bf Organizing Committee:}\\
\begin{tabular}{ll}
Masami Hagiya (Univ. Tokyo) & Tetsuo Ida (Univ. Tsukuba) \\
Atsushi Ohori (Kyoto Univ.) & Masato Takeichi (Univ. Tokyo)  \\
\end{tabular}\\

\noindent
{\bf Program Committee:}\\
\begin{tabular}{ll}
Keijiro Araki (NAIST) & Wei-Ngan Chin (National Univ. Singapore)\\
Oege de Moor (Oxford Univ.)& Teruo Hikita (Meiji Univ.)  \\
Rita Loogen (Univ. Marburg) & Masahiko Sato (Tohoku Univ.) \\
Taisuke Sato (Tokyo Institute of Technology)&Masato Takeichi (Univ. Tokyo)\\
\end{tabular}\\
\medskip
\noindent
\begin{center}
\begin{tabular}{ll}
{\bf General Chair:} & {\bf Program Chair:}\\
Tetsuo Ida & Masato Takeichi\\
Institute of Information Sciences         & Department of Mathematical Engineering\\
and Electronics  &   Faculty of Engineering\\
University of Tsukuba              &      University of Tokyo\\
Tsukuba 305, Japan  & Hongo, Bunkyo-ku, Tokyo 113, Japan\\
Telephone: +81-298-53-5533 & Telephone: +81-3-5689-0962\\

\end{tabular}
\end{center}
\end{document}



Mon, 22 Sep 1997 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. CFP: Fuji Workshop on Functional and Logic Programming

2. CFP: DIPLCL99 - International Workshop on Distributed and Internet Programming with Logic and Constraint Languages

3. CFP: 2nd International Workshop on Logic Programming Tools for Internet Applications

4. CFP: DIPLCL99 - International Workshop on Distributed and Internet Programming with Logic and Constraint Languages -

5. FINAL CFP: 2nd International Workshop on Logic Programming Tools for Internet Applications

6. 6th International Workshop on Logic Program Synthesis and Transformation

7. CFP : 5th International Workshop on Inductive Logic Programming

8. CFP: 2nd International Workshop on Logic Programming Tools for Internet Applications

9. Workshop on Functional and Logic Programming (2nd call)

10. Workshop on Functional and Logic Programming (2nd call)

11. Call for paper: International Workshop on Logic Synthesis '93

12. Call for paper: International Workshop on Logic Synthesis '93

 

 
Powered by phpBB® Forum Software