| Martes, 13 de septiembre | ||
| 18:00-20:00 | Sesión 1: Inauguración y charla plenaria CEDI | |
| H. Ishiguro. Studies on Humanoids and Androids | ||
| 20:00-21:00 | Cóctel | |
Miércoles, 14 de septiembre |
||
| 09:00-10:30 | Sesión 2: Transformación y Optimización | |
| Guillermo Vigueras, Manuel Carro, Salvador Tamarit and Julio Mariño. Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code | ||
| Salvador Tamarit, Julio Mariño, Guillermo Vigueras and Manuel Carro. Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems | ||
| Francisco Bueno, Jesús Correas and Fernando Sáenz-Pérez. Metapredicate Optimization for Datalog Queries through Program Analysis | ||
| 10:30-11:00 | Pausa café | |
| 11:00-12:30 | Sesión 3: Charla invitada SISTEDES (Sala Mayor) | |
| A. Voronkov. The Design and Implementation of EasyChair | ||
| 12:45-14:15 | Sesión 4: Mesa redonda plenaria CEDI | |
| 16:00-17:30 | Sesión 5: Trabajos ya publicados (I) | |
| Salvador Lucas and José Meseguer. Proving termination properties of conditional rewrite systems | ||
| Marco Comini, Maria Del Mar Gallardo, Laura Titolo and Alicia Villanueva. Abstract Analysis of Universal Properties for tccp | ||
| Maria-Del-Mar Gallardo, Pedro Merino, Laura Panizo and Alberto Salmern. River basin management with Spin | ||
| Clara Benac Earle, Lars-Ake Fredlund and John Hughes. Automatic Grading of Programming Exercises using Property-Based Testing | ||
| 17:30-18:00 | Pausa café | |
| 18:00-19:30 | Sesión 6: Asamblea SISTEDES y premio mejor tesis | |
Jueves, 15 de septiembre |
||
| 09:00-10:30 | Sesión 7: Lenguajes y Semánticas | |
| Marisa Navarro, Fernando Orejas, Elvira Pino and Leen Lambers. A Logic of Graph Conditions Extended with Paths | ||
| Fernando Sáenz-Pérez. Formal Relational Languages in a Deductive Setting | ||
| Pascual Julián-Iranzo, Ginés Moreno and Jaime Penabad. Fuzzy Thresholded Fixpoint Semantics | ||
| 10:30-11:00 | Pausa café | |
| 11:00-12:30 | Sesión 8: Charla invitada PROLE | |
| Arnaud Gotlieb. Constraint-Based Testing: An Emerging Trend in Software Testing | ||
| 12:45-14:15 | Sesión 9: Charla invitada plenaria CEDI | |
| 16:00-17:30 | Sesión 10: Trabajos ya publicados (II) | |
| Naoki Nishida, Adrián Palacios and Germán Vidal. Reversible Term Rewriting | ||
| María Alpuente, Demis Ballis, Francisco Frechina and Julia Sapiña. Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis | ||
| Álvaro García-Pérez and Pablo Nogueira. No solvable lambda-value term left behind | ||
| Francisco Javier López-Fraguas, Manuel Montenegro and Juan Rodríguez-Hortalá. Polymorphic Types in Erlang Function Specifications | ||
| 17:30-18:00 | Pausa café | |
| 18:00-19:30 | Sesión 11: Tutoriales y Web | |
| Ricardo Peña. An Introduction to Liquid Haskell | ||
| Paqui Lucio. A Tutorial on Using Dafny to Construct Verified Software | ||
| Julián Alarte, Josep Silva and David Insa. Page-Level Webpage Menu Detection | ||
| 20:00-22:00 | Cena social | |
Viernes, 16 de septiembre |
||
| 09:00-10:30 | Sesión 12: Lenguajes | |
| Ricardo Peña, Santiago Saavedra and Jaime Sánchez-Hernández. Processing an Intermediate Representation Written in Lisp | ||
| Manuel Montenegro, Susana Nieva, Ricardo Peña and Clara Segura. Synthesizing Invariants for Arrays (Work in Progress) | ||
| Edelmira Pasarella, Maria-Esther Vidal and Cristina Zoltan. Comparing MapReduce and Pipeline implementations for counting triangles | ||
| 10:30-11:00 | Pausa café | |
| 11:00-12:30 | Sesión 13: Verificación y Análisis | |
| Jesús M. Almendros-Jiménez and Antonio Becerra-Terón. Testing of ATL programs from Randomly Generated ECore Test Models | ||
| David Insa, Sergio Pérez and Josep Silva. How to Construct a Suite of Program Slices | ||
| Raúl Gutiérrez, Salvador Lucas and Patricio Reinoso. A tool for the automatic generation of logical models of order-sorted first-order theories | ||
| 12:45-14:30 | Sesión 14: Mesa redonda plenaria CEDI y clausura | |