<div dir="ltr"><div>Differences regarding first CFP: one week deadline extension and update on pages limit.</div><div><br></div>[ Please distribute, apologies for multiple postings. ]<br><br>=================================================================<br><br>Call for Papers - XXV Brazilian Symposium on Programming Languages (<span class="gmail-il">SBLP</span> 2021)<br><br><br>Online, September 27 - October 1, 2021<br><br>Conference website: <a href="http://cbsoft2021.joinville.udesc.br/sblp.php" target="_blank">http://cbsoft2021.joinville.udesc.br/<span class="gmail-il">sblp</span>.php</a><br><br>Submission link:  <a href="https://easychair.org/conferences/?conf=sblp2021" target="_blank">https://easychair.org/conferences/?conf=sblp2021</a><br><br><br><span class="gmail-il">SBLP</span> 2021 is the 25th 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. <span class="gmail-il">SBLP</span>'s first edition was in 1996. Since 2010, it has been part of CBSoft, the Brazilian Conference on Software: Theory and Practice.<br><br>The symposium is planned to take place from September 27 to October 1, 2021, fully online.<br><br><br>Submission Guidelines<br>-------------------------------------------<br><br>Papers can be written in Portuguese or English. Submissions in English are encouraged because only accepted papers written in English will appear in the proceedings indexed in the ACM Digital Library. The acceptance of a paper implies that at least one of its authors will register for the symposium to present it. Papers must be original and not simultaneously submitted to another journal or conference.<br><br><span class="gmail-il">SBLP</span> 2021 will use a lightweight double-blind review process. The manuscripts should be submitted for review anonymously (i.e., without listing the author’s names on the paper) and references to own work should be made in the third person.<br><br>Papers must be submitted electronically (in PDF format) via the Easychair System:<br><br> <a href="https://easychair.org/conferences/?conf=sblp2021" target="_blank">https://easychair.org/conferences/?conf=sblp2021</a><br><br><br>The following paper categories are welcome (page limits include figures, references and appendices):<br><br>Full papers: up to 8 pages long in ACM 2-column conference format, available at<br><br> <a href="http://www.acm.org/publications/proceedings-template" target="_blank">http://www.acm.org/publications/proceedings-template</a><br><br>Full papers can be further specialized, at submission time, as Student papers (i.e., as papers describing research conducted mainly by a student at any level). Student papers will be subject to the exact same reviewing process and criteria, but may be entitled for an award (see below).<br><br>Short papers: up to 3 pages in the same format. Short papers can discuss new ideas which are at an early stage of development or can report partial results of on-going dissertations or theses.<div><br></div><div>*Each paper can have a maximum of one extra page for references.*<br><br>Awards:<br><br>Two best paper awards will be attributed, distinguishing full paper submissions of the best:<br><br>  * student paper;<br><br>  * non-student paper.<br><br><br>List of Topics (related but not limited to the following)<br>-------------------------------------------<br><br>  * Programming paradigms and styles, scripting and domain-specific languages and support for real-time, service-oriented, multi-threaded, parallel, distributed, and quantum programming<br><br>  * Program generation and transformation<br><br>  * Formal semantics and theoretical foundations: denotational, operational, algebraic and categorical<br><br>  * Program analysis and verification, type systems, static analysis, and abstract interpretation<br><br>  * Programming language design and implementation, programming, language environments, compilation and interpretation techniques<br><br>  * Programming languages for the blockchain technology: design and implementation of Smart Contract languages, implementation of consensus protocols, language-based security and cryptographic primitives<br><br><br>Publication<br>-------------------------------------------<br><br><span class="gmail-il">SBLP</span> proceedings will be published in ACM's digital library. A selection of the best papers appearing in the 2019 and 2020 editions of <span class="gmail-il">SBLP</span> have been invited to be extended and considered for publication in a special issue of the Journal of Computer languages (COLA), by Elsevier. We will approach COLA for a similar special issue regarding the 2021 edition of <span class="gmail-il">SBLP</span>.<br><br><br>Important dates<br>-------------------------------------------<br><br>Abstract submission: <strike>9 May, 2021</strike> 23 May, 2021<br><br>Paper submission: <strike>16 May, 2021</strike> 23 May, 2021<br><br>Author notification: 09 July, 2021<br><br>Camera ready deadline: 23 July, 2021<br><br><br>Program Committee<br>-------------------------------------------<br><br>* Program Committee Chair:<br><br>- João Paulo Fernandes, Universidade do Porto, Portugal<br><br><br>* Publicity Chair:<br><br>- Mário Pereira, NOVA LINCS & Universidade Nova de Lisboa, Portugal<br><br><br>* Program Committee:<br><br>- Adrien Guatto, Université de Paris, CNRS, IRIF, France<br><br>- Alberto Pardo, Universidad de la República, Uruguay<br><br>- Alcides Fonseca, Universidade de Lisboa, Portugal<br><br>- Alejandro Díaz-Caro, Universidad Nacional de Quilmes & ICC (CONICET / UBA), Argentina<br><br>- Alex Kavvos, University of Bristol, UK<br><br>- Anderson Faustino da Silva, Universidade Estadual de Maringá, Brazil<br><br>- Andrei Rimsa, Centro Federal de Educação Tecnológica de Minas Gerais, Brazil<br><br>- Arthur Azevedo de Amorim, Boston University, USA<br><br>- Bruno Oliveira, University of Hong Kong, Hong Kong<br><br>- Caterina Urban, INRIA & École Normale Supérieure | Université PSL, France<br><br>- Cláudio Lourenço, Huawei Research, UK<br><br>- Cristiano Vasconcellos, Universidade do Estado de Santa Catarina, Brazil<br><br>- Dalvan Griebler, Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS) / Sociedade Educacional Três de Maio (Setrem), Brazil<br><br>- Emmanuel Chailloux, Sorbonne Université, France<br><br>- Eric Van Wyk, University of Minnesota, USA<br><br>- Fernando Castor, Universidade Federal do Pernambuco, Brazil<br><br>- Fernando Pereira, Universidade Federal de Minas Gerais, Brazil<br><br>- Francisco Junior, Universidade Federal do Ceará, Brazil<br><br>- Francisco Sant'anna, Universidade do Estado do Rio de Janeiro, Brazil<br><br>- Jean-Christophe Filliâtre, CNRS/Université Paris-Saclay, France<br><br>- Léon Gondelman, University of Aarhus, Denmark<br><br>- Lourdes González Huesca, Universidad Nacional Autónoma de México, Mexico<br><br>- Luiz Fernandes, Pontifícia Universidade Católica do Rio Grande do Sul, Brazil<br><br>- Marcos Viera, Universidad de la República, Uruguay<br><br>- Mário Pereira, NOVA LINCS & Universidade Nova de Lisboa, Portugal<br><br>- Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina<br><br>- Noemi Rodriguez, Pontifícia Universidade Católica do Rio de Janeiro, Brazil<br><br>- Paul Leger, Universidad Católica del Norte, Chile<br><br>- Roberto Bigonha, Universidade Federal de Minas Gerais, Brazil<br><br>- Roberto Ierusalimschy, Pontifícia Universidade Católica do Rio de Janeiro, Brazil<br><br>- Rodrigo Ribeiro, Universidade Federal de Ouro Preto, Brazil<br><br>- Rui Pereira, HASLab/INESC Tec, Portugal<br><br>- Samuel Feitosa, Instituto Federal de Santa Catarina, Brazil<br><br>- Sérgio Medeiros, Universidade Federal do Rio Grande do Norte, Brazil<br><br>- Simão Melo de Sousa, NOVA-LINCS &  Universidade da Beira Interior, Portugal<br><br>- Stefania Dumbrava, École Nationale Supérieure d'Informatique pour l'industrie et l'Entreprise, France<br><br>- Stéphane Lengrand, Stanford Research Institute, USA<br><br><br>Contact<br>-------------------------------------------<br><br>All questions about submissions should be emailed to João Paulo Fernandes<br><br>(<a href="mailto:jpaulo@fe.up.pt" target="_blank">jpaulo@fe.up.pt</a>)<div class="gmail-yj6qo"></div><div class="gmail-adL"><br></div></div></div>