posted by organizer: pardoar || 1240 views || tracked by 3 users: [display]

SBLP 2015 : 19th Brazilian Symposium on Programming Languages

FacebookTwitterLinkedInGoogle

Link: http://cbsoft.org/sblp2015
 
When Sep 21, 2015 - Sep 26, 2015
Where Belo Horizonte, MG, Brazil
Abstract Registration Due Apr 20, 2015
Submission Deadline Apr 27, 2015
Notification Due Jun 18, 2015
Final Version Due Jul 2, 2015
Categories    compuer science   programming languages
 

Call For Papers

CALL FOR PAPERS - SBLP 2015

19th Brazilian Symposium on Programming Languages

21-26 September 2015
Belo Horizonte, Brazil

http://cbsoft.org/sblp2015

+++++++++++++++++++++++++++++++++++++++++++++++++++

IMPORTANT DATES

Abstract submission: 20 April, 2015
Paper submission: 27 April, 2015
Author notification: 18 June, 2015
Camera ready deadline: 2 July 2015


INTRODUCTION

The Brazilian Symposium on Programming Languages is a well-established symposium which 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 2015 is part of 6th Brazilian Conference on Software: Theory and Practice, CBSoft 2015, that will be held in Belo Horizonte, Minas Gerais, Brazil, from September 21st to September 26th, 2015.

Authors are invited to submit original research on any relevant topic which can be either in the form of regular or short papers.

TOPICS

Topics of interest include, but are 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.

INVITED SPEAKERS

* Doaitse Swierstra, Utrecht University
* TBA

SUBMISSION AND PUBLICATION

All submissions will be peer-reviewed and judged on the basis of its originality, contribution to the field, technical and presentation quality, and relevance to the symposium. Contributions should be written in Portuguese or English. Papers should fall into one of two different categories: regular papers, which can be up to 15 pages long in LNCS format, or short papers, with up to 5 pages in LNCS format. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. We encourage the submission of short papers reporting partial results of on-going master dissertations or doctoral theses.

Accepted papers written in English will be published in a volume of Lecture Notes in Computer Science (LNCS), by Springer. Both regular and short papers must be prepared using the LNCS format, available at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0.

Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2015.

As in previous editions, after the conference, authors of selected papers will be invited to submit an extended version of their work to be considered for publication in a journal special issue. Since 2009, selected papers of each SBPL edition are being published in a special issue of Science of Computer Programming, by Elsevier.

PROGRAM CHAIRS

Alberto Pardo, Universidad de la República, Uruguay
Doaitse Swierstra, Utrecht University, The Netherlands

PROGRAM COMMITTEE

Alberto Pardo, Universidad de la República (co-chair)
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
Doaitse Swierstra, Utrecht University (co-chair)
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
João 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
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
Roberto Ierusalimschy PUC-Rio
Rodrigo Geraldo, Federal University of Ouro Preto
Sandro Rigo, State University of Campinas
Sérgio Medeiros, Federal University of Rio Grande do Norte
Simon Thompson, University of Kent
Varmo Vene, University of Tartu
Zongyan Qiu Peking University

Related Resources

ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
SLE 2017   10th ACM SIGPLAN International Conference on Software Language Engineering
SBMF 2017   20th Brazilian Symposium on Formal Methods
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
APLAS 2017   15th Asian Symposium on Programming Languages and Systems
IJFCST 2017   International Journal in Foundations of Computer Science & Technology
APLAS 2017   Asian Symposium on Programming Languages and Systems
FOCLASA 2017   15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
IJPLA 2017   International Journal of Programming Languages and Applications
CCEAI 2018   2018 2nd International Conference on Control Engineering and Artificial Intelligence (CCEAI 2018)