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
