posted by user: dubois || 591 views || tracked by 3 users: [display]

SBLP 2016 : 20th Brazilian Symposium on Programming Languages

FacebookTwitterLinkedInGoogle

Link: http://cbsoft.org/sblp2016/call-for-papers
 
When Sep 22, 2016 - Sep 23, 2016
Where Maringá, Brazil
Abstract Registration Due Apr 8, 2016
Submission Deadline Apr 15, 2016
Categories    programming languages   compilers   semantics   types
 

Call For Papers

=======================================================
20th Brazilian Symposium on Programming Languages

http://cbsoft.org/sblp2016/call-for-papers

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 2016 will be held
in Maringá, in the Southern region of Brazil, and will be the 20th edition
of the symposium.


IMPORTANT DATES

Abstract submission: April 8th 2016

Paper submission: April 15th 2016

Author notification: May 27th 2016

Camera ready deadline: June 10th 2016

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.

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 6 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=sblp2016.

As in previous editions, after the conference, authors of selected regular
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

Fernando Castor, Federal University of Pernambuco
Yu David Liu, State University of New York, Binghamton


PROGRAM COMMITTEE

Alberto Pardo, Universidad de la República
Alex Garcia, IME
Alvaro Moreira, Federal University of Rio Grande do Sul
Ana Milanova, Rensselaer Polytechnic Institute
Andre Rauber Du Bois, Federal University of Pelotas
Bruno Oliveira, The University of Hong Kong
Carlos Camarão, Federal University of Minas Gerais
Christiano Braga, Fluminense Federal University
Doaitse Swierstra, Utrecht 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
Gustavo Pinto, Federal Institute of Science and Technology of Para
Hans-Wolfgang Loidl, Heriot-Watt University
Ismael Figueroa Pontificia, Universidad Católica de Valparaiso
João Saraiva, University of Minho
João Ferreira, Teesside University
João Paulo Fernandes, University of Beira Interior
Leopoldo Teixeira, Federal University of Pernambuco
Louis-Noel Pouchet, University of California
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
Rafael Lins, Federal University of Pernambuco
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
Yu David Liu, State University of New York at Binghamton
Zachary Palmer, Swarthmore College
Zongyan Qiu, Peking University

Related Resources

SPLASH 2017   ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
PACT 2017   International Conference on Parallel Architectures and Compilation Techniques
SLATE 2017   Symposium on Languages, Applications and Technologies
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
Programming 2017   The International Conference on the Art, Science, and Engineering of Programming
Ada-Europe 2017   International Conference on Reliable Software Technologies
VPT 2017   Fifth International Workshop on Verification and Program Transformation
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
MMEDIA 2017   The Ninth International Conferences on Advances in Multimedia
IJFCST 2016   International Journal in Foundations of Computer Science & Technology