[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


                      Gramado, Rio Grande do Sul, Brazil
                                August 19-21, 2009

                        Abstract Submission: April, 6
                         Paper Submission: April, 13

                  SBLP is a *Qualis A* Brazilian Conference


The 13th Brazilian Symposium on Programming Languages, SBLP 2009, will
be held in Gramado, Rio Grande do Sul, Brazil, on August 19-21, 2008. SBLP
provides a venue for researchers and practitioners interested in the
fundamental principles and innovations in the design and implementation
of programming languages and systems.
This year the symposium will be co-located with the Brazilian
Symposium on Formal Methods,
which will happen in the same week and in the same venue.

SBLP 2009 invites authors to contribute with Technical Papers and
Tutorial Proposals related (but not limited) to:

* Programming language design and implementation
* Formal semantics of programming languages
* Theoretical foundations of programming languages
* Design and implementation of programming language environments
* Object-oriented programming languages
* Functional programming
* Aspect-oriented programming languages
* Scripting languages
* Domain-specific languages
* Programming languages for mobile, web and network computing
* New programming models
* Program transformations
* Program analysis and verification
* Compilation and interpretation techniques

Contributions can be written in Portuguese or English. Papers should
have at most 14 pages. All accepted papers will be published in the
conference proceedings.  Selected papers written in English should be
invited for a journal publication. Papers should be presented in the
language of submission.
Tutorial submissions must be in the form of an extended abstract with
at most 10 pages. The final version of accepted tutorials should contain
at  most 30 pages. This final version will be distributed to attendees.
An abstract of the tutorial (1-2 pages) will be included in the
conference proceedings.

Detailed submission guidelines will be available at


Paper abstract submission (15 lines): April 6, 2009
Full paper submission: April 13, 2009
Notification of acceptance: June 8, 2009
Final papers due: June 30, 2009


Awards will be given for the best papers at the symposium.


Andre Rauber Du Bois, UCPel


Andre Santos, UFPE, Brazil
Joao Saraiva, Universidade do Minho, Portugal


Alberto Pardo, Univ. de La Republica
Alex Garcia, IME
Alfio Martini, PUC-RS
Alvaro Freitas Moreira, UFRGS
Andre Rauber Du Bois, UCPel
Carlos Camarao, UFMG
Christiano Braga, Univ. Comp. de  Madrid
Cristiano Damiani, UFPEL
Edward Hermann Haeusler, PUC-Rio
Eric Tanter, Univ. of Chile
Fernando Castor Filho, UFPE
Francisco Heron de Carvalho Junior, UFC
Isabel Cafezeiro, UFF
Johan Jeuring, Utrecht Univ.
Jose Guimaraes, UFSCAR
Jose E. Labra Gayo, Univ. of Oviedo
Jose Luiz Fiadeiro, Univ. of Leicester
Lucilia Figueiredo, UFOP
Luis Soares Barbosa, Univ. do Minho
Luis Carlos Meneses, UPE
Marcelo A. Maia, UFU
Marco Tulio Valente, PUC Minas
Mariza A. S. Bigonha, UFMG
Martin A. Musicante, UFRN
Noemi Rodriguez, PUC-Rio
Paulo Borba, UFPE
Peter Mosses, Swansea University
Rafael Dueire Lins, UFPE
Renato Cerqueira, PUC-Rio
Ricardo Massa Lima, UFPE
Roberto S. Bigonha, UFMG
Roberto Ierusalimschy, PUC-Rio
Rodolfo Jardim de Azevedo, UNICAMP
Sandro Rigo, UNICAMP
Sergio de Mello Schneider, UFU
Sergio Soares, UFRPE
Sergiu Dascalu, Univ. of Nevada
Simon Thompson, Univ. of Kent
Varmo Vene, Univ. de Tartu
Vladimir Di Iorio, UFV
Vitor Santos Costa, UFRJ


Brazilian Computer Society and
Universidade Catolica de Pelotas

Reply via email to