[Haskell] SBLP 2018 Call for Papers - XXII Brazilian Symposium on Programming Languages

[Carlos Camarao]

*SBLP 2018: XXII Brazilian Symposium on Programming Languages*
________________________________________________________________________________

Universidade de São Paulo - ICMC/USP
São 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 Camarão           Universidade Federal de Minas Gerais (chair)
    Fernando Castor          Universidade Federal de Pernambuco
    Renato Cerqueira         IBM Research, Brazil
    Joao Ferreira                Teesside University
    Lucília Figueiredo          Universidade Federal de Ouro Preto
    Ismael Figueroa            Pontifícia Universidad Católica de Valparaiso
    Alex Garcia                    Instituto Militar de Engenharia
    Roberto Ierusalimschy   Pontifícia Universidade Católica 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 Uberlândia
    André M. Maidl              Pontifícia Universidade Católica do Paraná
    Manuel A. Martins         Universidade de Aveiro
    Sérgio Medeiros            Universidade Federal do Rio Grande do Norte
    Victor Miraldo                University of Utrecht
    Álvaro 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 República
    Fernando Pereira          Universidade Federal de Minas Gerais
    Gustavo Pinto                Universidade Federal do Pará
    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           Pontifícia Universidade Católica do Rio de
Janeiro
    Francisco Sant'Anna     Universidade Estadual do Rio de Janeiro
    João 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 Camarão
(camarao at dcc.ufmg.br)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20180117/97e3f86b/attachment.html>