PROLE 2013 Presentations

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.