posted by organizer: sistedes2014 || 2638 views || tracked by 3 users: [display]

PROLE 2014 : Jornadas sobre Programación y Lenguajes

FacebookTwitterLinkedInGoogle

Link: http://sistedes2014.uca.es/prole.html
 
When Sep 16, 2014 - Sep 19, 2014
Where Cádiz (Spain)
Submission Deadline Jun 1, 2014
Notification Due Jul 6, 2014
Final Version Due Jul 20, 2014
Categories    programming paradigms   program specification   formal methods   programming languages
 

Call For Papers

PROLE'14 -- Call for Papers
XIV Jornadas sobre Programación y Lenguajes
Cádiz, del 16 al 19 de septiembre de 2014
http://sistedes2014.uca.es/prole.html

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, 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 XIV edición de estas Jornadas (PROLE'14) tendrá
lugar en Cádiz del 16 al 19 de septiembre de 2014.

En el ámbito de PROLE son bienvenidos tanto los 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 los procesos de desarrollo del software. Son especialmente
relevantes aquellos trabajos relativos a desarrollo de aplicaciones
con herramientas y sistemas software existentes, así como
demostraciones de herramientas y sistemas en este contexto. Una lista
no exhaustiva de los temas abordados en PROLE incluiría:

* 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ántica de lenguajes de programación.

* 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.

* Aplicación de métodos formales en la industria. Casos de estudio.

* Desarrollo de aplicaciones con lenguajes y herramientas
existentes. Demostraciones de herramientas y sistemas software.

Fechas Importantes PROLE 2014
-----------------------------

Recepción de trabajos: 1 de junio de 2013 (extendida 20 de junio)
Notificación de aceptación: 6 de julio de 2013 (extendida 15 de julio)
Versión definitiva: 20 de julio de 2013 (extendida 22 de julio)


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).

2. Tutoriales (máximo 18 páginas).

3. Demostraciones de herramientas y sistemas software (máximo 10
páginas).

4. Trabajos de alto nivel (revistas, congresos internacionales de
prestigio, etc.) ya publicados en 2014 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.

5. Trabajos en progreso (máximo 15 páginas).

6. 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). Los trabajos de esta categoría serán sometidos a una
revisión más informal.

Los trabajos deberán presentarse según las instrucciones y formatos de
EPTCS ( http://style.eptcs.org) y el envío se realizará a través de EasyChair

https://www.easychair.org/conferences/?conf=prole14

Todos los trabajos serán revisados por al menos 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 la revista
"Electronic Proceedings in Theoretical Computer Science” (http:/www.eptcs.org).

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 Santiago Escobar -- sescobar@dsic.upv.es.

Related Resources

IberSPEECH 2024   IberSPEECH - XIII Jornadas en Tecnologías del Habla and IX Iberian SLTech
AVC 2024   Advances in Vision Computing: An International Journal
FM 2024   Formal Methods
SOEN 2024   9th International Conference on Software Engineering
SPM 2024   11th International Conference on Signal, Image Processing and Multimedia
IJPLA 2024   International Journal of Programming Languages and Applications
IJFLS 2024   International Journal of Fuzzy Logic Systems
NLPA 2024   5th International Conference on Natural Language Processing and Applications
ICFEM 2024   International Conference on Formal Engineering Methods
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems