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