[Haskell-cafe] SBLP - call for papers

[Simon Thompson]

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

                 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 20nd, 2012
Full paper submission: April 27th, 2012
Notification of acceptance: May 28th, 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 3nd 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. All papers should be prepared 
using the SBC template. In particular, 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.

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

As in previous editions, a journal special issue, with 
selected papers from accepted contributions, is anticipated.

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, Teeside University
* Jonathan Aldrich, Carnegie Mellon Univ.
* Jose Luiz Fiadeiro, Univ. of Leicester
* Lucilia Figueiredo, UFOP
* Luis Soares Barbosa, Univ. do Minho
* 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, Beijing 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


Simon Thompson | Professor of Logic and Computation 
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thompson at kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt