PROLE Miércoles

XII Jornadas sobre Programación y Lenguajes

Programa Sesiones - PROLE 2012
[ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

  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
 


Programa de Sesiones Temáticas PROLE 2012


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


Sesion 5: Fundamentos
Chair: Dra. Paqui Lucio

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)


Sesion 6: Ingeniería del Software
Chair: Dra. Marisa Navarro

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)


Sesion 7: Lógica Temporal/Model checking
Chair: Dra. Alicia Villanueva

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 ]

Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer