🚀 go-pugleaf

=======================================================================

$B!VBh#42s(J  Functional and Logic Programming $B9q:]%7%s%]%8%&%`!J(JFLOPS'99$B!K!W(J
  $B;22C$N$*M6$$(J

$BF|K\$GAO@_$5$l$?4X?t7?8@8l$HO@M}7?8@8l!"$*$h$SN><T$NE}9g$K4X$9$k9q:]%o!<(J
$B%/%7%g%C%W(J FLOPS'99 $B$X$N;22C$N$*M6$$$G$9!#(JFLOPS $B$O$[$\0lG/H>CV$-$K!"IY(J
$B;N;3O<!J(J1995$B!K!">EFnB<!J(J1996$B!K!"5~ET!J(J1998$B!K$H2a5n;02s3+$+$l$F$-$^$7$?!#(J
$B;M2sL\$N:#G/$O$D$/$P$G3+:E$5$l$^$9!#:#2s$O(J $B8^==0l7o$N1~Jg$+$i7c@o$r>!(J
$B$AH4$$$?Fs==0l$N8&5f$,Fs7o$N>7BT9V1i$H$H$b$KH/I=$5$l$^$9!#3'MM$K$*$+$l(J
$B$^$7$F$O0J2<$N>\:Y$r8fMw$K$J$j;22C$r8f8!F$$$$?$@$1$l$P9,$$$G$9!JEPO?<j(J
$BB3$-$O(J http://www.etl.go.jp/etl/divisions/~yoshiki/FLOPS99/ $B$K$"$j$^$9!#!K(J

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

                        Call For Participation

 International Symposium on Functional and Logic Programming (FLOPS '99)

                           Tsukuba, Japan
                        November 11-13, 1999 

               http://www.score.is.tsukuba.ac.jp/flops99

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

FLOPS is an annual series of forums to present and discuss all issues
concerning functional programming, logic programming, and their
integration.  The symposium takes place about every 1.5 years in
Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan
Village (1996), and Kyoto (1998).  FLOPS '99 will take place at ETL
(Electrotechnical Laboratory) in Tsukuba, sponsored by the Japan
Society of Software Science and Technology, Special Interest Group on
Principles of Programming and ETL.

             We welcome you to participate in FLOPS'99.

[ Invited talks ]:
  * Semantics and Types in Functional Logic Programming
    Mario Rodriguez-Artalejo (Universidad Complutense de Madrid)
  * The Logical Abstract Machine: a Curry-Howard isomorphism
    for machine code
    Atsushi Ohori (Kyoto University)

[ Techincal sessions ]:
  There are 21 contributed talks on various topics related to
  funtional/logic programming (see FLOPS '99 home page
  http://www.score.is.tsukuba.ac.jp/flops99 for a program)

[ Proceedings ]:
  The proceedings will be published as a volume in Lecture Notes in
  Computer Science, Springer-Verlag.

[ Banquet ]:
  The conference banquet will be held on Friday 12 November.

[ Registration and Accommodation ]:
  To register, follow the instruction found in the URL below.

	http://www.etl.go.jp/~yoshiki/FLOPS99/

  We also take care of booking a room in Sakura-kan (Guest House); see
  also the above registration page.

[ Program Co-Chairs ]:
  Aart Middeldorp  (University of Tsukuba)
  Taisuke Sato     (Tokyo Institute of Technology)

[ Program Committee ]:
  Zena Ariola (Eugene)          Robert Glueck (Copenhagen)
  Manuel Hermenegildo (Madrid)  Herbert Kuchen (Muenster)
  Michael Maher (Brisbane)      Aart Middeldorp (Tsukuba)
  Gopalan Nadathur (Chicago)    Masahiko Sato (Kyoto)
  Taisuke Sato (Tokyo)          Peter Thiemann (Freiburg)
  Kazunori Ueda (Tokyo)

[ Local Arrangements Chair ]:
  Yoshiki Kinoshita
  ETL (Electrotechnical Laboratory)
  Umezono 1-1-4
  Tsukuba 305-8568, Japan
  yoshiki@etl.go.jp

[Program]
  ----------------------------
  Thursday November 11

  13:00 - 14:00 invited talk [I]

  Semantics and Types in Functional Logic Programming
  Mario Rodriguez-Artalejo

  14:15 - 15:45  session (I)

  Polytypic Programming With Ease
  Ralf Hinze

  Type Inference for Overloading without Restrictions,
  Declarations or Annotations
  Carlos Camaro, Lucilia Figueiredo

  Partial Evaluation and Non-interference for Object Calculi
  Gilles Barthe, Bernard Serpette

  16:00 - 17:30  session (II)

  Lazy Lexing is Fast
  Manuel M.T. Chakravarty

  A Functional-Logic Perspective of Parsing
  Rafael Caballero, Francisco J. Lopez-Fraguas

  Implementing Encapsulated Search for a Lazy Functional
  Logic Language
  Wolfgang Lux

  ----------------------------
  Friday November 12

  9:00 - 10:30   session (III)

  Comparison of Deforestation Techniques for Functional
  Programs and for Tree Transducers
  Armin Kuehnemann

  Automatic Verification based on Abstract Interpretation
  Mizuhito Ogawa

  A Transformation System for Lazy Functional Logic Programs
  Maria Alpuente, Moreno Falaschi, Gines Moreno, German Vidal

  10:45 - 12:15   session (IV)

  Termination Analysis of Tabled Logic Programs using Mode
  and Type Information
  Sofie Verbaeten, Danny De Schreye

  On Quasi-Reductive and Quasi-Simplifying Deterministic
  Conditional Rewrite Systems
  Enno Ohlebusch

  An Interval Lattice-based Constraint Solving Framework
  for Lattices
  Antonio J. Fernandez, Patricia M. Hill

  ----------------------------
  Saturday November 13

  9:00 - 10:30    session (V)

  Higher Order Matching for Program Transformation
  Oege de Moor, Ganesh Sittampalam

  Automated Generalisation of Function Definitions
  Adam Bakewell, Colin Runciman

  An Extensional Characterization of Lambda-Lifting
  and Lambda-Dropping
  Olivier Danvy

  10:45 - 12:15   session (VI)

  Using Types as Approximations for Type Checking
  Prolog Programs
  Christoph Beierle, Gregor Meyer

  Typed Static Analysis: application to groundness analysis
  of Prolog and \lambdaProlog
  Olivier Ridoux, Patrice Boizumault, Frederic Malesieux

  A Space Efficient Engine for Subsumption-Based Tabled
  Evaluation of Logic Programs
  Ernie Johnson, C.R. Ramakrishnan, I.V. Ramakrishnan, Prasad Rao

  14:00 - 15:00  invited talk [II]

  The Logical Abstract Machine: a Curry-Howard isomorphism
  for machine code
  Atsushi Ohori

  15:15 - 16:45   session (VII)

  On Reducing the Search Space of Higher-order Lazy Narrowing
  Mircea Marin, Tetsuo Ida, Taro Suzuki

  Typed Higher-order Narrowing without Higher-order Strategies
  Sergio Antoy, Andrew Tolmach

  A Semantics for Program Analysis in Narrowing-Based Functional
  Logic Languages
  Michael Hanus, Salvador Lucas

-- 
$BLZ2<(B $B2B<y!J$-$N$7$?(B $B$h$7$-!K(B
$BEE;R5;=QAm9g8&5f=j(B $B0UL#O@%0%k!<%W(B
$B")(B661-0974 $BJ<8K8)Ft:j;T<c2&;{(B 3-11-46
$BEEOC(B: 06-6494-7824 $B$+(B 7825 $B$+(B 7854; $B%U%!%C%/%9(B: 06-6491-5028