SBLP - call for papers

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

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
[hidden email] | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt


_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe