<div dir="ltr">[Apologies if you receive multiple copies of this <span>CFP</span>]<br>
<br>======================================================= <br><div dir="ltr"><br><div dir="ltr">CALL FOR PAPERS<br><br>17th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES<br><br>Brasília, Distrito Federal, Brazil<br>September 29th to October 4th, 2013<br>



<a href="http://cbsoft2013.unb.br/en/sblp-en" target="_blank">http://cbsoft2013.unb.br/en/sblp-en</a><br><br>========================================================<br><br>IMPORTANT DATES<br><br>Paper abstract submission (15 lines): April 19th<br>



Full paper submission: April 26th, 2013 <br>Notification of acceptance: May 31st, 2013<br>Final papers due: June 28th, 2013<br><br>INVITED SPEAKERS<br><br>* Tim Harris, Oracle Labs<br>* More TBA<br><br>INTRODUCTION<br><br>



The 17th Brazilian Symposium on Programming Languages, SBLP 2013, will 
be held in Brasília, Brazil, on September 29th to October 4th, 2013. 
SBLP provides a venue for researchers and practitioners interested in 
the fundamental principles and innovations in the design and 
implementation of <br>
programming languages and systems.<br><br>The symposium will be part of the 4th Brazilian Conference on Software: Theory and Practice, CBSoft 2013, <a href="http://cbsoft2013.cic.unb.br/" target="_blank">http://cbsoft2013.cic.unb.br/</a>, which will host four traditional, well-established symposia:<br>



<br>* XXVII Brazilian Symposium on Software Engineering (SBES)<br>* XVII Brazilian Symposium on Programming Languages (SBLP)<br>* XVI Brazilian Symposium on Formal Methods (SBMF)<br>* VII Brazilian Symposium on Components, Software Architecture and Software Reuse (SBCARS)<br>



<br>SBLP 2013 invites authors to contribute with technical papers related (but 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, 
object-oriented, aspect-oriented, scripting languages, real-time, 
service-oriented, multithreaded, parallel, and distributed programming.<br><br>* Formal semantics and theoretical foundations, including 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 
programming models, programming language environments, compilation and 
interpretation techniques.<br>
<br>SUBMISSIONS<br><br>Contributions should be written in Portuguese or 
English. We solicit papers that should fall into one of two different 
categories: full papers, with at most 15 pages, or short papers, with at
 most 5 pages. Full papers submitted in English will be published in a 
volume of Lecture Notes in Computer Science (LNCS), by Springer. For 
this reason, all papers must be prepared using the LNCS template, 
available at <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>.
 We encourage the submission of short papers reporting on partial 
results of on-going master dissertations or doctoral theses. All 
accepted papers will be published in the conference proceedings 
distributed in a digital media by the CBSOFT organizers.<br>
<br>Submissions should be done using SBLP 2013 installation of the EasyChair conference mangement system at <a href="http://www.easychair.org/conferences/?conf=sblp2013" target="_blank">http://www.easychair.org/conferences/?conf=sblp2013</a>.<br>



<br>As in previous editions, a journal special issue, with selected 
papers from accepted contributions, is anticipated. Selected papers from
 2003 to 2008 editions of SBLP were published in special issues of the 
Journal of Universal Computer Science, by Springer. The post-proceedings
 of SBLP from 2009 to 2012, also with selected papers from the 
conference proceedings, are being edited as special issues of Science of
 Computer Programming, published by Elsevier.<br>
<br>CBSOFT CHAIRS<br>Genaina Nunes Rodrigues, UnB<br>Rodrigo Bonifácio, UnB<br>Diego Aranha, UnB<br><br>PROGRAMME CHAIRS<br>André Rauber Du Bois, UFPel<br>Phil Trinder, Glasgow University<br><br>PROGRAMME COMMITTEE<br>Alberto Pardo, Univ. de La Republica<br>



Alex Garcia, IME<br>Alvaro Freitas Moreira, UFRGS<br>André Rauber Du Bois, UFPel (co-chair)<br>Andre Santos, UFPE<br>Carlos Camarao, UFMG<br>Christiano Braga, UFF<br>Edwin Brady, University of St. Andrews<br>Fernando Castor Filho, UFPE<br>



Fernando Quintão Pereira, UFMG<br>Francisco Heron de Carvalho Junior, UFC <br>Hans-Wofgang Loidl, Heriot-Watt University<br>Jeremy Singer, Glasgow University<br>Joao Saraiva, Universidade do Minho<br>João F. Ferreira, Teesside University<br>



Lucilia Figueiredo, UFOP<br>Luis Soares Barbosa, Univ. do Minho <br>Manuel António Martins, Univ. de Aveiro<br>Marcelo A. Maia, UFU<br>Marcello Bonsangue, Leiden Univ/CWI<br>Marcelo d&#39;Amorim, UFPE<br>Marco Tulio Valente, UFMG<br>



Mariza A. S. Bigonha, UFMG<br>Martin A. Musicante, UFRN<br>Noemi Rodriguez, PUC-Rio<br>Peter Mosses, Swansea University<br>Phil Trinder, Glasgow University (co-chair)<br>Qiu Zongyang, Beijing University<br>Rafael Dueire Lins, UFPE<br>



Renato Cerqueira, PUC-Rio<br>Ricardo Massa, UFPE<br>Roberto S. Bigonha, UFMG<br>Roberto Ierusalimschy, PUC-Rio<br>Sandro Rigo, UNICAMP<br>Sergio Soares, UFPE<br>Simon Thompson, Univ. of Kent<br>Varmo Vene, Univ. de Tartu<br>
<br></div></div></div>