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