[TYPES/announce] CFP SBLP 2012

[Christiano Braga]

[Apologies for multiple copies of this CFP.]

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

                  CALL FOR PAPERS

  16th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES

            Natal, Rio Grande do Norte, Brazil
                September 24-28, 2012
          http://www.cbsoft.dimap.ufrn.br

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

IMPORTANT DATES

Paper abstract submission (15 lines): April 27th, 2012 (extended)
Full paper submission: May 4th, 2012 (extended)
Notification of acceptance: June 4th, 2012
Final papers due: June 29th, 2012

INTRODUCTION

The 16th Brazilian Symposium on Programming Languages, SBLP 2012, will
be held in Natal, Brazil, on September 24-28, 2012. 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.

The symposium will be part of the 3rd Brazilian Conference on
Software: Theory and Practice, CBSoft 2012,
http://www.cbsoft.dimap.ufrn.br, which will host four traditional,
well-established symposia:

* XXVI Brazilian Symposium on Software Engineering (SBES)
* XVI Brazilian Symposium on Programming Languages (SBLP)
* XV Brazilian Symposium on Formal Methods (SBMF)
* VI Brazilian Symposium on Components, Software Architecture and
  Software Reuse (SBCARS)

SBLP 2012 invites authors to contribute with technical papers related
(but not limited) to:

* Program generation and transformation, including domain-specific
  languages and model-driven development in the context of programming
  languages.

* Programming paradigms and styles, including functional,
  object-oriented, aspect-oriented, scripting languages, real-time,
  service-oriented, multithreaded, parallel, and distributed
  programming.

* Formal semantics and theoretical foundations, including
  denotational, operational, algebraic and categorical.

* Program analysis and verification, including type systems, static
  analysis and abstract interpretation.

* Programming language design and implementation, including new
  programming models, programming language environments, compilation
  and interpretation techniques.

SUBMISSIONS

Contributions should be written in Portuguese or English. We solicit
papers that should fall into one of two different categories: full
papers, with at most 15 pages, or short papers, with at most 5 pages.

We encourage the submission of short papers reporting on partial
results of on-going master dissertations or doctoral theses.

All accepted papers will be published in the conference proceedings
distributed in a digital media by the CBSOFT organizers.

Full papers submitted in English will be published in a volume of the
Lecture Notes in Computer Science (LNCS), by Springer, to be
distributed in the conference. For this reason, all papers must be
prepared using the LNCS template, available at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0.

As in previous editions, a journal special issue, with selected papers
from accepted contributions, is anticipated. Selected papers from 2003
to 2008 editions of SBLP were published in special issues of the
Journal of Universal Computer Science, by Springer. The
post-proceedings of SBLP from 2009 to 2011, also with selected papers
from the conference proceedings, are being edited as special issues of
Science of Computer Programming, published by Elsevier.

Submissions should be done using SBLP 2012 installation of the
EasyChair conference management system at
http://www.easychair.org/conferences/?conf=sblp2012.

GENERAL CO-CHAIRS

Nélio Cacho, UFRN
Gibeon Aquino, UFRN
Martin Musicante, UFRN

PROGRAMME CHAIRS

Francisco Heron de Carvalho Junior, UFC
Luis Soares Barbosa, Univ. do Minho

PROGRAMME COMMITTEE

* Alberto Pardo, Univ. de La Republica
* Alex Garcia, IME
* Alvaro Freitas Moreira, UFRGS
* André Rauber Du Bois, UFPel
* Andre Santos, UFPE
* Carlos Camarao, UFMG
* Christiano Braga, UFF
* Fernando Castor Filho, UFPE
* Fernando Quintão Pereira, UFMG
* Francisco Heron de Carvalho Junior, UFC (co-chair)
* Joao Saraiva, Universidade do Minho
* João F. Ferreira, Teesside University
* Jonathan Aldrich, Carnegie Mellon Univ.
* Jose Luiz Fiadeiro, Univ. of Leicester
* Lucilia Figueiredo, UFOP
* Luis Soares Barbosa, Univ. do Minho (co-chair)
* Manuel António Martins, Univ. de Aveiro
* Marcelo A. Maia, UFU
* Marcello Bonsangue, Leiden Univ/CWI
* 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
* Qiu Zongyang, Peking University
* Rafael Dueire Lins, UFPE
* Renato Cerqueira, PUC-Rio
* Ricardo Massa, UFPE
* Roberto S. Bigonha, UFMG
* Roberto Ierusalimschy, PUC-Rio
* Sandro Rigo, UNICAMP
* Sergio Soares, UFPE
* Simon Thompson, Univ. of Kent
* Varmo Vene, Univ. de Tartu