FLOPS 2001 - 2nd Call for Participation

[Herbert Kuchen]

*********************************************************************
*                   SECOND CALL FOR PARTICIPATION                   *
*                                                                   *
*                             FLOPS 2001                            *
* Fifth International Symposium on Functional and Logic Programming *
*                                                                   *
*                  Waseda University, Tokyo, Japan                  *
*                          March 7-9, 2001                          *
*                                                                   *
*           http://www.ueda.info.waseda.ac.jp/flops2001/            *
*********************************************************************

The symposium is a forum for research on all issues concerning
functional programming and logic programming.  In particular, it aims
to stimulate the cross-fertilization as well as integration of the two
paradigms.  This is the fifth in the series of FLOPS symposia held
every 1.5 years in Japan.

The symposium program will consist of 3 invited talks and 21 technical
research talks.  The proceedings will be published by Springer-Verlag
in the Lecture Notes in Computer Science series.

Invited Talks
=============
  Gopalan Nadathur (Univ. of Minnesota, USA)
  "The Metalanguage lambda-Prolog and Its Implementation"

  George C. Necula (Univ. of California, Berkeley, USA)
  "A Scalable Architecture for Proof-Carrying Code"

  Taisuke Sato (Tokyo Institute of Technology, Japan)
  "Parameterized Logic Programs where Computing Meets Learning"

Important Dates
===============
  Early Registration Deadline:     January 30,  2001
  Symposium:                       March   7-9, 2001

Venue
=====
  The symposium will be held at the Conference Room 1 (third floor) of
  the International Conference Center of Waseda University, which is
  located in central Tokyo and can be accessed easily.  For details,
  please visit the FLOPS2001 Web page
  http://www.ueda.info.waseda.ac.jp/flops2001/ .

Registration and Hotel Information
==================================
  Details of registration and hotel booking information are available
  on the FLOPS2001 Web page.  Registration fees are as follows:

                 Before Jan. 30   After Jan. 31
    Regular          22,000 yen      32,000 yen
    Student          12,000 yen      22,000 yen

  The fees include participation, proceedings, banquet and
  refreshments for one person.  Additional banquet tickets are
  available.  The current exchange rate for Japanese yen is

    US$1 = 116 yen   and   1 Euro = 109 yen.

  Detailed information on accommodations near the conference site,
  ranging from luxuary to inexpensive, is available on the FLOPS Web
  page.

Preliminary Programme
=====================
  Wednesday, March 7
    09:00 - 09:30  Registration
    09:30 - 09:45  Opening
    09:45 - 11:00  Invited Talk 1
       The Metalanguage lambda-Prolog and Its Implementation
          Gopalan Nadathur
    11:00 - 11:30  Break
    11:30 - 12:30  Lambda-Calculus
       A Simply Typed Context Calculus with First-Class Environments
          Masahiko Sato, Takafumi Sakurai, and Yukiyoshi Kameyama
       Refining the Barendregt Cube using Parameters
          Fairouz Kamareddine, Twan Laan, and Rob Nederpelt
    12:30 - 14:00  Lunch
    14:00 - 15:30  Functional Logic Programmig 1
       A Framework for Goal-Directed Bottom-Up Evaluation of Functional
       Logic Programs
          Jesus M. Almendros-Jimenez and Antonio Becerra-Teron
       Theoretical Foundations for the Declarative Debugging of Lazy
       Functional Logic Programs
          Rafael Caballero, Francisco J. Lopez-Fraguas, and
          Mario Rodriguez-Artalejo
       Adding Linear Constrains over Real Numbers to Curry
          Wolfgang Lux
    15:30 - 16:00  Break
    16:00 - 17:30  Logic Programming
       A Higher-Order Logic Programming Language with Constraints
          Javier Leach and Susana Nieva
       Specifying and Debugging Security Protocols via Hereditary Harrop

       Formulas and lambdaProlog --- A Case-study
          Giorgio Delzanno
       An Effective Bottom-Up Semantics for First-Order Linear Logic
Programs
          Marco Bozzano, Giorgio Delzanno, and Maurizio Martelli

  Thursday, March 8
    09:30 - 10:30   Program Analysis and Transformation 1
       A Framework for Analysis of Typed Logic Programs
          Vitaly Lagoon and Peter J. Stuckey
       Abstract Compilation for Sharing Analysis
          Gianluca Amato and Fausto Spoto
    10:30 - 11:00  Break
    11:00 - 12:15  Invited Talk 2
       Parameterized Logic Programs where Computing Meets Learning
          Taisuke Sato
    12:15 - 13:45  Lunch
    13:45 - 15:15  Functional Logic Programming 2
       A Complete Selection Function for Lazy Conditional Narrowing
          Taro Suzuki and Aart Middeldorp
       An Abstract Machine Based System for a Lazy Narrowing Calculus
          Teresa Hortala-Gonzalez and Eva Ullan
       Incremental Learning of Functional Logic Programs
          Cesar Ferri-Ramirez, Jose Hernandez-Orallo, and
          Maria Jose Ramirez-Quintana
    15:15 - 15:45  Break
    15:45 - 17:15  Functional Programming
       Proving Syntactic Properties of Exceptions in an Ordered Logical
       Framework
          Jeff Polakow and Kwangkeun Yi
       A Higher-Order Colon Translation
          Olivier Danvy and Lasse R. Nielsen
       Compiling Lazy Functional Programs Based on the Spineless Tagless

       G-machine for the Java Virtual Machine
          Kwanghoon Choi, Hyun-il Lim, and Taisook Han
    18:45 - 21:00  Banquet at Rihga Royal Hotel

  Friday, March 9
    09:30 - 10:30  Program Analysis and Transformation 2
       A Practical Partial Evaluator for a Multi-Paradigm Declarative
       Language
          Elvira Albert, Michael Hanus, and German Vidal
       A Simple Take on Typed Abstract Syntax in ML-like Languages
          Olivier Danvy and Morten Rhiger
    10:30 - 11:00  Break
    11:00 - 12:15  Invited Talk 3
       A Scalable Architecture for Proof-Carrying Code
          George C. Necula
    12:15 - 13:45  Lunch
    13:45 - 15:15  Types
       A General Type Inference Framework for Hindley/Milner Style
Systems
          Martin Sulzmann
       Monadic Encapsulation with Stack of Regions
          Koji Kagawa
       Well-Typed Logic Programs Are not Wrong
          Pierre Deransart and Jan-Georg Smaus
    15:15 - 15:30  Closing

Symposium Organization
======================
  Program Co-Chairs:
  Herbert Kuchen           Univ. of Muenster, Germany
  Kazunori Ueda            Waseda Univ., Tokyo, Japan

  Program Committee:
  Sergio Antoy             Portland State Univ., USA
  Gopal Gupta              New Mexico State Univ., USA
  Michael Hanus            Univ. of Kiel, Germany
  Fergus Henderson         Univ. of Melbourne, Australia
  Zhenjiang Hu             Univ. of Tokyo, Japan
  Herbert Kuchen           Univ. of Muenster, Germany
  Giorgio Levi             Univ. of Pisa, Italy
  Michael Maher            Griffith Univ., Brisbane, Australia
  Dale Miller              Pennsylvania State Univ., USA
  I.V. Ramakrishnan        State Univ. of New York at Stony Brook, USA
  Olivier Ridoux           IRISA, France
  Mario Rodriguez-Artalejo Complutense Univ., Madrid, Spain
  Colin Runciman           Univ. of York, UK
  Akihiko Takano           Hitachi Ltd., Japan
  Peter Thiemann           Freiburg Univ., Germany
  Yoshihito Toyama         Tohoku Univ., Japan
  Kazunori Ueda            Waseda Univ., Tokyo, Japan

  Local Arrangements Chair:
  Zhenjiang Hu             Univ. of Tokyo, Japan

Sponsors
========
  FLOPS2001 is sponsored by Japan Society of Software Science and
  Technology (JSSST), Special Interest Group on Principles of
  Programming, and held in cooperation with Association for Logic
  Programming.