PROLE Wednesday

	Wednesday 19th
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

Wednesday 19th September
(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.

[ Top ] [ PROLE Complete Program ] [ Monday 17th ] [ Tuesday 18th ] [ Wednesday 19th ]

Wednesday 19th September
(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.

[ Top ] [ PROLE Complete Program ] [ Monday 17th ] [ Tuesday 18th ] [ Wednesday 19th ]

Wednesday 19th September
(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.

[ Top ] [ PROLE Complete Program ] [ Monday 17th ] [ Tuesday 18th ] [ Wednesday 19th ]