CPF SBLP 2024

The 28th Brazilian Symposium on Programming Languages (SBLP 2024)

September 30th to October 04th, 2024, 

Curitiba, Brazil

https://cbsoft.sbc.org.br/2024/sblp/?lang=en

**Keynote confirmed**

Prof. Saman Amarasinghe (MIT)

Professor, Department of Electrical Engineering and Computer Science (EECS)

Principal Investigator, Computer Science and Artificial Intelligence Laboratory (CSAIL)

https://cbsoft.sbc.org.br/2024/sblp/palestras/?lang=en

**Important dates**

Abstract submission: May 6, 2024 

Paper submission: May 20, 2024 

Author notification: July 15, 2024 

Camera-ready deadline: July 29, 2024 

The Brazilian Computer Society (SBC) is promoting the 28th edition of the Brazilian Symposium on Programming Languages. SBLP is 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. Its first edition was in 1996. Since 2010, it has been part of CBSoft, the Brazilian Conference on Software: Theory and Practice.

**Topics of Interest (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

**Submission Guidelines**

Papers can be written in Portuguese or English. Submissions in English are encouraged. All accepted papers will appear in the proceedings, indexed by SBC-OpenLib (SOL). 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 their being excluded from the proceedings.

SBLP 2024 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 JEMS (Journal and Event Management System).

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, including references.

• Short papers: up to 3 pages in the same format. Short papers can discuss new ideas that are at an early stage of development or can report partial results of ongoing dissertations or theses.

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, that did not get accepted as full papers, may be accepted as short papers.

**Awards**

Three best paper awards will be attributed to the full paper submissions.

**Special Issue Publication**

A selection of the best papers appearing in the last editions of SBLP has 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 2024 edition of SBLP.

Kind regards,

SBLP 2024 General Chair

Dalvan Griebler