Programa_prole

XII Jornadas sobre Programación y Lenguajes

Programa Sesiones - PROLE 2012 [ Programa por días ]

  Lunes 17 Martes 18 Miércoles 19
8:00 8:00 - 9:00
Buses + Registro (Todo el día)

8:00 - 9:00
Buses + Registro (Todo el día)
8:00 - 9:00
Buses + Registro (Todo el día)
 
9:00 9:00 - 10:30
TPF - Charla invitada
TPF - Seminario

@Turing
9:00 - 10:30
Sesión 1:
Programación (lóg.) funcional/Apps.
9:00 - 10:30
Sesión 5:
Fundamentos
 
10:00
  10:30 - 11:00
Café
10:30 - 11:00
Café
10:30 - 11:00
Café
11:00 11:00 - 12:30
Artículos TPF

TPF
11:00 - 12:30
Sesión 2:
Transformación de programas
11:00 - 12:30
Sesión 6:
Ingeniería del Software
 
12:00
  12:30 - 13:30
Inauguración SISTEDES 2012
12:30 - 13:30
@Turing - Charla invitada
Armando Fox (U. Berkeley, USA)
12:30 - 13:30
@Turing - Charla invitada
Maribel Fernandez. (KC London, UK)
13:00
  13:30 - 15:00
Comida


13:30 - 15:00
Comida
13:30 - 15:00
Comida
14:00
 
15:00 15:00 - 16:30
TPF - Tutorial
TPF - Charla invitada

@Turing
15:00 - 16:30
Sesión 3:
Bases de Datos
15:00 - 16:30
Sesión 7:
Lógica Temporal/Model checking
 
16:00
  16:30 - 17:00
Café
16:30 - 17:00
Café
16:30 - 17:00
Café
17:00 17:00 - 18:30
@Turing - Mesa redonda
"La investigación científica informática y el año Turing"
17:00 - 18:30
Sesión 4:
Programación lógica/restricciones
 
18:00
  18:30 - 20:00
Asamblea Sistedes
18:30 - 19:00
Buses Organización
18:30 - 19:00
Buses Organización
19:00    
 
20:00 20:00 - 20:30
Buses Organización
  20:30 - 22:00
Visita Guiada


20:30 - 21:30
Panorámica Aguadulce

21:00
  21:30 - 23:30
Cena de Gala


22:00 22:00 - 23:30
Vino Recepción


22:00 - 23:30
Ruta de Tapas
 
23:00



Lunes 17, 9:00 - 10:30
Sesión 1

Jose Iborra. Eden: An F#/WPF framework for building GUI tools. @Turing - Charla invitada

Pablo Nogueira. Los cálculos lambda y lambda-value y sus estrategias de reducción. @Turing - Seminario

[ Inicio ] [ Programa General SISTEDES ]


Lunes 17, 11:00 - 12:30
Sesión 2

Alvaro Garcia-Perez and Pablo Nogueira. Enfoque Normal y Enfoque Spine para Reducción en el Cálculo Lambda Puro.

David Insa, Josep Silva, Salvador Tamarit and César Tomás. Fragmentación de Programas con Emparejamiento de Patrones.

Macías López Iglesias, Laura M. Castro and David Cabrero. Sistema funcional distribuido de publicidad para iDTV.

[ Inicio ] [ Programa General SISTEDES ]


Lunes 17, 15:00 - 16:30
Sesión 3

Ricardo Peña. Programación con paralelismo de datos en Haskell. @Turing - Tutorial

Diana Parra. Erlang, del laboratorio a la empresa. @Turing - Charla Invitada

[ Inicio ] [ Programa General SISTEDES ]




Programa de Sesiones Temáticas PROLE 2012

Martes 18, 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 General SISTEDES ]


Martes 18, 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 General SISTEDES ]


Martes 18, 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 General SISTEDES ]


Martes 18, 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 General SISTEDES ]


Miércoles 19, 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 General SISTEDES ]


Miércoles 19, 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 General SISTEDES ]


Miércoles 19, 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 General SISTEDES ]

Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer