[TYPES/announce] SBLP 2018 Call for Papers

camarao at dcc.ufmg.br camarao at dcc.ufmg.br
Fri Jan 19 07:08:12 EST 2018


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

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

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

Contact
________________________________________________________________________________

All questions about submissions should be emailed to Carlos Camarão
(camarao at dcc.ufmg.br)


More information about the Types-announce mailing list