[TYPES] FLOPS 2004 Call for Participation

[Yukiyoshi Kameyama]

---------------------------------------------------------------------

                     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 -- a Meta-Logical Framework
     Carsten Schuermann (Yale University)

10:30--12:00

  Normalization by evaluation for lambda^2
     Thorsten Altenkirch (University of Nottingham)

  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 (Waseda 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
---------------------------------------------------------------------