<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><div class=""><br class=""></div><div class=""><div dir="ltr" class="">Universidade de São Paulo - ICMC/USP<br class="">São Carlos, Brazil, September 20-21, 2018<br class="">Conference website <a href="http://www.sbc.org.br/cbsoft2018" class="">http://www.sbc.org.br/cbsoft2018</a><br class="">Submission link <a href="https://easychair.org/conferences/?conf=sblp2018" class="">https://easychair.org/conferences/?conf=sblp2018</a><br class=""><br class="">SBLP 2018 is the 22nd edition of the Brazilian Symposium on<br class="">Programming Languages. It is promoted by the Brazilian Computer<br class="">Society (SBC) and constitutes a forum for researchers, students and<br class="">professionals to present and discuss ideas and innovations in the<br class="">design, definition, analysis, implementation and practical use of<br class="">programming languages.<br class=""><br class="">SBLP's first edition was in 1996. Since 2010, it is part of CBSoft,<br class="">the Brazilian Conference on Software: Theory and Practice<br class="">(<a href="http://cbsoft.org/cbsoft2018/" class="">http://cbsoft.org/cbsoft2018/</a>). <br class=""><br class="">Submission Guidelines<br class="">________________________________________________________________________________<br class=""><br class="">Papers can be written in Portuguese or English. Submission in English<br class="">is strongly encouraged since the symposium proceedings are indexed in<br class="">the ACM Digital Library. The acceptance of a paper implies that at<br class="">least one of its authors will register for the symposium to present<br class="">it. Papers must be original and not simultaneously submitted to<br class="">another journal or conference.<br class=""><br class="">Papers must be submitted electronically (in PDF format) via the<br class="">Easychair System: <br class=""> <a href="http://www.easychair.org/conferences/?conf=sblp2018" class="">http://www.easychair.org/conferences/?conf=sblp2018</a><br class=""><br class="">The following paper categories are welcome (page limits include<br class="">figures, references and appendices):<br class=""><br class=""> Full papers: up to 8 pages long in ACM 2-column conference<br class=""> format, available at<br class=""> <a href="http://www.acm.org/publications/proceedings-template" class="">http://www.acm.org/publications/proceedings-template</a><br class=""><br class=""> Short papers: up to 3 pages in the same format, can discuss new<br class=""> ideas which are at an early stage of development or can report<br class=""> partial results of on-going dissertations or theses.<br class=""><br class="">List of Topics (related but not limited to the following)<br class="">________________________________________________________________________________<br class=""><br class=""> • Programming paradigms and styles, scripting and domain-specific<br class=""> languages and support for real-time, service-oriented,<br class=""> multi-threaded, parallel, and distributed programming<br class=""> • Program generation and transformation<br class=""> • Formal semantics and theoretical foundations: denotational,<br class=""> operational, algebraic and categorical<br class=""> • Program analysis and verification, type systems, static analysis<br class=""> and abstract interpretation<br class=""> • Programming language design and implementation, programming<br class=""> language environments, compilation and interpretation techniques<br class=""><br class="">Publication<br class="">________________________________________________________________________________<br class=""><br class="">SBLP proceedings will be published in ACM's digital library. <br class="">As in previous editions, after the conference authors of selected<br class="">regular papers will be invited to submit an extended version of their<br class="">work to be considered for publication in a journal's special issue.<br class="">Since 2009, selected papers of each SBLP edition are being published<br class="">in a special issue of Science of Computer Programming, by Elsevier.<br class=""><br class="">Important dates<br class="">________________________________________________________________________________<br class=""><br class=""> Abstract submission: April 29th 2018<br class=""> Paper submission: May 6th 2018<br class=""> Author notification: June 22nd 2018<br class=""> Camera ready deadline: July 8th 2018<br class=""><br class="">Program Committee<br class="">________________________________________________________________________________<br class=""><br class=""> Mariza Bigonha Universidade Federal de Minas Gerais<br class=""> Roberto Bigonha Universidade Federal de Minas Gerais<br class=""> Andre R. Du Bois Universidade Federal de Pelotas<br class=""> Christiano Braga Universidade Federal Fluminense<br class=""> Carlos Camarão Universidade Federal de Minas Gerais (chair)<br class=""> Fernando Castor Universidade Federal de Pernambuco<br class=""> Renato Cerqueira IBM Research, Brazil<br class=""> João Fernandes Universidade de Coimbra<br class=""> João Ferreira Teesside University<br class=""> Lucília Figueiredo Universidade Federal de Ouro Preto<br class=""> Ismael Figueroa Pontifícia Universidad Católica de Valparaiso<br class=""> Alex Garcia Instituto Militar de Engenharia<br class=""> Francisco Heron Universidade Federal do Ceará<br class=""> Roberto Ierusalimschy Pontifícia Universidade Católica do Rio de Janeiro<br class=""> Yu David Liu State University of New York at Binghamton<br class=""> Hans-Wolfgang Loidl Heriot-Watt University<br class=""> Marcelo Maia Universidade Federal de Uberlândia<br class=""> André M. Maidl Pontifícia Universidade Católica do Paraná<br class=""> Manuel A. Martins Universidade de Aveiro<br class=""> Fábio Mascarenhas Universidade Federal do Rio de Janeiro<br class=""> Sérgio Medeiros Universidade Federal do Rio Grande do Norte<br class=""> Victor Miraldo University of Utrecht<br class=""> Álvaro Moreira Universidade Federal do Rio Grande do Sul<br class=""> Anamaria M. Moreira Universidade Federal do Rio de Janeiro<br class=""> Peter Mosses Swansea University<br class=""> Martin Musicante Universidade Federal do Rio Grande do Norte<br class=""> Alberto Pardo Universidad de la República<br class=""> Fernando Pereira Universidade Federal de Minas Gerais<br class=""> Gustavo Pinto Universidade Federal do Pará<br class=""> Louis-Noel Pouchet Ohio State University<br class=""> Zongyan Qiu Peking University<br class=""> Henrique Rêbelo Universidade Federal de Pernambuco<br class=""> Leonardo Reis Universidade Federal de Ouro Preto<br class=""> Rodrigo Ribeiro Universidade Federal de Ouro Preto<br class=""> Noemi Rodriguez Pontifícia Universidade Católica do Rio de Janeiro<br class=""> Francisco Sant'Anna Universidade Estadual do Rio de Janeiro<br class=""> João Saraiva Universidade do Minho<br class=""> Martin Sulzmann Hochschule Karlsruhe - Technik und Wirtschaft (chair)<br class=""> Leopoldo Teixeira Universidade Federal de Pernambuco<br class=""> Simon Thompson University of Kent<br class=""> Cristiano Vasconcellos Universidade do Estado de Santa Catarina<br class=""> Varmo Vene University of Tartu<br class=""><br class="">Invited Speaker<br class="">________________________________________________________________________________<br class=""><br class=""> Martin Sulzmann, Hochschule Karlsruhe - Technik und Wirtschaft, Germany<br class=""><br class="">Contact<br class="">________________________________________________________________________________<br class=""><br class="">All questions about submissions should be emailed to Carlos Camarão<br class="">(<a href="mailto:camarao@dcc.ufmg.br" class="">camarao@dcc.ufmg.br</a>)<br class=""><br class=""></div>
_______________________________________________<br class=""></div><div class=""><br class=""></div></div><div class="">
<div class=""><span style="font-family: LucidaGrande;" class="">Simon Thompson | Professor of Logic and Computation </span><br style="font-family: LucidaGrande;" class=""><span style="font-family: LucidaGrande;" class="">School of Computing | University of Kent | Canterbury, CT2 7NF, UK</span><br style="font-family: LucidaGrande;" class=""><a href="mailto:s.j.thompson@kent.ac.uk" style="font-family: LucidaGrande;" class="">s.j.thompson@kent.ac.uk</a><span style="font-family: LucidaGrande;" class=""> | M +44 7986 085754 | W </span><a href="http://www.cs.kent.ac.uk/~sjt" style="font-family: LucidaGrande;" class="">www.cs.kent.ac.uk/~sjt</a></div>
</div>
<br class=""></body></html>