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 |
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 |
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.