From ogawa@ipl.t.u-tokyo.ac.jp Tue Apr 11 18:59:22 EDT 1995 Article: 5799 of comp.lang.functional Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!news.alpha.net!uwm.edu!vixen.cso.uiuc.edu!howland.reston.ans.net!newsserver.jvnc.net!news.caren.net!news.join.ad.jp!wnoc-tyo-news!news.u-tokyo.ac.jp!t-server!ogawa From: ogawa@ipl.t.u-tokyo.ac.jp (OGAWA Hirotaka) Newsgroups: fj.meetings,comp.lang.functional Subject: [CFP] Fuji International Workshop on Functional and Logic Programming Date: 6 Apr 1995 07:48:00 GMT Organization: Information Processing Lab. Department of Information Engineering, University of Tokyo, Japan. Lines: 173 Distribution: world Message-ID: NNTP-Posting-Host: yunnan.ipl.t.u-tokyo.ac.jp -------------------------------------------------------------------- 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 Internet: ida@score.is.tsukuba.ac.jp 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 Internet: takeichi@u-tokyo.ac.jp % Document Type: LaTeX % 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\\ Internet: ida@score.is.tsukuba.ac.jp & Internet: takeichi@u-tokyo.ac.jp \end{tabular} \end{center} \end{document}