PROLE Miércoles

	Miércoles 19
8:00	8:00 - 9:00 Buses + Registro (Todo el día)
9:00	9:00 - 10:30 Sesión 5: Fundamentos
10:00
	10:30 - 11:00 Café
11:00	11:00 - 12:30 Sesión 6: Ingeniería del Software
12:00
	12:30 - 13:30 @Turing - Charla invitada Maribel Fernandez. (KC London, UK)
13:00
	13:30 - 15:00 Comida
14:00
15:00	15:00 - 16:30 Sesión 7: Lógica Temporal/Model checking
16:00
	16:30 - 17:00 Café
17:00
18:00
	18:30 - 19:00 Buses Organización
19:00
20:00
	20:30 - 21:30 Panorámica Aguadulce
21:00
	21:30 - 23:30 Cena de Gala
22:00
23:00

Miércoles 19 de Septiembre
(9:00 - 10:30)

Edelmira Pasarella, Fernando Orejas, Elvira Pino and Marisa Navarro. Semantics of structured normal logic programs.

Simone Santini. Regular queries in event systems with bounded uncertainty.

Pedro J. Morcillo, Gines Moreno, Jaime Penabad and Carlos Vázquez. String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations.

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

Miércoles 19 de Septiembre
(11:00 - 12:30)

Dragan Ivanovic, Manuel Carro and Manuel Hermenegildo. Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations.

Jesus M. Almendros-Jimenez and Luis Iribarne. PTL: A Prolog based Model Transformation Language.

Enrique Chavarriaga, Fernando Díez and Alfonso Díez. Intérprete PsiXML para gramáticas de mini-Lenguajes XML en aplicaciones Web.

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

Miércoles 19 de Septiembre
(15:00 - 16:30)

Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro and Fernando Orejas. Invariant-Free Clausal Temporal Resolution.

Damián Adalid, Alberto Salmerón, María del Mar Gallardo and Pedro Merino. Testing Temporal Logic on Infinite Java Traces.

Laura Panizo and María del Mar Gallardo. Analyzing Hybrid Systems with JPF.

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