PROLE'13 -- Call for Papers XIII Jornadas sobre Programación y Lenguajes Madrid, 18--20 de septiembre de 2013 http://babel.ls.fi.upm.es/prole2013/ TPF'13 -- Call for Contributions V Taller de Programación Funcional Madrid, 17 de septiembre de 2013 http://babel.ls.fi.upm.es/tpf2013/ The Conference on Programming and Languages (PROLE) is a forum that is dedicated to the dissemination of new results in programming language research, originating from (principally) the Spanish research community. The celebration of this annual event, born in 2001, aims to promote the exchange of experiences and results, and to enable communication and cooperation among research groups in the area. The twelfth edition of this conference (PROLE'13) will be held in Madrid, September 18-20, 2013, preceded by the fifth Workshop on Functional Programming (TPF'13) on September 17th. The scope of PROLE includes theoretical and practical works related to the specification, design, implementation, analysis and verification of programs and programming languages, including the use of formal methods in software development. Papers related to application development with existing software tools and systems, and demonstrations of such tools and systems, are also welcome. Topics of interest for PROLE'13 include: * Programming paradigms. Programming paradigm integration. * Specification and specification languages. Type systems. Languages and techniques for new programming models. * Program architectures. * Techniques and tools for programming language implementation. Programming language semantics. * Applications development with existing languages and tools. Demonstrations of software tools and systems. * Program analysis. Program verification and certification. Program transformation and optimisation. Program debugging and testing. Program termination analysis. * Logics for software development. * Formal methods to support software development. The Workshop on Functional Programming (TPF) aims to be the annual meeting point for the Spanish community active in functional programming. This workshop celebrates its fifth edition this year. Although associated with PROLE, TPF is an independent and complementary event, with its own format, program committee and procedures for paper submission. According to the true spirit of a workshop, TPF intends to serve as a forum for informal discussions and learning, and for exchanging knowledge and ideas concerning the whole functional programming ecosystem (ideas, problems, works, experiences, applications, etc.). The workshop is organized around seminars of interest, along with the presentation of contributions, or proposals. TPF topics of interest include: * Research contributions (initial ideas, in progress, published, etc.) * Tutorials, presentation of projects in development, programming or advanced concepts 'pearls'. * Demonstrations or exhibitions of tools, libraries, applications, etc., fully or partially implemented using functional programming. * Experiences of functional programming in industry. * Teaching experiences, both in functional programming teaching, and in the relationship with other disciplines. * Summaries of student works in degree and master projects. * Presentation of unsolved problems, participation in project proposals, etc. Important Due Dates for PROLE 2013 ---------------------------------- Abstracts: May 24, 2013 Full papers: June 3, 2013 Notification of acceptance: June 28, 2013 Final version: July 15, 2013 Important Due Dates for TPF 2013 -------------------------------- Abstract: June 7, 2013 Notification of acceptance: July 1, 2013 Final version: July 15, 2013 Program Committee for PROLE 2013 ------------------------------- Lars-Ake Fredlund, U. Politécnica de Madrid (presidente) Jesús Almendros, U. de Almería María Alpuente, U. Politécnica de Valencia Anindya Banerjee, IMDEA Software Miquel Bofill, U. de Girona Manuel Carro, U. Politécnica de Madrid, IMDEA Software Laura Castro, U. de A Coruña María del Mar Gallardo, U. de Málaga Francisco Durán, U. de Málaga Samir Genaim, U. Complutense de Madrid Paqui Lucio, U. del País Vasco Julio Mariño, U. Politécnica de Madrid Ginés Moreno, U. de Castilla la Mancha Marisa Navarro, U. del País Vasco Albert Oliveras, U. Politécnica de Cataluña Fernando Orejas, U. Politécnica de Cataluña Yolanda Ortega, U. Complutense de Madrid Francisco Ortín, U. de Oviedo Ricardo Peña, U. Complutense de Madrid Fernando Rosa, U. Complutense de Madrid Julio Rubio, U. de La Rioja Fernando Sáenz, U. Complutense de Madrid Josep Silva, U. Politécnica de Valencia Alicia Villanueva, U. Politécnica de Valencia Program Committee for TPF 2013 ------------------------------ Laura Castro, U. de A Coruña (presidente) Raúl Gutiérrez, U. Politécnica de Valencia Salvador Lucas, U. Politécnica de Valencia Pablo Noguiera, U. Politécnica de Madrid Ricardo Peña, U. Complutense de Madrid Julio Rubio, U. de La Rioja Josep Silva, U. Politécnica de Valencia Mateu Villaret, U. de Girona Contributions ------------- Contributions are welcome (both in Spanish and English) in each one of the following categories: 1. Original papers. Cannot have been published before, and must not be currently submitted to any other conference with formal proceedings, or any journal, etc. (15 pages max). 2. Tutorials (18 pages max). 3. Tools and software systems demonstrations (10 pages max). 4. Top level papers (journals, reputable international conferences, etc.) published in 2013 or subject to be published. For papers in this category, the proceedings will only include the abstract of the paper. 5. Works in progress (15 pages max). 6. Works related to Functional Programming Workshop (from one page abstracts to works until 8 pages max). Papers should be formatted according to the instructions and format of ECEASST (http://journal.ub.tu-berlin.de/template/). To submit abstracts and papers use the URL: https://www.easychair.org/conferences/?conf=prole13 All submissions will be reviewed at least by two reviewers (normally three) and accepted papers will be published in the conference proceedings. As in previous editions, a selection of best papers written in English in categories 1, 2 and 3 will be selected for post-publication in the journal "Electronic Communications of the EASST" (http://journal.ub.tu-berlin.de/eceasst). As an exception, the program committee will consider modifying the category of papers submitted to categories 1 and 5, according to the previous revision process and/or presentations at the conference; this decision will be communicated to the authors well in advance, for information and acceptance. For any further information concerning contributions, please contact Lars-Ake Fredlund -- lfredlund@fi.upm.es (PROLE) or Laura Castro -- lcastro@udc.es (TPF).