[Haskell-cafe] SBLP 2014 - Preliminary Call for Papers

[Simon Thompson]

PRELIMINARY CALL FOR PAPERS

18th Brazilian Symposium on Programming Languages (SBLP 2014)

A member of CBSoft joint conference
http://www.ic.ufal.br/evento/cbsoft2014/
to be held in Maceio, Brazil.

CBSoft dates are
September 28, 2014 to October 3, 2014
(SBLP dates are yet to be decided.)

IMPORTANT DATES

Paper abstract submission: May 2nd, 2014
Full paper submission: May 9th, 2014
Notification of acceptance: June 13th, 2014
Final papers due: July 4th, 2014

INTRODUCTION

The 18th Brazilian Symposium on Programming Languages, SBLP 2014, will be held in Maceio, a beautiful cite in the Northeastern part of Brazil. The conference will happen between September 28th and October 3rd, 2014. 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. SBLP 2014 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. Papers should fall into one of two different categories: full papers, with at most 15 pages, or short papers, with at most 5 pages. Full papers submitted in English will be published in a volume of Lecture Notes in Computer Science (LNCS), by Springer. 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. We encourage the submission of short papers reporting 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.

Submissions should be done through the SBLP 2014 page at EasyChair, which is available at http://www.easychair.org/conferences/?conf=sblp2014.

As in previous editions, a journal's special issue, with selected papers from accepted contributions, is anticipated. Selected papers from the 2003 to the 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 2012, also with selected papers from the conference, have been published as special issues of Science of Computer Programming, by Elsevier.

KEYNOTE SPEAKERS

Louis-Noel Pouchet, University of California Los Angeles
Fabrice Rastello, INRIA

PROGRAMME CHAIR

Fernando Magno Quintao Pereira, UFMG

PROGRAMME COMMITTEE

Alberto Pardo, Universidad de la República
Alex Garcia, IME
Alvaro Moreira, Federal University of Rio Grande do Sul
Andre Rauber Du Bois, Federal University of Pelotas
Carlos Camarão, Federal University of Minas Gerais
Christiano Braga, Fluminense Federal University
Fabio Mascarenhas, Federal University of Rio de Janeiro
Fernando Pereira, Federal University of Minas Gerais
Fernando Castor, Federal University of Pernambuco
Francisco Carvalho-Junior, Federal University of Ceara
Hans-Wolfgang Loidl, Heriot-Watt University
João Saraiva, University of Minho
Joao F.	Ferreira, Teesside University
Louis-Noel Pouchet, University of California, Los Angeles
Lucilia	Figueiredo, Federal University of Ouro Preto
Luis Barbosa, University of Minho
Manuel A. Martins, University of Aveiro
Marcello Bonsangue, Leiden University
Marcelo Maia, Federal University of Uberlândia
Marcelo D'Amorim, Federal University of Pernambuco
Mariza Bigonha, Federal University of Minas Gerais
Martin Musicante, Federal University of Rio Grande do Norte
Noemi Rodriguez, PUC-Rio
Peter Mosses, Swansea University
Rafael Lins, Federal University of Pernambuco
Renato Cerqueira, PUC-Rio
Roberto Bigonha, Federal University of Minas Gerais
Rodrigo Geraldo, Federal University of Ouro Preto
Sandro Rigo, State University of Campinas
Sérgio Medeiros, Federal University of Sergipe
Simon Thompson, University of Kent
Varmo Vene, University of 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