From owner-theorynt@LISTSERV.NODAK.EDU Thu Apr 3 14:10:52 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.5/8.8.5) with ESMTP id OAA12206 for ; Thu, 3 Apr 1997 14:10:52 -0800 (PST) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.4/8.8.4) with ESMTP id NAA07101; Thu, 3 Apr 1997 13:59:41 -0800 (PST) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.F250B690@listserv.nodak.edu>; Thu, 3 Apr 1997 15:59:01 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 153213 for THEORYNT@LISTSERV.NODAK.EDU; Thu, 3 Apr 1997 15:58:57 -0600 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.EF868F00@listserv.nodak.edu>; Thu, 3 Apr 1997 15:58:56 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 153202 for THEORY-A@LISTSERV.NODAK.EDU; Thu, 3 Apr 1997 15:58:55 -0600 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.EC6307E0@listserv.nodak.edu>; Thu, 3 Apr 1997 15:58:51 -0600 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.4/8.8.4/usc) id NAA22635 for theory-a@listserv.nodak.edu; Thu, 3 Apr 1997 13:58:46 -0800 (PST) Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <9703310431.AA12882@venus.kuis.kyoto-u.ac.jp> Date: Thu, 3 Apr 1997 13:58:46 PST Reply-To: Theory-A - TheoryNet World-Wide Events , Masahiko Sato Sender: TheoryNet List From: Masahiko Sato Subject: FLOPS'98 Call for Papers Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU X-Mozilla-Status: 0001 Content-Length: 6823 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}