<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<span class="x_elementToProof"><span><span class="x_elementToProof" style="font-size:11pt;font-family:Calibri">SBLP 2022 is
</span><span class="x_elementToProof" style="font-size:11pt"><a href="https://cbsoft2022.facom.ufu.br/sblp.php" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" title="https://cbsoft2022.facom.ufu.br/sblp.php" data-linkindex="0"><span style="font-family:Calibri">the
26th edition of the Brazilian Symposium on Programming Languages</span></a></span><span class="x_elementToProof" style="font-size:11pt;font-family:Calibri">. 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 has been part of CBSoft, the Brazilian Conference
on Software: Theory and Practice. The Conference is planned to be held on October 3-7, 2022,
</span><span class="x_elementToProof" style="font-size:11pt;font-family:Calibri"><b>fully online</b></span><span class="x_elementToProof" style="font-size:11pt;font-family:Calibri">.</span></span><span style="font-family:Calibri">
</span></span>
<div dir="ltr">
<div style="font-family:Calibri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri"><b>Submission Guidelines</b></span><span style="font-size:11pt;font-family:Calibri">
</span></div>
<div class="x_elementToProof"><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri">Papers can be written in Portuguese or English. Submissions in English are encouraged considering that only accepted papers written in English will appear in the proceedings, usually indexed in the ACM Digital
Library (to be confirmed). The acceptance of a paper implies the registration of at least one author in the symposium to present it. Papers must be original and not simultaneously submitted to another journal or conference. No-show of scheduled papers will
result in excluding them from the proceedings.</span></div>
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri">SBLP 2022 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.</span></div>
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri">Papers must be submitted electronically (in PDF format) via the
</span><a href="https://easychair.org/conferences/?conf=sblp2022" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" title="https://easychair.org/conferences/?conf=sblp2022" data-linkindex="1"><span style="font-size:11pt;font-family:Calibri">EasyChair
System.</span></a></div>
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri">The following paper categories are welcome (page limits include figures, references, and appendices):</span></div>
<div class="x_elementToProof"><br>
</div>
<div class="x_elementToProof"><span style="font-size:11pt;font-family:Calibri">• Full papers: up to 8 pages long in
</span><a href="http://www.acm.org/publications/proceedings-template" target="_blank" rel="noopener noreferrer" data-auth="NotApplicable" title="http://www.acm.org/publications/proceedings-template" data-linkindex="2"><span style="font-size:11pt;font-family:Calibri">ACM
2-column conference format.</span></a><span style="font-size:11pt;font-family:Calibri"> 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).</span></div>
<div class="x_elementToProof"><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri">• 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.</span></div>
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri">Each paper can have a maximum of one extra page for references.</span></div>
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri">Active graduate and undergraduate students seeking feedback are invited to submit short papers of their original unpublished and in-progress research work. A set of selected papers, which did not get accepted
as full papers, may be accepted as short papers.</span></div>
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri"><b>Awards:</b></span><span style="font-size:11pt;font-family:Calibri"> Two best paper awards will be attributed, distinguishing full paper submissions of the best:</span></div>
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri">• student paper;</span></div>
<div><span style="font-size:11pt;font-family:Calibri">• non-student paper.</span></div>
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri">List of Topics (related but not limited to the following):</span></div>
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri">• Programming paradigms and styles, scripting and domain-specific languages and support for real-time, service-oriented, multi-threaded, parallel, distributed, and quantum programming;</span></div>
<div><span style="font-size:11pt;font-family:Calibri">• Program generation and transformation;</span></div>
<div><span style="font-size:11pt;font-family:Calibri">• Formal semantics and theoretical foundations: denotational, operational, algebraic, and categorical;</span></div>
<div><span style="font-size:11pt;font-family:Calibri">• Program analysis and verification, type systems, static analysis, and abstract interpretation;</span></div>
<div><span style="font-size:11pt;font-family:Calibri">• Programming language design and implementation, programming, language environments, compilation, and interpretation techniques;</span></div>
<div class="x_elementToProof"><span style="font-size:11pt;font-family:Calibri">• Programming languages for the blockchain technology: design and implementation of Smart Contract languages, implementation of consensus protocols, language-based security, and
cryptographic primitives.</span></div>
<div class="x_elementToProof"><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri">A selection of the best papers appearing in the last editions of SBLP 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 2022 edition of SBLP.</span></div>
<div><br>
</div>
<div class="x_elementToProof"><span style="font-size:11pt;font-family:Calibri"><b>Important dates:</b></span></div>
<div><br>
</div>
<div class="x_elementToProof"><span style="font-size:11pt;font-family:Calibri">• Abstract submission: 20 June, 2022.</span></div>
<div class="x_elementToProof"><span style="font-size:11pt;font-family:Calibri">• Paper submission: 20 June, 2022.
</span></div>
<div class="x_elementToProof"><span style="font-size:11pt;font-family:Calibri">• Author notification: 16 Aug, 2022.
</span></div>
<div class="x_elementToProof"><span style="font-size:11pt;font-family:Calibri">• Camera ready deadline: 29 Aug, 2022. </span></div>
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri"><b>Program Committee</b></span></div>
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri">Program Committee Chair:</span></div>
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri">Cristiano Vasconcellos, UDESC</span></div>
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri"><b>Program Committee</b></span></div>
<div><br>
</div>
<div><span style="font-size:11pt;font-family:Calibri">Alberto Pardo, Universidad de la República</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Alcides Fonseca, Universidade de Lisboa</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Alejandro Díaz-Caro, Universidad Nacional de Quilmes & Universidad de Buenos Aires</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Alex Kavvos, University of Bristol</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Anderson Faustino, UEM</span></div>
<div class="x_elementToProof"><span style="font-size:11pt;font-family:Calibri">Andrei Paskevich, Université Paris-Sud, LRI</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Andre Maidl, Elastic</span></div>
<div class="x_elementToProof"><span style="font-size:11pt;font-family:Calibri">Dalvan Griebler, PUCRS/SETREM</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Emmanuel Chailloux, University Pierre and Marie Curie</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Fernando Castor, UFPE & Utrecht University</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Fernando Pereira, UFMG</span></div>
<div class="x_elementToProof"><span style="font-size:11pt;font-family:Calibri">Francisco Sant'anna, UERJ
</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Karina Roggia, UDESC</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Leonardo dos Santos, UFJF</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Liam O'Connor, University of Edinburgh</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Marcos Viera, Universidad de la República</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Mário Pereira, Universidade NOVA de Lisboa
</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Mariza Bigonha, UFMG</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Nuno Macedo, INESC TEC & University of Porto</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Paul Leger, Universidad Católica del Norte</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Roberto Bigonha, UFMG</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Roberto Ierusalimschy PUC-Rio</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Rodrigo Ribeiro, UFOP</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Samuel Feitosa, UFFS</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Sérgio Medeiros, UFRN</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Simão Sousa, Universidade da Beira Interior</span></div>
<div><span style="font-size:11pt;font-family:Calibri">Stefania Dumbrava, ENSIIE Paris-Evry</span></div>
<div class="x_elementToProof"><br>
</div>
</div>
</div>
<div dir="ltr" class="elementToProof"><span class="x_elementToProof" style="font-family:Calibri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)"><span><b><span style="font-size:11pt;font-family:Calibri">Contact:</span></b><span style="font-size:11pt;font-family:Calibri">
All questions about submissions should be emailed to cristiano.vasconcellos@udesc.br</span></span></span></div>
</body>
</html>