********************************************************************* * 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.