============================================================
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
Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thomp...@kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
