A Debugging Scheme for Functional Programs
M. Alpuente, M. Comini, S. Escobar, M. Falaschi, S. Lucas

A Cut-free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene
Francisco Gutiérrez, Blas Ruiz

Constraint Solver Synthesis using Tabled Resolution for Constraint Logic Programming
Slim Abdennadher, Christophe Rigotti

Translation Datalog-like Optimization Queries into ILOG Programs
I. Trubitsyna, G. Greco, S. Greco, E. Zumpano

Optimising Tabling Structures for Bottom-up Logic Programming
Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting

A general framework for variable aliasing: Towards optimal operators for sharing properties
Gianluca Amato, Francesca Scozzari

Two Variables per Linear Inequality as an Abstract Domain
A. Simon, A. King, J. M. Howe

An operational approach to program extraction in the Calculus of Constructions
Maribel Fernandez, Paula Severi

Refinement of Higher-order Logic Programs
R. Colvin, I. Hayes, D. Hemer, P. Strooper

A Generic Program for Minimal Subsets With Applications
Rudolf Berghammer

Convex Hull Abstractions in Specialisation of CLP Programs
Julio C. Peralta, John P. Gallagher

Collecting Potential Optimisations
Nancy Mazur, Gerda Janssens, Wim Vanhoof

Verification in ACL2 of a generic framework to synthesize SAT-provers
Francisco J. Martín Mateos

A Proof System for Information Flow Security
Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi

Justification based on Program Transformation
Hai-Feng Guo, C.R. Ramakrishnan, I.V. Ramakrishnan

Combining Logic Programs and Monadic Second Order Logics by Program Transformation
F. Fioravanti, A. Pettorossi, M. Proietti

Forward Slicing by Partial Evaluation
German Vidal

Bottom-up Transformation for Programs with Procedural Control
Wim Vanhoof, Maurice Bruynooghe

Abstract Partial Deduction Challenged
Stefan Gruner

Component Adaptation
Antonio Brogi

A Priori Reasoning for CBD
Kung-Kiu Lau

Knowledge Repository Concerning Architectural Styles for Building Component-based Systems
A. Ramdane-Cherif, L. Hazem, N.Levy

Development of Formal Components Using the B Method
Dorian Petit, Vincent Poirrier, Georges Mariano

Supporting End-User Tailoring of Component-based Software-Checking Integrity of Compositions
Markus Won, Armin B. Cremers

The Amos Project
Manuel Carro

A Language-Centric Approach to Software Engineering: Domain Specific Languages Meet Software Components
Gopal Gupta

Toward a Framework Constraint Language
S. M. Ho

Built-in Contract Testing in Component-based Application Engineering
Hans-Gerhard Grob

Correct Object-Oriented Design Frameworks in Computational Logic
Kung-Kiu Lau, M. Ornaghi

Mapping Modular SOS to Rewriting Logic
Christiano de O. Braga, E. Hermann Hæusler, José Meseguer, Peter D. Mosses

Program Synthesis Based on the Equivalent Transformation Computation Model
Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike

CoLogNET - Invited Talks
Implementation Technology for Computational Logic Systems

Implementing Temporal Logics: Tools for Execution and Proof
Michael Fisher

Parallelism and New Generation Logic Programming Systems
Enrico Pontelli

A New Encoding of Not Necessarily Closed Convex Polyhedra
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

The Design of j-Drew: A Deductive Reasoning Engine for the Web
Bruce Spencer

Preliminary Report on Using Type Information in a Prolog to C Compiler
Jose F. Morales, Manuel Carro

Computational Logic for Industrial Software Engineering
Michel Vanden Bossche, Kung-Kiu Lau