[TYPES/announce] SBLP 2009 (NEW DEADLINE)

[Andre Rauber Du Bois]

Hi,

we are sorry for multiple posting.


13th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES



Abstract Submission: April, 13 (New submission deadline)
Paper Submission: April, 20 (New submission deadline)


** We are currently in contact with Elsevier to have a special issue
with selected
papers in the Science of Computer Programming Journal **


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


CALL FOR PAPERS AND TUTORIALS


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 (SBMF),
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.

 ** We are currently in contact with Elsevier to have a special issue
with selected
papers. **

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. All papers must follow the Brazilian Computer
Society paper guidelines available at:

http://www.sbc.org.br/index.php?language=1&content=downloads&id=286

Detailed submission guidelines will be available at
http://sblp2009.ucpel.tche.br



IMPORTANT DATES

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

BEST PAPER AWARD

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

GENERAL CHAIR

Andre Rauber Du Bois, UCPel

PROGRAMME CHAIRS

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

PROGRAMME COMMITTEE

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

ORGANIZATION

Brazilian Computer Society and Universidade Catolica de Pelotas