posted by organizer: sistedes2014 || 1510 views || tracked by 4 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 20, 2014
Notification Due Jul 15, 2014
Final Version Due Jul 22, 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

JIISIC-CEIS 2017   XII Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento y Congreso Ecuatoriano en Ingeniería de Software
ICFEM 2017   19th International Conference on Formal Engineering Methods
CcITA 2017   IX CONFERENCIA CONJUNTA INTERNACIONAL SOBRE TECNOLOGÍAS Y APRENDIZAJE
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
JITEL 2017   XIII Jornadas de Ingeniería Telemática
FMCAD 2017   Formal Methods in Computer-Aided Design
JCIS 2017   XIII Jornadas de Ciencia e Ingeniería de Servicios
FACS 2017   14th International Conference on Formal Aspects of Component Software
SLE 2017   10th ACM SIGPLAN International Conference on Software Language Engineering
SETTA 2017   3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications