--------------------------------------------------------------------- Call for Participation The Seventh International Symposium on Functional and Logic Programming (FLOPS 2004) Nara, Japan, April 7-9, 2004 ================================ Information ================================ FLOPS Home http://logic.is.tsukuba.ac.jp/flops2004/ FLOPS local organization http://wwwfun.kurims.kyoto-u.ac.jp/flops2004/ Sattelite Workshop: Workshop on Algebra and Logic on Programming Systems (ALPS) April 10, 2004, Kyoto http://www.kurims.kyoto-u.ac.jp/~hassei/ALPS.html ================================ Registration and Accommodation ================================ Detailed information of registration and accommodation can be found at the local organization page: http://wwwfun.kurims.kyoto-u.ac.jp/flops2004/ The early registration deadline is February 29th, 2004. ================== Invited Speakers ================== Masami Hagiya University of Tokyo Carsten Schuermann Yale University Peter Selinger University of Ottawa =============================== Symposium Program (tentative) =============================== Wednesday, April 7 13:00--14:00 Invited Talk 1 On the Design of Quantum Programming Languages Peter Selinger (University of Ottawa) 14:30--16:00 Online Justification for Tabled Logic Programs Giridhar Pemmasani (State University of New York) Hai-feng Guo (University of Nebraska) Yifei Dong (University of Oklahoma) Norman C.R. Ramakrishnan (State University of New York) I.V. Ramakrishnan (State University of New York) Constructive Intensional Negation Susana Munoz (Universidad Politecnica de Madrid) Julio Marino (Universidad Politecnica de Madrid) Juan Jose Moreno-Navarro (Universidad Politecnica de Madrid) Analysing Definitional Trees: Looking for Determinism Pascual Julian-Iranzo (Universidad de Castilla -La Mancha) Christian Villamizar-Lamus (Universidad de Castilla -La Mancha) 16:30--17:30 DDT: A Declarative Debugging Tool for Functional-Logic Languages Rafael Caballero (Universidad Complutense de Madrid) Mario Rodriguez-Artalejo (Universidad Complutense de Madrid) LIX: An Effective Self-Applicable Partial Evaluator for Prolog Stephen-John Craig (University of Southampton) Michael Leuschel (University of Southampton) Thursday, April 8 9:00--10:00 Invited Talk 2 Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic Masami Hagiya (University of Tokyo) Koichi Takahashi (AIST) Mitsuharu Yamamoto (Chiba University) Takahiro Sato (University of Tokyo) 10:30--12:00 Multivariant Non-Failure Analysis via Standard Abstract Interpretation Francisco Bueno (Universidad Politecnica de Madrid) Pedro Lopez-Garcia (Universidad Politecnica de Madrid) Manuel Hermenegildo (Universidad Politecnica de Madrid) Set-Sharing is not Redundant for Pair-Sharing Francisco Bueno (Monash University) Maria Garcia de la Banda (Monash University) Backward Pair Sharing Analysis Lunjin Lu (Oakland University) Andy King (University of Kent) 13:30--15:00 Implementing Natural Rewriting and Narrowing Efficiently Santiago Escobar (Universidad Politecnica de Valencia) Complete Axiomatization of an Algebraic Construction of Graphs Mizuhito Ogawa (Japan Advanced Institute of Science and Technology) Sub-Birkhoff Vincent van Oostrom (Universiteit Utrecht) 15:30--17:30 Relaxing the Value Restriction Jacques Garrigue (Kyoto University) Rigid mixin modules Tom Hirschowitz (ENS Lyon) Semantics of Linear Continuation-Passing in Call-by-Name Masahito Hasegawa (Kyoto University) A Direct Proof of Strong Normalization for an Extended Herbelin's Calculus Kentaro Kikuchi (Chiba University) Friday, April 9 9:00--10:00 Invited Talk 3 Twelf and Delphin -- Logic and Functional Programming in a Meta-Logical Framework Carsten Schuermann (Yale University) 10:30--12:00 Normalization by evaluation for lambda^arrow,2 Thorsten Altenkirch (University of Nottingham) Tarmo Uustalu (Institute of Cybernetics, Tallinn) Basic Pattern Matching Calculi: A Fresh View on Matching Failure Wolfram Kahl (McMaster University) Derivation of Deterministic Inverse Programs based on LR Parsing Robert Glueck (JST & Waseda University, Copenhagen University) Masahiko Kawabe (Waseda University) =================== Program Committee =================== Francois Fages INRIA Rocquencourt Herman Geuvers Nijmegen University Michael Hanus University of Kiel Martin Hofmann LMU Muenchen Haruo Hosoya University of Tokyo Yukiyoshi Kameyama University of Tsukuba, Co-Chair Naoki Kobayashi Tokyo Institute of Technology John Lloyd Australian National University Aart Middeldorp University of Innsbruck Atsushi Ohori JAIST German Puebla Technical University of Madrid Morten Rhiger IT-University of Copenhagen Amr Sabry Indiana University Peter Stuckey University of Melbourne, Co-Chair Martin Sulzmann National University of Singapore Kazunori Ueda Waseda University Philip Wadler University of Edinburgh ========================== Local Arrangements Chair ========================== Jacques Garrigue Kyoto University ========== Sponsors ========== Asian Association for Foundation of Software Association for Logic Programming Japan Society of Software Science and Technology Kayamori Foundation of Information Science Advancement, Japan ---------------------------------------------------------------------