[PROLE] PROLE+TPF 2011: LLamada a la Participación
Pablo Nogueira
pablo en babel.ls.fi.upm.es
Mar Jun 28 13:11:23 CEST 2011
----------------------------------------------------------------------------
Call For Participation
XI Jornadas sobre Progragmación y Lenguages (PROLE 2011)
III Taller de Programación Funcional (TPF 2011)
5--7 de Septiembre de 2011
A Coruña (España)
http://www.sistedes.es/jornadas2011/prole.htm
** Inscripción temprana: antes del 15 de julio de 2011 **
Las Jornadas de PROgramación y LEnguajes (PROLE) constituyen un marcos
propicio de reunión, debate y divulgación para los grupos españoles
que investigan en temas relacionados con la programación y los
lenguajes de programación. Con la organización de este evento nacido
en 2001, de carácter anual, se pretende fomentar el intercambio de
experiencias y resultados, así como la comunicación y cooperación
entre dichos grupos. La XI edición de estas Jornadas (PROLE'11) tendrá
lugar en A Coruña del 6 al 8 de septiembre de 2011, junto a las XVI
Jornadas de Ingeniería del Software y Bases de Datos (JISBD'11),
auspiciadas por la Sociedad de Ingeniería del Software y Tecnologías
de Desarrollo de Software (SISTEDES).
Por su parte, el Taller de Programación Funcional (TPF), que tendrá
lugar el 5 de septiembre, aspira a ser el punto de encuentro anual de
la comunidad de programación funcional española. Nacido del interés
por conectar a los miembros de dicha comunidad, el Taller celebra este
año su tercera edición. Siguiendo el espíritu de un taller
(workshop), el TPF es un foro informal de discusión, aprendizaje y
divulgación que incluye todo el ecosistema de la programación
funcional. El Taller se organiza en torno a seminarios sobre temas de
interés junto con la presentación de trabajos o propuestas.
INSCRIPCION:
La inscripción está abierta a través de la página web:
http://www.sistedes.es/jornadas2011/inscripcion.htm
PUBLICACION
Todos los participantes recibirán actas informales en soporte
electrónico tanto de PROLE 2011 como de TPF 2011.
COMITÉ DE PROGRAMA PROLE 2011
Jesús Almendros U. de Almería
María Alpuente U. Politécnica de Valencia
Puri Arenas U. Complutense de Madrid (Presidenta CP)
Rafa Caballero U. Complutense de Madrid
Manuel Carro U. Politécnica de Madrid
Fernando Cuartero U. de Castilla la Mancha
Francisco Durán U. de Málaga
María del Mar Gallardo U. de Málaga
Víctor Gulías U. de A Coruña
Montserrat Hermo U. del País Vasco
Paqui Lucio U. del País Vasco
Ginés Moreno U. de Castilla la Mancha
Albert Oliveras U. Politécnica de Cataluña
Fernando Orejas U. Politécnica de Cataluña
Miguel Palomino U. Complutense de Madrid
Ricardo Peña U. Complutense de Madrid
César Sánchez Fundación IMDEA Software
Josep Silva U. Politécnica de Valencia
Alicia Villanueva U. Politécnica de Valencia
Damiano Zanardini U. Politécnica de Madrid
COMITÉ DE PROGRAMA TPF 2011
Laura Castro U. de A Coruña
Emilio J. Gallego Arias U. Politécnica de Madrid
Francisco Gutiérrez U. de Málaga
Salvador Lucas U. Politécnica de Valencia
Pablo Nogueira U. Politécnica de Madrid (Presidente CP)
Ricardo Peña U. Complutense de Madrid
Jaime Sánchez Hernández U. Complutense de Madrid
Josep Silva U. Politécnica de Valencia
Mateu Villaret U. de Girona
COMITÉ ORGANIZADOR
Víctor Gulías (Presidente)
Laura Castro
David Cabrero
David Castro
Henrique Ferreiro
Javier Taibo
---------------------------------------------------------------------
PROGRAMA TPF 2011 (5 de septiembre de 2011)
---------------------------------------------------------------------
LUNES 5 de septiembre
10:00 - 11:30 Apertura Taller.
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).
11:30 - 12:00 Café
12:00 - 13:00
Seminario: "Scrap your tactics: automating Coq proofs with
generalized type classes". Aleksandar Nanevski (Fundación IMDEA
Software, Madrid).
13:00 - 15:00 Comida
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
Seminario: "Experiencias con programación funcional
en F# en la industria". José Iborra, Londres, Reino Unido.
---------------------------------------------------------------------
PROGRAMA PROLE 2011 (6-8 de septiembre de 2011)
---------------------------------------------------------------------
CONFERENCIANTES INVITADOS:
Shari Pfleeger (Institute for Information Infrastructure Protection
at Dartmouth College, Hanover, New Hampshire)
Michael Codish (Ben-Gurion University of the Negev, Beer-Sheva, Israel)
---------------------------------------------------------------------
DETALLES (pueden variar los horarios):
MARTES 6 de septiembre
10:20 ** Apertura PROLE 2011 **
10:30-12:00 ** Sesión 1: El lenguaje de consulta XPath
Chair: Puri Arenas
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language
Jesus M. Almendros-Jimenez,Alejandro Luna Tedesqui,Gines Moreno
Projecting and Pruning Xquery Using Dependence Graphs
Jesus Almendros,Salvador Tamarit,Josep Silva
XPath Query Processing in a Functional-Logic Language
Jesus M. Almendros-Jimenez, Rafael Caballero, Yolanda García-Ruiz,
Fernando Saenz-Perez
---------------------------------------------------------------------
12:00-13:30 ** Sesión 2: Programación Lógica y Funcional
Chair: Paqui Lucio
Liberal Typing for Functional Logic Programs
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodriguez-Hortala
Reduction Strategies for Rewriting with Call-time Choice
Jaime Sánchez-Hernández
Extending the TOY System with the ECLiPSe Solver over Sets of Integers
Sonia Estevez, Jesus Correas and Fernando Sáenz-Pérez
---------------------------------------------------------------------
15:00-16-30 ** Sesión 3: Conferencia invitada:
"Programming with Boolean Satisfaction" Mike Codish
Chair: Puri Arenas
---------------------------------------------------------------------
17:00-18:30 ** Sesión 4: Certificación y Corrección
Chair: Francisco J. López
Contracts for Security Adaptation
José Antonio Martín, Ernesto Pimentel
Certification of Safe Polynomial Memory Bounds
Javier De Dios, Ricardo Peña
Dynamic soundness in Resource-Constrained Workflow Nets
María Martos-Salgado, Fernando Rosa-Velardo
---------------------------------------------------------------------
MIÉRCOLES 7 de septiembre
9:00-10:30: ** Sesión 5: Validación y Verificación
Chair: Ricardo Peña
Uso de propiedades abstractas para especificación de pruebas
funcionales de caja negra
Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías
Verificación de interfaces gráficas de usuario utilizando pruebas
basadas en propiedades
David Iglesias Fraga,Laura M. Castro Souto
Erlang Implementation and Formal Verification of a distributed
Multi-Agent System Protocol
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
---------------------------------------------------------------------
11:00-12:30 ** Sesión 6: Bases de Datos Deductivas y Optimización
Chair: Ginés Moreno
Outer Joins in a Deductive Database System
Fernando Saenz-Perez
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
A CFLP Approach for Modeling an Optimization Scheduling Problem
Ignacio Castiñeiras, Fernando Sáenz-Pérez
---------------------------------------------------------------------
12:30-14:00 ** Sesión 7: Razonamiento Automático
Chair: Víctor Gulias
Simplifying General Reductants with Fuzzy Unfolding-based Techniques
Pedro-Jose Morcillo, Gines Moreno
An Implementation of the Context-Based Tableau
Paqui Lucio, Jose Gaintzarain, Jon Ander Hernandez,
Finite Model Reasoning on Large First-Order Ontologies
Ander Azpeitia, Montserrat Hermo, Paqui Lucio
-----------------------------------------------------------------------
16:00-17:30 ** Sesión 8: Depuración Algorítmica - Herramientas I
Chair: Montse Hermo
An Improved Version of Divide and Query
David Insa, Josep Silva
Hacia una estrategia óptima para la depuración algorítmica
David Insa, Josep Silva
A tool for testing data types implementations from Maude algebraic
specifications
Isabel Pita, Adrian Riesco
-----------------------------------------------------------------------
18:00-19:30 ** Sesión 9: Transformación de Modelos y
Teoría de dominios - Herramientas II
Chair: Fernando Orejas
Context-Aware Composition and Adaptation based on Model Transformation
Javier Cubo, Carlos Canal and Ernesto Pimentel
Relating function spaces to resourced function spaces
Lidia Sánchez Gil, Mercedes Hidalgo-Herrero,Yolanda Ortega-Mallén
A Tool for the Integration of Constraint Logic Programming in Spreadsheets
Ana María Fernández-Soriano, Julio Mariño, Ángel Herranz
------------ próxima parte ------------
----------------------------------------------------------------------------
Call For Participation
XI Jornadas sobre Progragmación y Lenguages (PROLE 2011)
III Taller de Programación Funcional (TPF 2011)
5--7 de Septiembre de 2011
A Coruña (España)
http://www.sistedes.es/jornadas2011/prole.htm
** Inscripción temprana: antes del 15 de julio de 2011 **
Las Jornadas de PROgramación y LEnguajes (PROLE) constituyen un marcos
propicio de reunión, debate y divulgación para los grupos españoles
que investigan en temas relacionados con la programación y los
lenguajes de programación. Con la organización de este evento nacido
en 2001, de carácter anual, se pretende fomentar el intercambio de
experiencias y resultados, así como la comunicación y cooperación
entre dichos grupos. La XI edición de estas Jornadas (PROLE'11) tendrá
lugar en A Coruña del 6 al 8 de septiembre de 2011, junto a las XVI
Jornadas de Ingeniería del Software y Bases de Datos (JISBD'11),
auspiciadas por la Sociedad de Ingeniería del Software y Tecnologías
de Desarrollo de Software (SISTEDES).
Por su parte, el Taller de Programación Funcional (TPF), que tendrá
lugar el 5 de septiembre, aspira a ser el punto de encuentro anual de
la comunidad de programación funcional española. Nacido del interés
por conectar a los miembros de dicha comunidad, el Taller celebra este
año su tercera edición. Siguiendo el espíritu de un taller
(workshop), el TPF es un foro informal de discusión, aprendizaje y
divulgación que incluye todo el ecosistema de la programación
funcional. El Taller se organiza en torno a seminarios sobre temas de
interés junto con la presentación de trabajos o propuestas.
INSCRIPCION:
La inscripción está abierta a través de la página web:
http://www.sistedes.es/jornadas2011/inscripcion.htm
PUBLICACION
Todos los participantes recibirán actas informales en soporte
electrónico tanto de PROLE 2011 como de TPF 2011.
COMITÉ DE PROGRAMA PROLE 2011
Jesús Almendros U. de Almería
María Alpuente U. Politécnica de Valencia
Puri Arenas U. Complutense de Madrid (Presidenta CP)
Rafa Caballero U. Complutense de Madrid
Manuel Carro U. Politécnica de Madrid
Fernando Cuartero U. de Castilla la Mancha
Francisco Durán U. de Málaga
María del Mar Gallardo U. de Málaga
Víctor Gulías U. de A Coruña
Montserrat Hermo U. del País Vasco
Paqui Lucio U. del País Vasco
Ginés Moreno U. de Castilla la Mancha
Albert Oliveras U. Politécnica de Cataluña
Fernando Orejas U. Politécnica de Cataluña
Miguel Palomino U. Complutense de Madrid
Ricardo Peña U. Complutense de Madrid
César Sánchez Fundación IMDEA Software
Josep Silva U. Politécnica de Valencia
Alicia Villanueva U. Politécnica de Valencia
Damiano Zanardini U. Politécnica de Madrid
COMITÉ DE PROGRAMA TPF 2011
Laura Castro U. de A Coruña
Emilio J. Gallego Arias U. Politécnica de Madrid
Francisco Gutiérrez U. de Málaga
Salvador Lucas U. Politécnica de Valencia
Pablo Nogueira U. Politécnica de Madrid (Presidente CP)
Ricardo Peña U. Complutense de Madrid
Jaime Sánchez Hernández U. Complutense de Madrid
Josep Silva U. Politécnica de Valencia
Mateu Villaret U. de Girona
COMITÉ ORGANIZADOR
Víctor Gulías (Presidente)
Laura Castro
David Cabrero
David Castro
Henrique Ferreiro
Javier Taibo
---------------------------------------------------------------------
PROGRAMA TPF 2011 (5 de septiembre de 2011)
---------------------------------------------------------------------
LUNES 5 de septiembre
10:00 - 11:30 Apertura Taller.
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).
11:30 - 12:00 Café
12:00 - 13:00
Seminario: "Scrap your tactics: automating Coq proofs with
generalized type classes". Aleksandar Nanevski (Fundación IMDEA
Software, Madrid).
13:00 - 15:00 Comida
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
Seminario: "Experiencias con programación funcional
en F# en la industria". José Iborra, Londres, Reino Unido.
---------------------------------------------------------------------
PROGRAMA PROLE 2011 (6-8 de septiembre de 2011)
---------------------------------------------------------------------
CONFERENCIANTES INVITADOS:
Shari Pfleeger (Institute for Information Infrastructure Protection
at Dartmouth College, Hanover, New Hampshire)
Michael Codish (Ben-Gurion University of the Negev, Beer-Sheva, Israel)
---------------------------------------------------------------------
DETALLES (pueden variar los horarios):
MARTES 6 de septiembre
10:20 ** Apertura PROLE 2011 **
10:30-12:00 ** Sesión 1: El lenguaje de consulta XPath
Chair: Puri Arenas
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language
Jesus M. Almendros-Jimenez,Alejandro Luna Tedesqui,Gines Moreno
Projecting and Pruning Xquery Using Dependence Graphs
Jesus Almendros,Salvador Tamarit,Josep Silva
XPath Query Processing in a Functional-Logic Language
Jesus M. Almendros-Jimenez, Rafael Caballero, Yolanda García-Ruiz,
Fernando Saenz-Perez
---------------------------------------------------------------------
12:00-13:30 ** Sesión 2: Programación Lógica y Funcional
Chair: Paqui Lucio
Liberal Typing for Functional Logic Programs
Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodriguez-Hortala
Reduction Strategies for Rewriting with Call-time Choice
Jaime Sánchez-Hernández
Extending the TOY System with the ECLiPSe Solver over Sets of Integers
Sonia Estevez, Jesus Correas and Fernando Sáenz-Pérez
---------------------------------------------------------------------
15:00-16-30 ** Sesión 3: Conferencia invitada:
"Programming with Boolean Satisfaction" Mike Codish
Chair: Puri Arenas
---------------------------------------------------------------------
17:00-18:30 ** Sesión 4: Certificación y Corrección
Chair: Francisco J. López
Contracts for Security Adaptation
José Antonio Martín, Ernesto Pimentel
Certification of Safe Polynomial Memory Bounds
Javier De Dios, Ricardo Peña
Dynamic soundness in Resource-Constrained Workflow Nets
María Martos-Salgado, Fernando Rosa-Velardo
---------------------------------------------------------------------
MIÉRCOLES 7 de septiembre
9:00-10:30: ** Sesión 5: Validación y Verificación
Chair: Ricardo Peña
Uso de propiedades abstractas para especificación de pruebas
funcionales de caja negra
Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías
Verificación de interfaces gráficas de usuario utilizando pruebas
basadas en propiedades
David Iglesias Fraga,Laura M. Castro Souto
Erlang Implementation and Formal Verification of a distributed
Multi-Agent System Protocol
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
---------------------------------------------------------------------
11:00-12:30 ** Sesión 6: Bases de Datos Deductivas y Optimización
Chair: Ginés Moreno
Outer Joins in a Deductive Database System
Fernando Saenz-Perez
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
A CFLP Approach for Modeling an Optimization Scheduling Problem
Ignacio Castiñeiras, Fernando Sáenz-Pérez
---------------------------------------------------------------------
12:30-14:00 ** Sesión 7: Razonamiento Automático
Chair: Víctor Gulias
Simplifying General Reductants with Fuzzy Unfolding-based Techniques
Pedro-Jose Morcillo, Gines Moreno
An Implementation of the Context-Based Tableau
Paqui Lucio, Jose Gaintzarain, Jon Ander Hernandez,
Finite Model Reasoning on Large First-Order Ontologies
Ander Azpeitia, Montserrat Hermo, Paqui Lucio
-----------------------------------------------------------------------
16:00-17:30 ** Sesión 8: Depuración Algorítmica - Herramientas I
Chair: Montse Hermo
An Improved Version of Divide and Query
David Insa, Josep Silva
Hacia una estrategia óptima para la depuración algorítmica
David Insa, Josep Silva
A tool for testing data types implementations from Maude algebraic
specifications
Isabel Pita, Adrian Riesco
-----------------------------------------------------------------------
18:00-19:30 ** Sesión 9: Transformación de Modelos y
Teoría de dominios - Herramientas II
Chair: Fernando Orejas
Context-Aware Composition and Adaptation based on Model Transformation
Javier Cubo, Carlos Canal and Ernesto Pimentel
Relating function spaces to resourced function spaces
Lidia Sánchez Gil, Mercedes Hidalgo-Herrero,Yolanda Ortega-Mallén
A Tool for the Integration of Constraint Logic Programming in Spreadsheets
Ana María Fernández-Soriano, Julio Mariño, Ángel Herranz
Más información sobre la lista de distribución PROLE