Categoría 1

Elimination of Extra Variables in Functional Logic Programs 
Javier de Dios Castro, Francisco J. López-Fraguas

Formal Properties of Needed Narrowing with Similarity Relations	
Ginés Moreno, Vicente Pascual	 

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
S. Estévez-Martín, A. J. Fernández, T. Hortalá-González, 
M. Rodríguez-Artalejo, F. Sáenz-Pérez, R. del Vado-Vírseda

Formal Sequentialization of Distributed Systems Via Model Rewriting
Miquel Bertran, Francesc Babot,August Climent

Efficient Reductant Calculi by using Partial Evaluation Techniques with Thresholding
P. Julián, G. Moreno, J. Penabad

Categoría 3

Optimización de las Primitivas de Reflexión ofrecidas por los Lenguajes Dinámicos
José Manuel Redondo López, Francisco Ortín Soler, Juan Manuel Cueva Lovelle.

Proving Termination of Context-Sensitive Rewriting with MU-TERM 
Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas 

Categoría 4

Generation of Reduced Certificates in Abstraction-Carrying Code
Elvira Albert, Puri Arenas, German Puebla, Manuel Hermenegildo

The Maude-NRL Protocol Analyzer: 
A Rewriting-Based Inference System for Equational Cryptographic Reasoning
Santiago Escobar, Catherine Meadows, Jose Meseguer.
 
Brewing VoDKA for Six Years: 
The Develoment a Distributed Functional Video-on-Demand Server
Victor M. Gulias, Miguel Barreiro Paz, Jose L. Freire

A Functorial Framework for Constraint Normal Logic Programming
P. Lucio, F. Orejas, E. Pasarella, E. Pino

GVERDI-R: A Tool for Repairing Faulty Web Sites
Maria Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero 

Categoria 5

A Constraint Deductive Database Language based on Hereditary Harrop Formulas 
S. Nieva, F. Sáenz-Pérez, J. Sánchez-Hernández 

A Set Oriented Calculus for Logic Programming 
R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez  

Diseño de un Entorno Integrado de Desarrollo para NiMo 
Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo

Ensuring the Termination of Narrowing-Driven Partial Evaluation using Size-Change Graphs
Gustavo Arroyo, J.Guadalupe Ramos, Josep Silva, Germán Vidal

Formally Deriving a Compiler for SAFE 
Ricardo Peña, Clara Segura

Partial Inversion in First-Order Functional Programming 
Jesús M. Almendros Jiménez, Germán Vidal

Relating Two Semantic Descriptions of Functional Logic Programs 
Francisco J. López-Fraguas, Juan Rodríguez Hortalá, Jaime Sánchez Hernández
 
Term Dependence Graphs 
Diego Cheda, Josep Silva, Germán Vidal

Three New Algorithmic Debugging Strategies 
Josep Silva

Timed Concurrent Constraint Programming with Instantaneous Computations
M. Alpuente, B. Gramlich , A. Villanueva 
 
Towards a Dependency Pair Framework for Context-Sensitive Rewriting
Beatriz Alarcón, Raúl Gutiérrez and Salvador Lucas

XQuery within Logic Programming
Jesús M. Almendros Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños