Jornadas 2011: A Coruña, 5-7 de septiembre
Patrocinadores:
Programa
| Lunes 05 (Rectorado) | Martes 06 (Fac. Informática - Aula 2.6) | Miércoles 07 (Fac. Informática - Aula 2.6) | ||||
|---|---|---|---|---|---|---|
| 09:00 |
(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 |
|
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
[Subir]
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
[Subir]
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
[Subir]
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
[Subir]
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
[Subir]
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
[Subir]
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
[Subir]
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
[Subir]
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
[Subir]