Índice:

• Introdução
• Palestrantes Convidados
• Submissões
• Coordenação Local
• Coordenação de Programa
• Comitê de Programa

DATAS IMPORTANTES

Submissão de resumo (15 linhas)
22 de abril de 2011
29 de abril de 2011

Submissão de artigo completo
29 de abril de 2011
06 de maio de 2011

Notificação aos autores
30 de maio de 2011
06 de junho de 2011

Versão final
01 de julho de 2011
08 de julho de 2011

 

SBLP 2011: Chamada de Trabalhos

XV Simpósio Brasileiro de Linguagens de Programação

Promovido pela Sociedade Brasileira de Computação (SBC)

São Paulo - SP, Brasil
29 e 30 de setembro de 2011

Introdução

O XV Simpósio Brasileiro de Linguagens de Programação, SBLP 2011, será realizado em São Paulo, Brasil, entre 26 e 30 de setembro de 2011. SBLP oferece um local para pesquisadores e praticantes interessados nos princípios fundamentais e inovações no projeto e implementação de linguagens de programação e sistemas.

O simpósio será parte do II Congresso Brasileiro de Software: Teoria e Prática, CBSoft 2011, http://www.each.usp.br/cbsoft2011, que vai acolher quatro tradicionais e bem estabelecidos simpósios:

• XXV Simpósio Brasileiro de Engenharia de Software (SBES)
• XV Simpósio Brasileiro de Linguagens de Programação (SBLP)
• XIV Simpósio Brasileiro de Métodos Formais (SBMF)
• V Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS)

O SBLP 2010 convita autores a contribuirem com artigos técnicos (mas não limitados) a:

• Geração e transformação de programas, incluindo linguagens de domínio específico e desenvolvimento dirigido a modelos no contexto de linguagens de programação.
• Paradigmas e estilos de programação, incluindo programação funcional, orientada a objetos, orientada a aspectos, linguagens de script, de tempo real, orientada a serviços, multithreaded, palarela, e distribuida
• Semântica formal e fundamentação teórica, incluindo as abordagens denotacional, operacional, algébrica e categórica.
• Análise e verificação de programas, incluindo sistemas de tipo, análise estática e interpretação abstrata.
• Projeto e implementação de linguagem de programação, incluindo novos modelos de programação, ambientes de linguagem de programação, técnicas de compilação e interpretação.

Palestrantes Convidados

José Luis Fiadeiro, Univ. of Leicester
Título da Palestra: Service-oriented computing as a paradigm for programming dynamically reconfigurable software

Gary T. Leavens, Univ. of Central Florida
Título da Palestra: Ptolemy: Taming Aspects with Explicit Event Announcement and Greybox Specifications

Submissões

Submissões devem ser feitas por meio da instalação SBLP 2011 do sistema EasyChair de gerenciamento de conferências em http://www.easychair.org/conferences/?conf=sblp2011.

As contribuições podem ser escritas em português ou inglês. Os artigos podem ser submetidos em uma de duas categorias: artigos completos, com no máximo 15 páginas, ou artigos curtos, com no máximo 5 páginas. Todos os artigos devem ser preparados usando o modelo Lecture Notes in Computer Science (LNCS), disponível em http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Em particular, são encorajadas as submissões de artigos curtos relatando dissertações de mestrado ou teses de doutorado que se encontram nas fases iniciais de desenvolvimento. Todos os artigos aceitos, com pelo menos um autor registrado no congresso, serão publicados nos anais do evento.

Como em edições anteriores, uma edição especial de periódico, com artigos selecionados a partir das contribuições aceitas, é antecipado. As edições de 2003 a 2008 do SBLP tiveram edições especiais do Journal of Universal Computer Science, publicado pela Springer. As edições de 2009 e 2010 estão tendo edições especiais editadas para a Science of Computer Programming, publicada pela Elsevier.

A ser entregue junto com a versão final: termo de cessão de direitos autorais.

Coordenação Local

Coordenação do SBLP

• Denise Stringhini, FCI - Mackenzie
• Alfredo Goldman, IME - USP

Coordenação do CBSoft

• Marcelo Fantinato, EACH - USP (Coordenador Geral)
• Luciano Silva, FCI - Mackenzie (Vice-coordenador)

Coordenação de Programa

• Christiano Braga, UFF
• Jose Luiz Fiadeiro, Univ. of Leicester

Comitê de Programa

• Alberto Pardo, Univ. de La Republica
• Alvaro Moreira, UFRGS
• Andre Du Bois, UFPel
• Alex Garcia, IME
• Andre Santos, UFPE
• Artur Boronat, Univ. of Leicester
• Carlos Camarao, UFMG
• Christiano Braga, UFF (co-chair)
• Fernando Castor Filho, UFPE
• Fernando Pereira, UFMG
• Francisco Heron de Carvalho Junior, UFC
• Jens Palsberg, UCLA
• Joao Saraiva, Universidade do Minho
• Johan Jeuring, Utrecht Univ.
• Jonathan Aldrich, Carnegie Mellon Univ.
• Jose Luiz Fiadeiro, Univ. of Leicester (co-chair)
• Lucilia Figueiredo, UFOP
• Luis Soares Barbosa, Univ. do Minho
• Marcelo A. Maia, UFU
• Marcelo d'Amorim, UFPE
• Marco Tulio Valente, UFMG
• Mariza A. S. Bigonha, UFMG
• Martin A. Musicante, UFRN
• Noemi Rodriguez, PUC-Rio
• Paulo Borba, UFPE
• Peter Mosses, Swansea University
• Renato Cerqueira, PUC-Rio
• Ricardo Massa, UFPE
• Roberto S. Bigonha, UFMG
• Roberto Ierusalimschy, PUC-Rio
• Sandro Rigo, Unicamp
• Sergio Soares, UFPE
• Sergiu Dascalu, Univ. of Nevada
• Simon Thompson, Univ. of Kent
• Varmo Vene, Univ. de Tartu