[TYPES/announce] SBLP 2010 - 1st Call for Paper

[Christiano Braga]

[We apologize in advance if you receive multiple copies of this CFP]

=============================================================

                    CALL FOR PAPERS

   14th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES

                Salvador, Bahia, Brazil
                September 27-29, 2010
               http://cbsoft.dcc.ufba.br/

            Abstract Submission: May 17, 2010
              Paper Submission: May 24, 2010

=============================================================


The 14th Brazilian Symposium on Programming Languages,
SBLP 2010, will be held in Salvador, Bahia, Brazil, on
September 27-29, 2010. 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 part of the 1st Brazilian
Conference on Software: Theory and Practice, CBSoft 2010,
http://cbsoft.dcc.ufba.br, which will host three traditional,
well-established symposia:

* IV Brazilian Symposium on Components, Software Architecture and
Software Reuse (SBCARS)

* XIV Brazilian Symposium on Programming Languages (SBLP)

* XXIV Brazilian Symposium on Software Engineering (SBES)

SBLP 2010 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.

Detailed submission guidelines will be available at
http://cbsoft.dcc.ufba.br/

IMPORTANT DATES

Paper abstract submission (15 lines): May 17, 2010
Full paper submission: May 24, 2010
Notification of acceptance: July 09, 2010
Final papers due: August 02, 2010

BEST PAPER AWARD

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

GENERAL CHAIR

Rita Suzana Pitangueira Maciel, UFPB, Brazil

PROGRAMME CHAIR

Ricardo Massa F. Lima, UFPE, Brazil

PROGRAMME COMMITTEE

Alberto Pardo, Univ. de La Republica
Alex Garcia, IME
Alfio Martini, PUC-RS
Alvaro Freitas Moreira, UFRGS
Andre Rauber Du Bois, UCPel
André Santos, UFPE
Carlos Camarao, UFMG
Christiano Braga, Univ. Comp. de  Madrid
Cristiano Damiani, UFPEL
Edward Hermann Haeusler, PUC-Rio
Fernando Castor Filho, UFPE
Francisco Heron de Carvalho Junior, UFC
Isabel Cafezeiro, UFF
João Saraiva, Universidade do Minho
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, UFPE
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
Renato Cerqueira, PUC-Rio
Roberto S. Bigonha, UFMG
Roberto Ierusalimschy, PUC-Rio
Rodolfo Jardim de Azevedo, UNICAMP
Sandro Rigo, UNICAMP
Sergio de Mello Schneider, UFU
Sergio Soares, UFPE
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 Federal da Bahia