PROLE Martes

	Martes 18
8:00	8:00 - 9:00 Buses + Registro (Todo el día)
9:00	9:00 - 10:30 Sesión 1: Programación (lóg.) funcional/Apps.
10:00
	10:30 - 11:00 Café
11:00	11:00 - 12:30 Sesión 2: Transformación de programas
12:00
	12:30 - 13:30 @Turing - Charla invitada Armando Fox (U. Berkeley, USA)
13:00
	13:30 - 15:00 Comida
14:00
15:00	15:00 - 16:30 Sesión 3: Bases de Datos
16:00
	16:30 - 17:00 Café
17:00	17:00 - 18:30 Sesión 4: Programación lógica/restricciones
18:00
	18:30 - 19:00 Buses Organización
19:00
20:00
	20:30 - 22:00 Visita Guiada
21:00
22:00	22:00 - 23:30 Ruta de Tapas
23:00

Martes 18 de Septiembre
(9:00 - 10:30)

Sesión 1: Programación (lógica) funcional/Aplicaciones
Chair: Dr. Ricardo Peña

Lidia Sánchez Gil, Mercedes Hidalgo-Herrero and Yolanda Ortega- Mallén. A formalization of Launchbury's natural semantics for lazy evaluation in Coq.

Ignacio Castiñeiras and Fernando Saenz-Perez. Improving the Performance of FD Constraint Solving in a CFLP System.

David Duque and Laura M. Castro. Tecnología funcional en aplicaciones de televisión interactiva: acceso a redes sociales con Synthetrick.

[ Inicio ] [ Programa Completo PROLE ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Martes 18 de Septiembre
(11:00 - 12:30)

Sesión 2: Transformación de programas
Chair: Dr. Jesús Almendros

Jose F. Morales, Rémy Haemmerlé, Manuel Carro and Manuel Hermenegildo. Lightweight Compilation of (C)LP to JavaScript.

David Insa, Josep Silva and César Tomás. Mejora del rendimiento de la depuración declarativa mediante compresión y expansión de bucles.

Alejandro Acosta, Francisco Almeida and Vicente Blanco. Paralldroid: a source to source translator for development of native Android applications.

[ Inicio ] [ Programa Completo PROLE ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Martes 18 de Septiembre
(15:00 - 16:30)

Sesión 3: Bases de Datos
Chair: Dr. Ginés Moreno

Fernando Saenz-Perez. Tabling with Support for Relational Features in a Deductive Database.

Rafael Caballero, Jose Luzon-Martin and Antonio Tenorio. Test-Case Generation for SQL Nested Queries with Existential Conditions.

Jesús M. Almendros-Jiménez, Alejandro Luna Tedesqui and Ginés Moreno. Debugging Fuzzy-XPath Queries.

[ Inicio ] [ Programa Completo PROLE ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Martes 18 de Septiembre
(17:00 - 18:30)

Sesión 4: Programación lógica/restricciones
Chair: Dr. Fernando Orejas

Pablo Chico De Guzmán, Manuel Carro, Manuel Hermenegildo and Peter Stuckey. A General Implementation Framework for Tabled CLP.

Marco Comini, Laura Titolo and Alicia Villanueva. Abstract diagnosis for timed concurrent constraint programs.

Miquel Bofill Arasa, Joan Espasa Arxer, Miquel Palahí Sitges and Mateu Villaret. An extension to Simply for solving Weighted Constraint Satisfaction Problems with Pseudo-Boolean Constraints.

[ Inicio ] [ Programa Completo PROLE ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]