SBLP 2017 is the 21st edition of the Brazilian Symposium on Programming Languages, and will be held at Fortaleza, Brazil, on September 2017, co-located with the other conferences of CBSoft 2017, the Brazilian Conference on Software: Theory and Practice. SBLP is the premier technical and scientific event in Brazil in the area of programming languages, and aims to create a forum for researchers, students and professionals to present and discuss principles and innovations in the design, definition, analysis, processing, and implementation of programming languages.
IMPORTANT DATES
– Abstract submission: May 5th, 2017 (April 14th 2017)– Paper submission: May 8th, 2017 (
April 21st 2017)
– Author notification: June 23rd, 2017 (June 16th 2017)
– Camera ready deadline: July 7th, 2017 (June 30th 2017)
Authors are invited to submit original research on any relevant topic which can be either in the form of regular or short papers.
TOPICS
Topics of interest include, but are not limited to:
- Program generation and transformation, including domain-specific languages, and model-driven development in the context of programming languages.
- Programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming.
- Formal semantics and theoretical foundations, including denotational, operational, algebraic, and categorical.
- Program analysis and verification, including type systems, static analysis, and abstract interpretation.
- Programming language design and implementation, including new programming models, programming language environments, compilation, and interpretation techniques.
SUBMISSION AND PUBLICATION
All submissions will be peer-reviewed and judged on the basis of their originality, contribution to the field, technical and presentation quality, and relevance to SBLP. Papers may be written in Portuguese or English. Submission in English is strongly encouraged, since the English proceedings are indexed in the ACM Digital Library.
Papers should fall into one of two different categories: regular papers, which can be up to 8 pages long in ACM 2-column format (available at http://www.acm.org/publications/article-templates/proceedings-template.html), or short papers, with up to 3 pages in the same format. Page limits include all figures, references, and appendixes.
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.
Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2017.
As in previous editions, after the conference, authors of selected regular 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 SBLP edition are being published
in a special issue of Science of Computer Programming, by Elsevier.
PROGRAM COMMITTEE
Alberto Pardo, Universidad de la República
Alex Garcia, IME
Alvaro Moreira, UFRGS
Anamaria Martins Moreira, UFRJ
Andre Rauber Du Bois, UFPEL
Andre Murbach Maidl, PUC-PR
Carlos Camarão, UFMG
Christiano Braga, UFF
Fabio Mascarenhas, UFRJ
Fernando Duarte, UFMG
Fernando Castor, UFPE
Francisco Sant’Anna, UERJ
Francisco Carvalho-Junior, UFC
Gustavo Pinto, UFPA
Hans-Wolfgang Loidl, Heriot-Watt University
Henrique Rebêlo, UFPE
Ismael Figueroa, Pontificia Universidad Católica de Valparaíso
Joao Fernandes, Universidade de Coimbra
João Saraiva, Universidade do Minho
Joao F. Ferreira, Teesside University (UK) and HASLab / INESC TEC (Portugal)
Leopoldo Teixeira, UFPE
Louis-Noel Pouchet, Ohio State University
Luis Barbosa, Universidade do Minho
Manuel Martins, University of Aveiro
Marcelo Maia, UFU
Marcelo d’Amorim, UFPE
Mariza Bigonha, UFMG
Martin Musicante, UFRN
Noemi Rodriguez, PUC-Rio
Rafael Lins, UFPE
Roberto Ierusalimschy, PUC-Rio
Roberto Bigonha, UFMG
Rodrigo Geraldo Ribeiro, UFOP
Sandro Rigo, IC-UNICAMP
Sérgio Medeiros, UFRN
Simon Thompson, University of Kent
Varmo Vene, University of Tartu
Wouter Swierstra, Utretch University
Yu David Liu, SUNY Binghamton
Zongyan Qiu, Peking University
Fabio Mascarenhas
PC Chair, SBLP 2017
DCC/UFRJ