From - Tue Jan 13 02:59:13 1998 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.7/8.8.8) with ESMTP id OAA12751 for ; Mon, 29 Dec 1997 14:07:01 -0800 (PST) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.8/8.8.8) with ESMTP id OAA15874; Mon, 29 Dec 1997 14:07:44 -0800 (PST) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.A7BA97C0@listserv.nodak.edu>; Mon, 29 Dec 1997 16:06:00 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 443565 for THEORYNT@LISTSERV.NODAK.EDU; Mon, 29 Dec 1997 16:05:44 -0600 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.9C235E00@listserv.nodak.edu>; Mon, 29 Dec 1997 16:05:43 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 443444 for THEORY-A@LISTSERV.NODAK.EDU; Mon, 29 Dec 1997 16:05:29 -0600 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.91096AF0@listserv.nodak.edu>; Mon, 29 Dec 1997 16:05:22 -0600 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.8/8.8.8/usc) id MAA27731 for theory-a@listserv.nodak.edu; Mon, 29 Dec 1997 12:31:27 -0800 (PST) Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199712270733.QAA04442@earth.kuis.kyoto-u.ac.jp> Date: Mon, 29 Dec 1997 12:31:27 PST Reply-To: kameyama@kuis.kyoto-u.ac.jp Sender: TheoryNet List From: kameyama@kuis.kyoto-u.ac.jp Subject: FLOPS'98 Call for Participation Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU Status: O X-Status: ------------------------------------------------------------------------ CALL FOR PARTICIPATION FLOPS'98 The Third Fuji International Symposium on Functional and Logic Programming April 2-4, 1998 Kyoto University, Japan Further information: http://www.sato.kuis.kyoto-u.ac.jp/fuji/ Inquiries: fuji@kuis.kyoto-u.ac.jp ======================================================================= PROGRAM ------------------------------------------------------------------------ April 2nd, Thursday 13:50-14:00 Opening 14:00-15:00 Invited Talk Masako Takahashi Lambda-representable Functions over Free Structures, Revisited 15:15-17:15 Session 1 Pierre-Louis Curien, Hugo Herbelin Computing with Abstract Bohm Trees Nadia Nedjah Postponing Redex Contractions in Equational Programs Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi Towards Manipulation of Mutually Recursive Functions ------------------------------------------------------------------------ April 3rd, Friday 10:00-12:00 Session 2 Manuel M. T. Chakravarty, Yike Guo, Martin Kohler Distributed Haskell: Goffin on the Internet Ralf Hinze Prological Features in a Functional Setting Axioms and Implementations Hiroshi Ishikawa, Jose Meseguer, Takuo Watanabe, Kokichi Futatsugi On the semantics of GAEA 13:30-14:30 Invited Talk Claude Kirchner A Functional View of Rewriting and Strategies: The Semantics of ELAN 14:45-16:05 Session 3 Hiroyuki Miyoshi Rewriting Logic for Cyclic Sharing Structures Takafumi Sakurai Categorical Model for Syntactic Properties 16:20-17:40 Session 3 (continued) Izumi Takeuti A Type Theory for Cyclic Structures Yasuyuki Tsukada Type-free equational reasoning in the theory of inductively defined types 18:00- Banquet ------------------------------------------------------------------------ April 4th, Saturday 10:00-12:00 Session 4 Sergei Abramov, Robert Gluck Semantics Modifiers: an Approach to Non-Standard Semantics of Programming Languages Olivier Danvy Online Type-Directed Partial Evaluation Edgar F. A. Lederer, Romeo A. Dumitrescu Two-Stage Programming 12:00-12:10 Closing ------------------------------------------------------------------------ FLOPS'98 will be sponsored by Japan Society for Software Science and Technology. The proceedings will be published by World Scientific, Singapore as a book titled "Proc. Third Fuji International Symposium on Functional and Logic Programming". ======================================================================= REGISTRATION INFORMATION Registration fee covers attendance in all sessions, a copy of the proceedings, refreshments, and the banquet. It does not cover accommodation. The student rate applies to full-time students. Through March 10th From March 11th Regular participant 20,000 Yen 30,000 Yen Full-time student 10,000 Yen 15,000 Yen Registration Fee Please fill the attached registration form, and send it by either FAX or postal mail (e-mail registration is not possible). FAX number: +81-75-753-4954 (from abroad) 075-753-4954 (from Japan) Postal address: FLOPS'98 Sato Laboratory Department of Information Science Kyoto University Kyoto 606-01, JAPAN Registration will be confirmed by FAX or postal mail. ======================================================================= LODGING Unfortunately we cannot arrange lodging for participants from Japan, so you are encouraged to book by yourself. Since early April is a nice season for sightseeing, you had better book as early as possible. A list of hotels in Kyoto will be shown at our web page. Many hotels offer special discount rates for participants of this symposium (you should mention ``FLOPS'98'' when you book one of these hotels). If you are a participant from abroad, we will help your booking; contact to the local arrangements staff by e-mail at fuji@kuis.kyoto-u.ac.jp. ======================================================================= REGISTRATION FORM Personal Details ---------------- Title: Name: Affiliation: Postal address: E-mail address: Telephone: Fax: Status: __ Regular participant __ Full-time student (please check either one) Special dietary request: Payment Details --------------- You may pay for your registration by either credit card (we accept VISA and Mastercard) or bank transfer. All payments must be in Japanese Yen. Registration fee: _________ Yen (please write your registration fee here) __ Credit Card: Card Type: __ Master card __ Visa card Card Number: Name of Card-holder: Expiration Date: Signature: __ Bank Transfer: To: Daiichi-Kangyo Bank, Hyakumanben Branch Account Name Daisankai Fuji Kokusai Shimpojiumu Account No. 2028854 From (bank name): Date of transfer: =======================================================================