XXII Brazilian Symposium on Programming Languages

The Brazilian Symposium on Programming Languages is a Brazilian symposium promoted by the Brazilian Computer Society (SBC) and aimed at the study of programming languages from both practical and theoretical viewpoints.

SBLP is the premiere technical and scientific event in Brazil in the area of programming languages. Its first edition took place in 1996 and in 2018 its 22nd edition will be held. Since 2010, it’s become part of CBSoft. In its next edition, SBLP will be held in September 20th and 21st, 2018.

SBLP 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.

Call for Papers

SBLP 2018 is the 22nd edition of the Brazilian Symposium on Programming Languages. It is promoted by the Brazilian Computer Society (SBC) and constitutes a forum for researchers, students and professionals to present and discuss ideas and innovations in the design, definition, analysis, implementation and practical use of programming languages.

SBLP's first edition was in 1996. Since 2010, it is part of CBSoft, the Brazilian Conference on Software: Theory and Practice.

Submission Guidelines

Papers must be original and not simultaneously submitted to another journal or conference.

Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2018 .

The following paper categories are welcome (page limits include figures, references, and appendices):

Full papers: up to 8 pages long in ACM 2-column format, available at http://www.acm.org/publications/article-templates/proceedings-template.html

Short papers: up to 3 pages in the same format, can discuss new ideas which are at an early stage of development or can report partial results of on-going dissertations or theses.

Topics of Interest

List of Topics (related but not limited to the following):

• Programming paradigms and styles, scripting and domain-specific languages and support for real-time, service-oriented, multi-threaded, parallel, and distributed programming
• Program generation and transformation
• Formal semantics and theoretical foundations: denotational, operational, algebraic and categorical
• Program analysis and verification, type systems, static analysis and abstract interpretation
• Programming language design and implementation, programming language environments, compilation and interpretation techniques

Important Dates

Abstract submission: April 29th 2018
Paper submission: May 6th 2018
Author notification: June 22nd 2018
Camera ready deadline: July 8th 2018

Publication

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's 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

Mariza Bigonha - Universidade Federal de Minas Gerais
Roberto Bigonha - Universidade Federal de Minas Gerais
Andre R. Du Bois - Universidade Federal de Pelotas
Christiano Braga - Universidade Federal Fluminense
Carlos Camarão - Universidade Federal de Minas Gerais (chair)
Fernando Castor - Universidade Federal de Pernambuco
Renato Cerqueira - IBM Research, Brazil
Joao Ferreira - Teesside University
Lucília Figueiredo - Universidade Federal de Ouro Preto
Ismael Figueroa - Pontifícia Universidad Católica de Valparaiso
Alex Garcia - Instituto Militar de Engenharia
Roberto Ierusalimschy - Pontifícia Universidade Católica do Rio de Janeiro
Yu David Liu - State University of New York at Binghamton
Hans-Wolfgang Loidl - Heriot-Watt University
Marcelo Maia - Universidade Federal de Uberlândia
André M. Maidl - Pontifícia Universidade Católica do Paraná
Manuel A. Martins - Universidade de Aveiro
Sérgio Medeiros - Universidade Federal do Rio Grande do Norte
Victor Miraldo - University of Utrecht
Álvaro Moreira - Universidade Federal do Rio Grande do Sul
Anamaria M. Moreira - Universidade Federal do Rio de Janeiro
Peter Mosses - Swansea University
Martin Musicante - Universidade Federal do Rio Grande do Norte
Alberto Pardo - Universidad de la República
Fernando Pereira - Universidade Federal de Minas Gerais
Gustavo Pinto - Universidade Federal do Pará
Louis-Noel Pouchet - Ohio State University
Zongyan Qiu - Peking University
Leonardo Reis - Universidade Federal de Ouro Preto
Rodrigo Ribeiro - Universidade Federal de Ouro Preto
Noemi Rodriguez - Pontifícia Universidade Católica do Rio de Janeiro
Francisco Sant'Anna - Universidade Estadual do Rio de Janeiro
João Saraiva - Universidade do Minho
Martin Sulzmann - Hochschule Karlsruhe - Technik und Wirtschaft (chair)
Leopoldo Teixeira - Universidade Federal de Pernambuco
Varmo Vene - University of Tartu

Invited Speaker

Martin Sulzmann, Hochschule Karlsruhe - Technik und Wirtschaft, Germany

Contact

All questions about submissions should be emailed to Carlos Camarão (camarao@dcc.ufmg.br )