[Prev][Next][Index][Thread]
FLOPS 2001 - Call for Participation
*********************************************************************
* 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 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.
Accepted Papers
===============
(A timetable will be available on the FLOPS2001 Web page shortly.)
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
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
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
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
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
A Framework for Analysis of Typed Logic Programs
Vitaly Lagoon and Peter J. Stuckey
Abstract Compilation for Sharing Analysis
Gianluca Amato and Fausto Spoto
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
A Simply Typed Context Calculus with First-Class Environments
Masahiko Sato, Takafumi Sakurai, and Yukiyoshi Kameyama
Refining the Barendregt Cube using Parameters
Twan Laan, Fairouz Kamareddine, and Rob Nederpelt
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 (ALP).