<div dir="ltr">CALL FOR PAPERS SBLP 2015<br><div class="gmail_quote">
<br>
*** EXTENDED DEADLINE ***<br>
<br>
19th Brazilian Symposium on Programming Languages<br>
<br>
24-25 September 2015<br>
Belo Horizonte, Brazil<br>
<br>
<a href="http://cbsoft.org/sblp2015" target="_blank">http://cbsoft.org/sblp2015</a><br>
<br>
+++++++++++++++++++++++++++++++++++++++++++++++++++<br>
<br>
IMPORTANT DATES<br>
<br>
Abstract submission (extended): 27 April, 2015<br>
Paper submission (extended): 4 May, 2015<br>
Author notification: 18 June, 2015<br>
Camera ready deadline: 2 July 2015<br>
<br>
<br>
INTRODUCTION<br>
<br>
The Brazilian Symposium on Programming Languages is a well-established symposium which provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems.<br>
<br>
SBLP 2015 is part of 6th Brazilian Conference on Software: Theory and Practice, CBSoft 2015, that will be held in Belo Horizonte, Minas Gerais, Brazil, from September 21st to September 26th, 2015. SBLP dates are Thursday 24th and Friday 25th of September.<br>
<br>
Authors are invited to submit original research on any relevant topic which can be either in the form of regular or short papers.<br>
<br>
TOPICS<br>
<br>
Topics of interest include, but are not limited to:<br>
<br>
* Program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages.<br>
<br>
* Programming paradigms and styles, including functional,<br>
object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed<br>
programming.<br>
<br>
* Formal semantics and theoretical foundations, including<br>
denotational, operational, algebraic and categorical.<br>
<br>
* Program analysis and verification, including type systems, static analysis and abstract interpretation.<br>
<br>
* Programming language design and implementation, including new<br>
programming models, programming language environments, compilation and interpretation techniques.<br>
<br>
INVITED SPEAKERS<br>
<br>
* Doaitse Swierstra, Utrecht University<br>
* A second invited speaker to be confirmed soon<br>
<br>
SUBMISSION AND PUBLICATION<br>
<br>
All submissions will be peer-reviewed and judged on the basis of its originality, contribution to the field, technical and presentation quality, and relevance to the symposium. Contributions should be written in Portuguese or English. Papers should fall into one of two different categories: regular papers, which can be up to 15 pages long in LNCS format, or short papers, with up to 5 pages in LNCS format. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. We encourage the submission of short papers reporting partial results of on-going master dissertations or doctoral theses.<br>
<br>
Accepted papers written in English will be published in a volume of Lecture Notes in Computer Science (LNCS), by Springer. Both regular and short papers must be prepared using the LNCS format, available at<br>
<a href="http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0" target="_blank">http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0</a>.<br>
<br>
Papers must be submitted electronically (in PDF format) via the Easychair System: <a href="http://www.easychair.org/conferences/?conf=sblp2015" target="_blank">http://www.easychair.org/conferences/?conf=sblp2015</a>.<br>
<br>
As in previous editions, after the conference, authors of selected papers will be invited to submit an extended version of their work to be considered for publication in a journal special issue. Since 2009, selected papers of each SBPL edition are being published in a special issue of Science of Computer Programming, by Elsevier.<br>
<br>
PROGRAM CHAIRS<br>
<br>
Alberto Pardo, Universidad de la República, Uruguay<br>
Doaitse Swierstra, Utrecht University, The Netherlands<br>
<br>
PROGRAM COMMITTEE<br>
<br>
Alberto Pardo, Universidad de la República (co-chair)<br>
Alex Garcia, IME<br>
Alvaro Moreira, Federal University of Rio Grande do Sul<br>
Andre Rauber Du Bois, Federal University of Pelotas<br>
Carlos Camarão, Federal University of Minas Gerais<br>
Christiano Braga, Fluminense Federal University<br>
Doaitse Swierstra, Utrecht University (co-chair)<br>
Fabio Mascarenhas, Federal University of Rio de Janeiro<br>
Fernando Pereira, Federal University of Minas Gerais<br>
Fernando Castor, Federal University of Pernambuco<br>
Francisco Carvalho-Junior, Federal University of Ceara<br>
Hans-Wolfgang Loidl, Heriot-Watt University<br>
João Saraiva, University of Minho<br>
João F. Ferreira, Teesside University<br>
Louis-Noel Pouchet, University of California, Los Angeles<br>
Lucilia Figueiredo, Federal University of Ouro Preto<br>
Luis Barbosa, University of Minho<br>
Manuel A. Martins, University of Aveiro<br>
Marcelo Maia, Federal University of Uberlândia<br>
Marcelo D'Amorim, Federal University of Pernambuco<br>
Mariza Bigonha, Federal University of Minas Gerais<br>
Martin Musicante, Federal University of Rio Grande do Norte<br>
Noemi Rodriguez, PUC-Rio<br>
Peter Mosses, Swansea University<br>
Rafael Lins, Federal University of Pernambuco<br>
Renato Cerqueira, PUC-Rio<br>
Roberto Bigonha, Federal University of Minas Gerais<br>
Roberto Ierusalimschy PUC-Rio<br>
Rodrigo Geraldo, Federal University of Ouro Preto<br>
Sandro Rigo, State University of Campinas<br>
Sérgio Medeiros, Federal University of Rio Grande do Norte<br>
Simon Thompson, University of Kent<br>
Varmo Vene, University of Tartu<br>
Zongyan Qiu Peking University<br>
</div><br></div>