Fuji Workshop on Functional and Logic Programming (Advance Program)

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

                   The Second Fuji International Workshop
                    on Functional and Logic Programming

                   Nov. 1-4, 1996. Shonan Village, Japan

      Sponsored by Japan Society for Software Science and Technologies

                              Advance Program

Please see web page : http://www.kurims.kyoto-u.ac.jp/~ohori/fuji96.html
for up-to-date information.

Nov. 1
14:00 - 14:15 Opening Remark
14:15 - 15:15 Invited Talk (1)

   * Title to be announced
     Bruno Buchberger (Univ. Linz)

15:45 - 17:45 Rewriting and Constraint Solving

   * Strong Completeness of a Lazy Conditional Narrowing Calculus
     Mohamed Hamada and Aart Middeldorp (Tsukuba Univ.)
   * Extension of WAM for a linear logic programming language
     Naoyuki Tamura and Yukio Kaneda (Kobe Univ.)
   * A Computational Study of Two Cumulative Scheduling Problems
     Hendrik Lock

Nov. 2.
9:00 - 10:00 Invited Talk (2)

   * Title to be annaunced
     Erik Meijer (Utrecht Univ.)

10:30 - 12:30 Functonal Programmng

   * A Functional Perspective of Array Primitives
     Tyng-Ruey Chuang (Academia Sinica)
   * An Extension of the Acid Rain Theorem
     Zhenjiang Hu, Hideya Iwasaki and Masato Takeichi (Univ. Tokyo)
   * A New Formulation of the Catch/Throw Mechanism
     Yukiyoshi Kameyama (Kyoto Univ.)

14:00-15:00 Tutorial Lecture

   * Title to be announced
     Michael Hanus (RWTH Aachen)

15:00 - 16:20 Program Analysis

   * On the Inference of Structured Recursive Effects with Subtyping
     M.Debbabi, Z.Aidoud and A.Faour (Laval Univ.)
   * Slicing Concurrent Logic Programs: A Dependence Graph-Based Approach
     Jianjun Zhao, Jingde Cheng, and Kazuo Ushijima (Kyusyu Univ.)

16:40 - 18:00 Concurrency

   * Temporal Semantics of a Concurrency Monad with Choice and Services
     Thomas Frauenstein, Wolfgang Grieskamp, Mario Suedholt (Technische
     Univ. Berlin)
   * Concurrent Programming using Traces in Haskell
     Victor M. Gulias, Juan J. Quintela, Jose L. Freire (Univ. La Coruna)

Nov. 3

9:00 - 10:00 Invited Talk (3)

   * Interactive Functional Programming
     Henk Barendregt (Univ. Nijmegen)

10:30 - 12:30 Semantics and Logic

   * Algebraic Semantics for Higher-Order Programming
     Makoto Hamana (Tsukuba Univ.)
   * Subtype Relations Yielding Filter Lambda-Models
     Toshihiko Kurata (Tokyo Inst. Technology)
   * A cube of non-standard lambda calculi
     Fer-Jan de Vries (ETL)

Afternoon and evenng: Workshop excursion and workshop dinner.

Nov. 4

9:00 - 10:00 Invited Talk (4)

   * Title to be announced
     Christian Prehofer (Technical Univ. Munchen)

10:30 - 12:30 Type Systems

   * Currying multi methods in a merge calculus
     Hideki Tsuiki (Kyoto Sangyo Univ.)
   * Type Inference for the Mixture of Matching and Implicit Subtyping
     Koji Kagawa (Kagawa Univ.)
   * Compilation Based on a Calculus for Explicit Type Passing
     Yasuhiko Minamide (Kyoto Univ.)

Inquires to the program co-chairs:

Tetsuo Ida
E-mail: ida@is.tsukuba.ac.jp
Tel: +81 298 53 5533, Fax: +81 298 53 5206

Atsushi Ohroi
E-mail: ohori@kurims.kyoto-u.ac.jp
Tel.: +81 75 753 7222 Fax: +81 75 753 7272