posted by user: bluezio || 2596 views || tracked by 6 users: [display]

PROLE 2012 : XII Jornadas sobre Programación y Lenguajes

FacebookTwitterLinkedInGoogle

Link: http://sistedes2012.ual.es/prole
 
When Sep 17, 2012 - Sep 19, 2012
Where Almería, Spain
Abstract Registration Due Apr 27, 2012
Submission Deadline May 7, 2012
Notification Due Jun 7, 2012
Final Version Due Jun 28, 2012
Categories    programming   languages   spanish   programming languages
 

Call For Papers

XII Jornadas sobre Programación y Lenguajes

CFP

XII Jornadas sobre Programación y Lenguajes (PROLE’12)
18 al 19 de Septiembre del 2012, Almería

IV Taller de Programación Funcional (TPF’12)
17 de Septiembre del 2012, Almería

http://sistedes2012.ual.es/prole

Objetivos de Prole'12

Las Jornadas de PROgramación y LEnguajes (PROLE) constituyen un marco 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 y 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 XII edición de estas Jornadas (PROLE'12) tendrá lugar en Almería del 18 al 19 de septiembre de 2012, siendo precedida el día 17 por el IV Taller sobre Programación Funcional (TPF'12), y en paralelo con las XVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD'12), y por las VIII Jornadas de Ciencia e Ingeniería de los Servicios. La realización de todos los eventos está auspiciada por la Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES).

En el ámbito de PROLE son bienvenidos tanto trabajos teóricos, como los que desarrollan aspectos prácticos relativos a la especificación, diseño, implementación, análisis y verificación de programas y lenguajes de programación, incluyendo el uso de métodos formales en todos los procesos de desarrollo del software. Son asimismo bien recibidos aquellos trabajos relativos al desarrollo de aplicaciones con herramientas y sistemas software existentes, así como demostraciones de dichas herramientas y sistemas.

Temas de interés (Prole'12):

Paradigmas de programación. Integración de paradigmas de programación.
Especificación y lenguajes de especificación. Sistemas de tipos. Lenguajes y técnicas para nuevos modelos de programación.
Arquitecturas e interconexión de programas.
Técnicas y herramientas de implementación de lenguajes de programación. Semánticas de lenguajes de programación.
Desarrollo de aplicaciones con lenguajes y herramientas existentes. Demostraciones de herramientas y sistemas software.
Análisis de programas. Verificación y certificación de programas. Transformación y optimización de programas. Depuración y prueba de programas. Terminación de programas.
Lógicas para el desarrollo de software.
Métodos formales en los procesos de desarrollo de software.
Objetivos TPF'12

Por su parte, el Taller de Programación Funcional (TPF) aspira a ser el punto de encuentro anual de la comunidad española de programación funcional. Nacido del interés por conectar a los miembros de dicha comunidad, el taller celebra este año su cuarta edición. La primera (TPF'09) se celebró en San Sebastián, la segunda (TPF'10) en Valencia y la tercera (TPF’11) en A Coruña. Aunque asociado a PROLE, el TPF es un evento independiente y complementario, con su propio formato, comité de programa y requisitos para el envío de trabajos. 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 (ideas, problemas, trabajos, experiencias, aplicaciones, etc.). El taller se organiza en torno a seminarios sobre temas de interés para sus miembros junto con la presentación de trabajos o propuestas.

Temas de interés TPF'12

Los temas de interés que abarca TPF son:

Trabajos de investigación (ideas iniciales, en curso, publicados,etc.)
Tutoriales, exposiciones de proyectos en desarrollo, 'perlas' de programación o de conceptos avanzados.
Demostraciones o exposiciones de herramientas, librerías, aplicaciones, etc., implementadas parte o en su totalidad usando programación funcional.
Experiencias de programación funcional en la industria.
Experiencias docentes, tanto en la docencia de la programación funcional propiamente como en la conexión con otras materias.
Resúmenes de trabajos realizados por estudiantes en proyectos fin de carrera, máster, etc.
Exposiciones de problemas no resueltos, participación en propuestas de proyectos, exposición de ofertas de trabajo, etc.
Tipos de contribuciones

Se solicitan contribuciones (tanto en castellano como en inglés) en alguna de las siguientes categorías:

1. Trabajos originales. No publicados ni en proceso de revisión en revistas, conferencias con actas formales, etc. (máximo 15 páginas).
Tutoriales (máximo 18 páginas).
Demostraciones de herramientas y sistemas software (máximo 10 páginas).
Trabajos de alto nivel (revistas, congresos internacionales de prestigio, etc.) ya publicados en 2012 o pendientes de publicación (en el formato y longitud de la publicación). En este caso en las actas aparecerá el abstract del trabajo.
Trabajos en progreso (máximo 15 páginas).
Trabajos asociados al Taller de Programación Funcional (desde resúmenes de una página hasta trabajos con un máximo de 8 páginas).
Todos los trabajos serán revisados por al menos dos revisores (siendo la norma general de tres revisores) y aquellos que resulten finalmente aceptados, aparecerán publicados en las actas de las jornadas.
Siguiendo la tradición de ediciones previas, después de las jornadas se realizará una selección de los mejores trabajos escritos en inglés de las categorías 1, 2 y 3 para su publicación posterior. En esta edición, la publicación de los mejores trabajos se realizará en ECEASST (Electronic Communications of the European Association of Software Science and Technology).
De forma excepcional, el comité de programa considerará la posibilidad de cambiar la categoría de los trabajos sometidos a las categorías 1 y 5, según el proceso de revisión previo y/o las presentaciones durante las jornadas, aspecto que será comunicado a los autores con la suficiente antelación para su conocimiento y posible reconsideración de su propuesta.

Para cualquier información adicional sobre las contribuciones, se ruega contactar con María del Mar Gallardo gallardo@lcc.uma.es (PROLE) o Mateu Villaret villaret@ima.udg.edu (TPF)

Fechas importantes (PROLE’12)
Fecha límite de envío de resúmenes: 27/04/12
Fecha límite de envío de trabajos: 7/05/12
Fecha de notificación de decisión: 7/06/12
Fecha de envío de artículos definitivos: 28/06/12

Fechas importantes (TPF12)
Recepción de trabajos: 4/06/12
Notificación de aceptación: 29/06/12
Versión definitiva: 13/07/12

Related Resources

JIISIC-CEIS 2017   XII Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento y Congreso Ecuatoriano en Ingeniería de Software
NATP 2017   3rd International Conference on Natural Language Processing
JISIC 2017   VIII Jornadas de Ingeniería de Sistemas Informáticos y de Computación -JISIC 2017
CcITA 2017   IX CONFERENCIA CONJUNTA INTERNACIONAL SOBRE TECNOLOGÍAS Y APRENDIZAJE
CCEAI 2018   2018 2nd International Conference on Control Engineering and Artificial Intelligence (CCEAI 2018)
SIIPRIN 2017   Simposio Iberoamericano en Programación Informática
IJESA 2017   International Journal of Embedded Systems and Applications
Fatigue XII 2018   Twelfth International Conference on Fatigue Damage of Structural Materials
Narrativa y cine Latinoamericano 2018   The Louisville Conference on Literature and Culture since 1900: Nuevos derroteros de la narrativa y del cine Latinoamericano actual