Wednesday September 18
Session 1: Welcome, Session 1: Typing (chair: Lars-Åke Fredlund)
-
- 9.30–10.00
-
Francisco J. López-Fraguas and Enrique Martin-Martin: Typing as Functional-Logic Evaluation
- 10.00–10.30
-
Miguel Garcia and Francisco Ortin: Optimización de Lenguajes con Comprobación Estática y Dinámica de Tipos
Session 2: Testing (chair: Francisco Durán)
-
11.00–11.30
-
Macías López, Henrique Ferreiro, Miguel Á. Francisco, and Laura M. Castro: Automatización de Pruebas para Servicios Web: Generación de Propiedades y Modelos
- 11.30–12.00
-
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, and Antonio García-Domínguez: Operadores de Mutación a Nivel de Clase para el Lenguaje C++
- 12.00–12.30
-
Clara Benac Earle and Lars-Åke Fredlund: Testing Java with QuickCheck
Session 3: Abstraction and Analysis (chair: María-del-Mar Gallardo)
-
12.45–13.15
-
Elvira Albert, Jesús Correas Fernández, Germán Puebla, and Guillermo Román-Díez: Quantified Abstractions of Distributed Systems
- 13.15–13.45
-
Manuel Montenegro, Ricardo Peña, and Clara Segura: Shape Analysis in a Functional Language by Using Regular Languages
Session 4: Fuzzy Logic (chair: Paqui Lucio)
-
16.00–16.30
-
Patrik Eklund, M. Ángeles Galán, Robert Helgesson, Jari Kortelainen, Ginés Moreno, and Carlos Vázquez: Towards a Categorical Description of Fuzzy Logic Programming
- 16.30–17.00
-
Jesús M. Almendros-Jiménez, Alejandro Luna, Ginés Moreno, and Carlos Vázquez: Analyzing Fuzzy Logic Computations with Fuzzy XPath
- 17.00–17.30
-
Miquel Bofill, Ginés Moreno, Carlos Vázquez, and Mateu Villaret: Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT
Thursday September 19
Session 5: Logic and Theory (chair: Fernando Orejas)
-
9.00–9.30
-
Javier Álvez, Paqui Lucio, and German Rigau: Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning
- 9.30–10.00
-
Francisco J. Galán and Ahmed Riveras: Semantic Web Services in a Transactional Context
- 10.00–10.30
-
María Alpuente, Santiago Escobar, and Javier Espert: Detecting Modular ACU Structural Symmetries
Session 6: Invited Talk
-
11.00-12.30
-
Olaf Chitil: Typed Lazy Contracts
Session 7: Model and Bisimilarity Checking (chair: Francisco J. López-Fraguas)
-
16.00–16.30
-
María Martos-Salgado and Fernando Rosa-Velardo: On the Decidability of Model Checking LTL Fragments in Monotonic Extensions of Petri Nets
- 16.30–17.00
-
Laura Panizo and María-del-Mar Gallardo: Verifying Hybrid Systems with Explicit Model Checkers
- 17.00–17.30
-
Fernando Orejas, Artur Boronat, Ulrike Golas, and Nikos Mylonakis: Checking Bisimilarity for Attributed Graph Transformation
Friday September 20
Session 8: Database Theory (chair: Ricardo Peña)
-
9.00–9.30
-
Fernando Sáenz-Pérez: Towards Bridging the Expressiveness Gap Between Relational and Deductive Databases
- 9.30–10.00
-
Gabriel Aranda, Susana Nieva, Fernando Sáenz-Pérez, and Jaime Sánchez-Hernández: R-SQL: An SQL Database System with Extended Recursion
- 10.00–10.30
-
Rafael Caballero, Yolanda García-Ruiz, and Fernando Sáenz-Pérez: Declarative Debugging of Wrong and Missing Answers for SQL Views
Session 9: Languages and Systems (chair: Laura Castro)
-
11.00–11.30
-
Ignacio Castiñeiras and Fernando Sáenz-Pérez: Improving the Search Capabilities of a CFLP(FD) System
- 11.30–12.00
-
Ricardo J. Rodríguez, Lars-Åke Fredlund, and Ángel Herranz: From UML State-Machine Diagrams to Erlang
- 12.00–12.30
-
Ana-Rosario Espada and María-del-Mar Gallardo, and Damián Adalid: DRAGONFLY: Encapsulating Android for Instrumentation
This document was translated from LATEX by
HEVEA.