SBLP 2018 Call for Papers (Sao Paulo, Sept 18)

carlos.camarao@gmail.com
Thu, 18 Jan 2018 06:29:16 -0800 (PST)

          From comp.compilers

Related articles
SBLP 2018 Call for Papers (Sao Paulo, Sept 18) carlos.camarao@gmail.com (2018-01-18)
| List of all articles for this month |

From: carlos.camarao@gmail.com
Newsgroups: comp.compilers
Date: Thu, 18 Jan 2018 06:29:16 -0800 (PST)
Organization: Compilers Central
Keywords: conference, CFP

SBLP 2018: XXII Brazilian Symposium on Programming Languages
_____________________________________________________________________________




Universidade de SC< Paulo - ICMC/USP
SC< Carlos, Brazil, September 20-21, 2018
Conference website http://www.sbc.org.br/cbsoft2018
Submission link https://easychair.org/conferences/?conf=sblp2018


SBLP 2018 is the 22nd edition of the Brazilian Symposium on
Programming Languages. It is promoted by the Brazilian Computer
Society (SBC) and constitutes a forum for researchers, students and
professionals to present and discuss ideas and innovations in the
design, definition, analysis, implementation and practical use of
programming languages.


SBLP's first edition was in 1996. Since 2010, it is part of CBSoft,
the Brazilian Conference on Software: Theory and Practice
(http://cbsoft.org/cbsoft2018/).


Submission Guidelines
_____________________________________________________________________________




Papers must be original and not simultaneously submitted to another
journal or conference.


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


The following paper categories are welcome (page limits include
figures, references, and appendices):


        Full papers: up to 8 pages long in ACM 2-column format, available at
        http://www.acm.org/publications/article-templates/proceedings-template.html


        Short papers: up to 3 pages in the same format, can discuss new
        ideas which are at an early stage of development or can report
        partial results of on-going dissertations or theses.


List of Topics (related but not limited to the following)
_____________________________________________________________________________




      * Programming paradigms and styles, scripting and domain-specific
          languages and support for real-time, service-oriented,
          multi-threaded, parallel, and distributed programming
      * Program generation and transformation
      * Formal semantics and theoretical foundations: denotational,
          operational, algebraic and categorical
      * Program analysis and verification, type systems, static analysis
          and abstract interpretation
      * Programming language design and implementation, programming
          language environments, compilation and interpretation techniques


Program Committee
_____________________________________________________________________________




        Mariza Bigonha Universidade Federal de Minas Gerais
        Roberto Bigonha Universidade Federal de Minas Gerais
        Andre R. Du Bois Universidade Federal de Pelotas
        Christiano Braga Universidade Federal Fluminense
        Carlos CamarC< Universidade Federal de Minas Gerais (chair)
        Fernando Castor Universidade Federal de Pernambuco
        Renato Cerqueira IBM Research, Brazil
        Joao Ferreira Teesside University
        LucC-lia Figueiredo Universidade Federal de Ouro Preto
        Ismael Figueroa PontifC-cia Universidad CatC3lica de Valparaiso
        Alex Garcia Instituto Militar de Engenharia
        Roberto Ierusalimschy PontifC-cia Universidade CatC3lica do Rio de
Janeiro
        Yu David Liu State University of New York at Binghamton
        Hans-Wolfgang Loidl Heriot-Watt University
        Marcelo Maia Universidade Federal de UberlC"ndia
        AndrC) M. Maidl PontifC-cia Universidade CatC3lica do ParanC!
        Manuel A. Martins Universidade de Aveiro
        SC)rgio Medeiros Universidade Federal do Rio Grande do Norte
        Victor Miraldo University of Utrecht
        Clvaro Moreira Universidade Federal do Rio Grande do Sul
        Anamaria M. Moreira Universidade Federal do Rio de Janeiro
        Peter Mosses Swansea University
        Martin Musicante Universidade Federal do Rio Grande do Norte
        Alberto Pardo Universidad de la RepC:blica
        Fernando Pereira Universidade Federal de Minas Gerais
        Gustavo Pinto Universidade Federal do ParC!
        Louis-Noel Pouchet Ohio State University
        Zongyan Qiu Peking University
        Leonardo Reis Universidade Federal de Ouro Preto
        Rodrigo Ribeiro Universidade Federal de Ouro Preto
        Noemi Rodriguez PontifC-cia Universidade CatC3lica do Rio de
Janeiro
        Francisco Sant'Anna Universidade Estadual do Rio de Janeiro
        JoC< Saraiva Universidade do Minho
        Martin Sulzmann Hochschule Karlsruhe-Technik und Wirtschaft
(chair)
        Leopoldo Teixeira Universidade Federal de Pernambuco
        Varmo Vene University of Tartu


Invited Speaker
_____________________________________________________________________________
___


        Martin Sulzmann, Hochschule Karlsruhe - Technik und Wirtschaft, Germany




Publication
_____________________________________________________________________________
___


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's special issue.
Since 2009, selected papers of each SBLP edition are being published
in a special issue of Science of Computer Programming, by Elsevier.


Important dates
_____________________________________________________________________________
___


    Abstract submission: April 29th 2018
    Paper submission: May 6th 2018
    Author notification: June 22nd 2018
    Camera ready deadline: July 8th 2018


Contact
_____________________________________________________________________________
___


All questions about submissions should be emailed to Carlos CamarC<
(camarao@dcc.ufmg.br)


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.