[TYPES/announce] FLOPS 2008 Call for Participation

[Jacques Garrigue]

                         Call For Participation

    Ninth International Symposium on Functional and Logic Programming
                              FLOPS 2008

                              April 14-16
			      Ise, JAPAN

	 http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/

               Early Registration Ends on March 14, 2008
               -----------------------------------------

  FLOPS is a forum for research on all issues concerning declarative
  programming, including functional programming and logic programming,
  and aims to promote cross-fertilization between the two paradigms.
  Previous FLOPS meetings were held in Fuji Susono (1995), Shonan
  Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu
  (2002), Nara (2004) and Fuji Susono (2006).

VENUE

  The meeting will be held at the Ise City Plaza, located in Ise,
  Japan, famous for its shrine rebuilt every 20 year since 13
  centuries ago.

REGISTRATION

  The registration is now open at the symposium home page:
  http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/

PROCEEDINGS

  The proceedings will be published as a volume in Lecture Notes in
  Computer Science, Springer, Volume 4989, and distributed at the
  symposium.

INVITED SPEAKERS

  Peter Dybjer (Chalmers, Sweden)
  Naoki Kobayashi (Tohoku, Japan)
  Torsten Schaub (Potsdam, Germany)

PROGRAM

  April 14
  13:30-14:30
  Model-based Knowledge Representation and Reasoning via Answer Set Programming
    Torsten Schaub

  15:00-16:00
  Integrating Answer Set Reasoning with Constraint Solving Techniques
    Veena Mellarkod, Michael Gelfond
  Optimizing Compilation of CHR with Rule Priorities
    Leslie De Koninck, Peter Stuckey, Gregory Duck

  16:30-17:30
  Certified exact real arithmetic using co-induction in arbitrary integer base
    Nicolas Julien
  Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
    Oleg Kiselyov, William Byrd, Daniel Friedman, Chung-chieh Shan

  April 15
  9:30-10:30
  On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory
    Peter Dybjer

  11:00-12:00
  On-Demand Refinement of Dependent Types
    Hiroshi Unno, Naoki Kobayashi
  Proving Properties About Lists using Containers
    Rawle Prince, Neil Ghani, Conor McBride

  13:30-15:00
  Termination of Narrowing in Left-Linear Constructor Systems
    Germán Vidal
  Complexity Analysis by Rewriting
    Martin Avanzini, Georg Moser
  Rewriting and call-time choice: the HO case
    Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá,
    Jaime Sánchez-Hernández

  15:30-16:30
  Semantics and Pragmatics of New Shortcut Fusion Rules
    Janis Voigtländer
  A Generalization of the Folding Rule for the Clark-Kunen Semantics
    Javier Álvez, Paqui Lucio

  17:00-18:00
  Types for Hereditary Head Normalizing Terms
    Makoto Tatsuta
  A New Translation for Semi-classical Theories --- Backtracking without CPS
    Satoshi Kobayashi

  April 16
  9:30-10:30
  Substructural Type Systems for Program Analysis
    Naoki Kobayashi

  11:00-12:30
  Undoing Dynamic Typing (Declarative Pearl)
    Nick Benton
  Typed Dynamic Control Operators for Delimited Continuations
    Yukiyoshi Kameyama, Takuo Yonezawa
  Strictness Analysis Algorithms Based on an Inequality System for Lazy Types
    Hirofumi Yokouchi

  14:00-15:00
  Quantitative Logic Programming Revisited
    Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
  Formalizing a Constraint Deductive Database Language based on
  Hereditary Harrop Formulas with Negation
    Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez

  15:30-16:30
  Declarative Diagnosis of Missing Answers in Constraint Functional-
  Logic Programming
    Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
  EasyCheck - Test Data for Free
    Jan Christiansen, Sebastian Fischer

PC CO-CHAIRS

  Jacques Garrigue (Nagoya, Japan) 
  Manuel Hermenegildo (Madrid, Spain and New Mexico, USA) 

PC MEMBERS

  Maria Alpuente (Valencia, Spain)
  Sergio Antoy (Portland, OR, USA)
  Matthias Blume (TTI, Chicago, USA)
  Tyng-Ruey Chuang (Academia Sinica, Taiwan)
  Zhenjiang Hu (Tokyo, Japan)
  Oleg Kiselyov (FNMOC, Monterey, USA)
  Herbert Kuchen (Muenster, Germany)
  Dale Miller (INRIA, Palaiseau, France)
  Atsushi Ohori (Tohoku, Japan)
  Enrico Pontelli (New Mexico, USA)
  Kristoffer Rose (IBM Watson, USA)
  Kazunori Ueda (Waseda, Japan)
  Peter Van Roy (Louvain-la-Neuve, Belgium)
  Benjamin Werner (INRIA, Palaiseau, France)

LOCAL CHAIR
  
  Shoji Yuen (Nagoya, Japan)

Previous FLOPS:

  FLOPS 2006, Fuji: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/
  FLOPS 2004, Nara: http://logic.is.tsukuba.ac.jp/FLOPS2004/
  FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/
  FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/

SPONSORS

  Japan Society for Software Science and Technology (JSSST) SIG-PPL
  International Information Science Foundation

IN COOPERATION

  ACM SIGPLAN
  Association for Logic Programming (ALP)
  Asian Association for Foundation of Software (AAFS)

INQUIRIES to

  flops2008 at math.nagoya-u.ac.jp