Programa - Universidad de Alicante

Programa de las III Jornadas de Programación y Lenguajes
Alicante, 12-14 de noviembre
Sede de Alicante de la Universidad de Alicante
Miércoles 12 de Noviembre
8.30 horas: Inscripción
9.30 – 10.30 Sesión 1C
•
ARMISTICE: Una experiencia desarrollando software de gestión con
Erlang. Laura Castro, Víctor M. Gulías, David Cabrero, Carlos Abalde,
Carlos Varela
•
Building an Interface Between Eden and Maple: Towards an Easy
Parallelization of Computer Algebra Algorithms. Rafael Martínez y
Ricardo Peña
10.45 – 11.15 Pausa-Café
11.15 –11.45 Inauguración de las Jornadas
11.45 –12.45 Conferencia Invitada
•
Prof. David Parnas
Using Traditional Mathematics for Precise Specification and Description
12.45 – 13.45 Sesión 2C
•
Comparing Abstract Semantics for Model Checking. M. M. Gallardo, P.
Merino, E. Pimentel
•
From Executable Specifications to Java. Ángel Herranz, Noelia Maya,
Juan José Moreno-Navarro
14.00 – 16.00 Comida
16.30 – 17.30 Sesión 3C
•
Mechanized Equivalence Proofs of Pipelined Processor Software
Models. Francesc Babot, Miquel Bertran, Jordi Riera, Ricard Puig,
August Climent
•
OnDemandOBJ: an optimized OBJ interpreter. María Alpuente, Santiago
Escobar, and Salvador Lucas
17.30 – 18.00 Pausa-Café
18.00 –19.00 Conferencia Invitada
•
Prof. Yuri Gurevich
Executable Specifications: The Abstract State Machine Approach
21.00 Cena en el Castillo de Santa Barbara
Jueves 13 de noviembre
8.30 horas: Inscripción
9.30 – 10.30 Sesión 4C
•
Towards Router Specification in Curry: The Language ROSE. Josep
Silva, J. Guadalupe Ramos, German Vidal
•
Towards the Uniform Manipulation of Visual and Texual Languages in
AToM3. Juan de Lara, Esther Guerra
10.45 --11.15 Pausa-Café
11.15 –12.15 Conferencia invitada
•
Prof. Michael Kifer
In Search of Semantics for the Semantic Web
12.30 –13.30 Sesión 5C
•
Symbolic Model Checking for Timed Concurrent Constraint Programs. M.
Alpuente, M. Falaschi and A. Villanueva
•
Un lenguaje para la definición en tiempo de ejecución de variables
físicas asociadas a un simulador. Manuel Díaz, Daniel Garrido, Enrique
Soler
13.30 – 16.00 Comida
16.00 –17.30 Sesión 6C
•
Artículos cortos
17.30-18.00 Pausa-Café
18.00 – 19.00 Conferencia invitada
•
Prof. Nikos Lorentzos
Temporal Data Management: Research Review and Solution
20.00 Visita al Museo Arqueológico de Alicante (MARQ) y cóctel
Viernes 14 de noviembre
8.30 horas: Inscripción
9.15 – 10.45 Sesión 7C
•
Polynomials for proving termination of context-sensitive rewriting.
Salvador Lucas
•
Urgency in TPBC (2). Olga M.Alonso y David de Frutos Escrig
•
Coordinación basada en tuplas compartidas y en canales de
comunicación. Silvia Amaro, Ernesto Pimentel y Ana M. Roldán
10.45 – 11.15 Pausa-Café
11.15 – 12.15 Conferencia invitada
•
Prof. Alain Colmerauer
Complexity of Universal Programs
12.30 – 13.30 Sesión 8C
•
Refactorizaciones de especialización en cuanto a genericidad. Definición
para una familia de lenguajes y soporte basado en frameworks. Raúl
Marticorena Sánchez, Carlos López Nozal, Yania Crespo GonzálezCarvajal
•
ADDS: Una Aproximación Documental al Desarrollo de Software. José L.
Sierra, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón,
Antonio Navarro
14.15 Clausura de las Jornadas