FLOPS 2008 Preliminary Program

Monday, April 14th

13:30-14:30 Invited talk
Model-based Knowledge Representation and Reasoning via Answer Set Programming
Torsten Schaub
15:00-16:00 Quantitative Logic Programming Revisited
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
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

Tuesday, April 15th

7:30-9:45 Excursion: early visit to Ise Inner Shrine
Bus leaves from Ise Pearl Pier Hotel
10:00-11:00 Invited talk
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory
Peter Dybjer
11:15-12:15 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
19:00-21:00 Banquet at Ise Pearl Pier Hotel

Wednesday, April 16th

9:30-10:30 Invited talk
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 Integrating Answer Set Reasoning with Constraint Solving Techniques
Veena Mellarkod, Michael Gelfond
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

Last update: April 8, 2008.