[ Please distribute, apologies for multiple postings. ] ================================================================= Call for Papers - XXV Brazilian Symposium on Programming Languages (SBLP 2021) Online, September 27 - October 1, 2021 Conference website: http://cbsoft2021.joinville.udesc.br/sblp.php Submission link: https://easychair.org/conferences/?conf=sblp2021 SBLP 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. SBLP's first edition was in 1996. Since 2010, it has been part of CBSoft, the Brazilian Conference on Software: Theory and Practice. The symposium is planned to take place from September 27 to October 1, 2021, fully online. Submission Guidelines ------------------------------------------- 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. SBLP 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. Papers must be submitted electronically (in PDF format) via the Easychair System: https://easychair.org/conferences/?conf=sblp2021 The following paper categories are welcome (page limits include figures, references and appendices): Full papers: up to 8 pages long in ACM 2-column conference format, available at http://www.acm.org/publications/proceedings-template 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). 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. Awards: Two best paper awards will be attributed, distinguishing full paper submissions of the best: * student paper; * non-student paper. List of Topics (related but not limited to the following) ------------------------------------------- * Programming paradigms and styles, scripting and domain-specific languages and support for real-time, service-oriented, multi-threaded, parallel, distributed, and quantum programming * Program generation and transformation * Formal semantics and theoretical foundations: denotational, operational, algebraic and categorical * Program analysis and verification, type systems, static analysis, and abstract interpretation * Programming language design and implementation, programming, language environments, compilation and interpretation techniques * Programming languages for the blockchain technology: design and implementation of Smart Contract languages, implementation of consensus protocols, language-based security and cryptographic primitives Publication ------------------------------------------- SBLP proceedings will be published in ACM's digital library. A selection of the best papers appearing in the 2019 and 2020 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 2021 edition of SBLP. Important dates ------------------------------------------- Abstract submission: 9 May, 2021 Paper submission: 16 May, 2021 Author notification: 09 July, 2021 Camera ready deadline: 23 July, 2021 Program Committee ------------------------------------------- * Program Committee Chair: - João Paulo Fernandes, Universidade do Porto, Portugal * Publicity Chair: - Mário Pereira, NOVA LINCS & Universidade Nova de Lisboa, Portugal * Program Committee: - Adrien Guatto, Université de Paris, CNRS, IRIF, France - Alberto Pardo, Universidad de la República, Uruguay - Alcides Fonseca, Universidade de Lisboa, Portugal - Alejandro Díaz-Caro, Universidad Nacional de Quilmes & ICC (CONICET / UBA), Argentina - Alex Kavvos, University of Bristol, UK - Anderson Faustino da Silva, Universidade Estadual de Maringá, Brazil - Andrei Rimsa, Centro Federal de Educação Tecnológica de Minas Gerais, Brazil - Arthur Azevedo de Amorim, Boston University, Brazil - Bruno Oliveira, University of Hong Kong, Hong Kong - Caterina Urban, INRIA & École Normale Supérieure | Université PSL, France - Cláudio Lourenço, Huawei Research, UK - Cristiano Vasconcellos, Universidade do Estado de Santa Catarina, Brazil - Dalvan Griebler, Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS) / Sociedade Educacional Três de Maio (Setrem), Brazil - Emmanuel Chailloux, Sorbonne Université, France - Eric Van Wyk, University of Minnesota, USA - Fernando Castor, Universidade Federal do Pernambuco, Brazil - Fernando Pereira, Universidade Federal de Minas Gerais, Brazil - Francisco Junior, Universidade Federal do Ceará, Brazil - Francisco Sant'anna, Universidade do Estado do Rio de Janeiro, Brazil - Jean-Christophe Filliâtre, CNRS/Université Paris-Saclay, France - Léon Gondelman, University of Aarhus, Denmark - Lourdes González Huesca, Universidad Nacional Autónoma de México, Mexico - Luiz Fernandes, Pontifícia Universidade Católica do Rio Grande do Sul, Brazil - Marcos Viera, Universidad de la República, Uruguay - Mário Pereira, NOVA LINCS & Universidade Nova de Lisboa, Portugal - Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina - Noemi Rodriguez, Pontifícia Universidade Católica do Rio de Janeiro, Brazil - Paul Leger, Universidad Católica del Norte, Chile - Roberto Bigonha, Universidade Federal de Minas Gerais, Brazil - Roberto Ierusalimschy, Pontifícia Universidade Católica do Rio de Janeiro, Brazil - Rodrigo Ribeiro, Universidade Federal de Ouro Preto, Brazil - Rui Pereira, HASLab/INESC Tec, Portugal - Samuel Feitosa, Instituto Federal de Santa Catarina, Brazil - Sérgio Medeiros, Universidade Federal do Rio Grande do Norte, Brazil - Simão Melo de Sousa, NOVA-LINCS & Universidade da Beira Interior, Portugal - Stefania Dumbrava, École Nationale Supérieure d'Informatique pour l'industrie et l'Entreprise, France - Stéphane Lengrand, Stanford Research Institute, USA Contact ------------------------------------------- All questions about submissions should be emailed to João Paulo Fernandes (jpaulo@fe.up.pt)