SBLP 2025
XXIX Simpósio Brasileiro de Linguagens de Programação

Apresentação

O SBLP 2025 será a 29ª edição do Simpósio Brasileiro de Linguagens de Programação. Ele é promovido pela Sociedade Brasileira de Computação (SBC) e é um fórum para que estudantes, pesquisadores e profissionais apresentem e discutam ideias e inovações no projeto, definição, análise, implementação e uso prático de linguagens de programação. A primeira edição do SBLP ocorreu em 1996 e desde 2010 o simpósio faz parte do CBSoft, Congresso Brasileiro de Software: Teoria e Prática. O congresso ocorrerá entre os dias 22 e 26 de Setembro, em Recife, Pernambuco.

Tópicos de Interesse

  • Paradigmas e estilos de programação: linguagens de scripting, de domínio específico, programação em tempo real, orientada a serviços, multi-threaded, paralela, distribuída, e programação quântica;
  • Geração e transformação de programas;
  • Semântica formal e arcabouços teóricos, semântica denotacional, operacional, arcabouços algébricos e categóricos;
  • Análise e verificação de programas, sistemas de tipos, análise estática e interpretação abstrata;
  • Projeto e implementação de linguagens, ambientes de suporte, compilação e interpretação;
  • Linguagens de programação para a tecnologia blockchain: desenho e implementação de contratos inteligentes; implementação de protocolos de consenso, segurança baseada em linguagens de programação e primitivas criptográficas.
  • Outros assuntos relacionados a linguagens de programação, além dos listados acima.

Datas Importantes

Submissão do resumo:28 de Abril, 2025 16 de Junho, 2025
Submissão do artigo:12 de Maio, 2025 16 de Junho, 2025
Notificação de aceitação:7 de Julho, 2025 28 de Julho, 2025
Envio da versão final:21 de Julho, 2025 8 de Agosto, 2025

Submissão de trabalhos

Os artigos podem ser submetidos em português ou inglês. Encorajamos submissões em inglês. Os artigos aceitos serão incluídos nos anais e indexados na plataforma SBC-OpenLib (SOL). As submissões podem pertencer a duas categorias:
  • Artigos completos: até 8 páginas (sem contar as referências)
  • Artigos curtos: até 3 páginas (sem contar as referências)
Artigos curtos podem discutir ideias em estágio inicial de desenvolvimento ou relatar resultados parciais de dissertações ou teses. Encorajamos alunos de pós-graduação e iniciação científica que desejem feedback sobre seus trabalhos em andamento a submeterem artigos curtos originais.
O SBLP 2025 usará um processo de revisão duplo-cego. Os artigos devem ser submetidos anonimamente, sem listar os nomes dos autores. Referências a outros trabalhos dos autores devem ser feitas na terceira pessoa. Os artigos devem ser submetidos em formato PDF através do JEMS (Journal and Event Management System). O artigo deve seguir o template das conferências ACM, com duas colunas e tamanho de fonte de 10pt:
\documentclass[10pt,sigplan,screen,review,anonymous]{acmart}
\setcopyright{none}
\settopmatter{printacmref=false}
\renewcommand\footnotetextcopyrightpermission[1]{}
Artigos devem ser originais e não podem ser submetidos simultaneamente para outras conferências ou periódicos. Pelo menos um autor de cada artigo aceito deve se inscrever e apresentar o trabalho no simpósio. A não apresentação do artigo acarretará na sua exclusão dos anais.

Premiação

Serão destacados os três melhores artigos completos do evento.

Edição Especial

Uma seleção dos melhores artigos das últimas edições do SBLP tem sido convidada a submeter uma versão estendida para uma edição especial do periódico científico Journal of Computer Languages (COLA) da Elsevier. Este periódico será contactado para uma edição semelhante com os artigos de 2025.

Comitê de Programa

Coordenadores do comitê de programa:
Hugo Musso Gualandi - Universidade Federal do Rio de Janeiro (UFRJ)
Andre Murbach Maidl - ClickHouse
Comitê de Programa:
Augustín Borgna (Quantinuum)
Alberto Pardo (Universidad de La República)
Alcides Fonseca (Universidade de Lisboa)
Alejandro Díaz-Caro (INRIA)
Anderson Faustino (UEM)
André Rauber Du Bois (UFPel)
Andrei Rimsa Álvares (CEFET-MG)
Artem Pelenitsyn (Purdue)
Christina von Flach G. Chavez (UFBA)
Cristiano Damiani Vasconcellos (UDESC)
Dalvan Griebler (PUCRS)
Eduardo Piveta (UFSM)
Eric Tanter (Universidad de Chile)
Fernando Castor (Universiteit Twente)
Fernando Magno Quintão Pereira (UFMG)
Francisco H. Carvalho-Junior (UFC)
Francisco Sant`anna (UERJ)
Frédéric Peschanski (Laboratoire d`Informatique Paris 6)
Gerson Geraldo H. Cavalheiro (UFPel)
Juliana Kaizer Vizzotto (UFSM)
Karina Roggia (UDESC)
Lola Soloyeva (Universiteit Twente)
Lourdes del Carmen González Huesca (Universidad Nacional Autónoma de México)
Mallku Soldevilla (Universidad Nacional de Córdoba)
Marcos Viera (Universidad de La República)
Mariza Andrade Silva Bigonha (UFMG)
Marjan Mernik (University of Maribor)
Martin A. Musicante (UFRN)
Nuno Macedo (Universidade do Porto)
Rafael Dueire Lins (UFPE)
Roberto Bigonha (UFMG)
Roberto Ierusalimschy (PUC-Rio)
Rodrigo Geraldo Ribeiro (UFOP)
Samuel da Silva Feitosa (UFFS)
Sérgio Queiroz de Medeiros (UFRN)

Contato

Questões sobre a submissão podem ser enviadas para Hugo Gualandi: hugomg@ic.ufrj.br