[TYPES/announce] CFP SBLP 2017: 21st Brazilian Symposium on Programming Languages

[Fabio Mascarenhas]

SBLP 2017 is the 21st edition of the Brazilian Symposium on
Programming Languages, and will be held at Fortaleza, Ceará, 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: April 14th 2017

Paper submission: April 21st 2017

Author notification: June 16th 2017

Camera ready deadline: 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 symposium 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  CHAIR

Fabio Mascarenhas, Federal University of Rio de Janeiro

# PROGRAM COMMITTEE

Alberto Pardo, Universidad de la República
Alex Garcia, IME
Alvaro Moreira, Federal University of Rio Grande do Sul
Anamaria Martins Moreira, Federal University of Rio de Janeiro
André Murbach Maidl,PUC-PR
Andre Rauber-DuBois, Federal University of Pelotas
Carlos Camarão, Federal University of Minas Gerais
Christiano Braga, Fluminense Federal University
Fernando Castor, Federal University of Pernambuco
Fernando Pereira, Federal University of Minas Gerais
Francisco Heron Carvalho-Junior, Federal University of Ceara
Francisco Sant'Anna, UERJ
Gustavo Pinto, Federal Institute of Science and Technology of Pará
Hans-Wolfgang Loidl, Heriot-Watt University
Ismael Figueroa, Pontificia Universidad Católica de Valparaiso
João Ferreira, Teesside University
João Saraiva, University of Minho
João-Paulo Fernandes, University of Beira Interior
Leopoldo Teixeira, Federal University of Pernambuco
Louis-Noel Pouchet, University of California
Luis Barbosa, University of Minho
Manuel-A. Martins, University of Aveiro
Marcelo D'Amorim, Federal University of Pernambuco
Marcelo Maia, Federal University of Uberlândia
Mariza Bigonha, Federal University of Minas Gerais
Martin Musicante, Federal University of Rio Grande do Norte
Noemi Rodriguez, PUC-Rio
Rafael Lins, Federal University of Pernambuco
Roberto Bigonha, Federal University of Minas Gerais
Roberto Ierusalimschy, PUC-Rio
Rodrigo Geraldo, Federal University of Ouro Preto
Sandro Rigo, State University of Campinas
Sérgio Medeiros, Federal University of Rio Grande do Norte
Simon Thompson, University of Kent
Varmo Vene, University of Tartu
Wouter Swierstra, Utretch University
Yu David Liu, State University of New York at Binghamton
Zongyan Qiu, Peking University

--
Fabio Mascarenhas
DCC/UFRJ