sistedes
UDC
Jornadas 2011: A Coruña, 5-7 de septiembre
JISBD 2011PROLE 2011JCIS 2011

Programa

  Lunes 05 (Rectorado)   Martes 06 (Fac. Informática - Aula 2.6)   Miércoles 07 (Fac. Informática - Aula 2.6)
    09:00
 
Conferencia Shari Pfleeger
(Salón de Actos)
09:00 Sesión 4: Validación y Verificación
10:00 Taller de Programación Funcional (TPF) 10:00  Café  
  10:20 Apertura PROLE  
  10:30 Sesión 1: El lenguaje de consulta XPath 10:30  Café
    11:00 Sesión 5: Bases de Datos Deductivas y Optimización
11:30 Café TPF    
12:00 TPF 12:00 Sesión 2: Programación Lógica y Funcional  
    12:30 Sesión 6: Razonamiento Automático
13:00 Comida TPF    
  13:30 Comida  
    14:00 Comida
15:00 TPF   15:00 Conferencia invitada: Mike Codish  
15:30 Apertura Jornadas    
16:00 Conferencia TECNOCOM   16:00 Sesión 7: Depuración Algorítmica - Herramientas I
16:30 Conferencia Carlos Pedrinaci 16:30  Café  
  17:00 Sesion 3: Certificación y Corrección  
17:30  Café   17:30  Café
18:00
 
Mesa Redonda: Evaluación en Informática y carrera profesional
 
  18:00 Sesión 8: Transformación de Modelos y Teoría de dominios - Herramientas II
  18:30 Transporte a hoteles  
19:30  Asamblea SISTEDES 19:30 Recogida en hoteles para Cena de Gala en el Pazo de Vilaboa    
20:00 Visita guiada a la Ciudad Vieja    
21:30 Recepción en el Rectorado    
 

Lunes 05

Taller de Programación Funcional (TPF)

 
10:00-11:30.- Apertura y Seminario: Terminación en el paradigma funcional: estado del arte y automatización (título provisional)
Raúl Gutiérrez (University of Illinois at Urbana-Champaign, USA)
 
12:00-13:00.- Seminario: Scrap your tactics: automating Coq proofs with generalized type classes
Aleksandar Nanevski (Fundación IMDEA Software, Madrid)
 
15:00-15:45.- Ponencia: Estrategias del cálculo lambda e interderivación de artefactos semánticos
Alvaro García (Fundación IMDEA Software) y Pablo Nogueira (U. Politécnica de Madrid)
 
15:45-16:30.- Ponencia: Slicing sequential Erlang programs
Josep Silva, Salvador Tamarit y César Tomás (U. Politécnica de Valencia)
 
16:30-17:30.- Ponencia: Summer of Code: Mejorar el Plug-in de Haskell para Eclipse
Alejandro Serrano Mena
 

 
 

Martes, 10:30-12:00

Sesión 1: El lenguaje de consulta XPath

Chair: Puri Arenas

 
10:30.- Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language
Jesus M. Almendros-Jimenez,Alejandro Luna Tedesqui,Gines Moreno
 
11:00.- Projecting and Pruning Xquery Using Dependence Graphs
Jesus Almendros,Salvador Tamarit,Josep Silva
 
11:30.- XPath Query Processing in a Functional-Logic Language
Jesus M. Almendros-Jimenez, Rafael Caballero, Yolanda García-Ruiz, Fernando Saenz-Perez
 

 

Martes, 12:00-13:30

Sesión 2: Programación Lógica y Funcional

Chair: Paqui Lucio

 
12:00.- Liberal Typing for Functional Logic Programs
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodriguez-Hortala
 
12:30.- Reduction Strategies for Rewriting with Call-time Choice
Jaime Sánchez-Hernández
 
13:00.- Extending the TOY System with the ECLiPSe Solver over Sets of Integers
Sonia Estevez, Jesus Correas and Fernando Sáenz-Pérez
 

 

Martes, 17:00-18:30

Sesión 3: Certificación y Corrección

Chair: Francisco J. López

 
17:00.- Contracts for Security Adaptation
José Antonio Martín, Ernesto Pimentel
 
17:30.- Certification of Safe Polynomial Memory Bounds
Javier De Dios, Ricardo Peña
 
18:00.- Dynamic soundness in Resource-Constrained Workflow Nets
María Martos-Salgado, Fernando Rosa-Velardo
 

 

Miércoles, 09:00-10:30

Sesión 4: Validación y Verificación

Chair: Ricardo Peña

 
09:00.- Uso de propiedades abstractas para especificación de pruebas funcionales de caja negra
Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías
 
09:30.- Verificación de interfaces gráficas de usuario utilizando pruebas basadas en propiedades
David Iglesias Fraga,Laura M. Castro Souto
 
10:00.- Erlang Implementation and Formal Verification of a distributed Multi-Agent System Protocol
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
 

 

Miércoles, 11:00-12:30

Sesión 5: Bases de Datos Deductivas y Optimización

Chair: Ginés Moreno

 
11:00.- Outer Joins in a Deductive Database System
Fernando Saenz-Perez
 
11:30 Incorporating Integrity Constraints to a Deductive Database System
Gabriel Aranda López,Susana Nieva Soto,Fernando Sáenz Pérez,Jaime Sánchez Hernández
 
12:00.- A CFLP Approach for Modeling an Optimization Scheduling Problem
Ignacio Castiñeiras, Fernando Sáenz-Pérez
 

 

Miércoles, 12:30-14:00

Sesión 6: Razonamiento Automático

Chair: Víctor Gulias

 
12:30.- Simplifying General Reductants with Fuzzy Unfolding-based Techniques
Pedro-Jose Morcillo, Gines Moreno
 
13:00.- An Implementation of the Context-Based Tableau
Paqui Lucio, Jose Gaintzarain, Jon Ander Hernandez,
 
13:30.- Finite Model Reasoning on Large First-Order Ontologies
Ander Azpeitia, Montserrat Hermo, Paqui Lucio
 

 

Miércoles, 16:00-17:30

Sesión 7: Depuración Algorítmica - Herramientas I

Chair: Montse Hermo

 
16:00.- Hacia una estrategia óptima para la depuración algorítmica
David Insa, Josep Silva
 
16:30.- An Improved Version of Divide and Query
David Insa, Josep Silva
 
17:00.- A tool for testing data types implementations from Maude algebraic specifications
Isabel Pita, Adrian Riesco
 

 

Miércoles, 18:00-19:30

Sesión 8: Transformación de Modelos y Teoría de dominios - Herramientas II

Chair: Fernando Orejas

 
18:00.- Context-Aware Composition and Adaptation based on Model Transformation
Javier Cubo, Carlos Canal and Ernesto Pimentel
 
18:30.- Relating function spaces to resourced function spaces
Lidia Sánchez Gil, Mercedes Hidalgo-Herrero,Yolanda Ortega-Mallén
 
19:00.- A Tool for the Integration of Constraint Logic Programming in Spreadsheets
Ana María Fernández-Soriano, Julio Mariño, Ángel Herranz