[Agda] SBLP 2018 last call for papers

[Carlos Camarao]

SBLP 2018 last call for papers
________________________________________________________________________________

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

There are only 3 weeks left for the deadline of paper submission to
SBLP 2018, the 22nd edition of the Brazilian Symposium on Programming
Languages. The symposium is promoted by the Brazilian Computer Society
(SBC) and provides 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.

Since 2010, it is part of CBSoft, the Brazilian Conference on
Software: Theory and Practice (http://cbsoft.org/cbsoft2018/).

Submission Guidelines
________________________________________________________________________________

Papers can be written in Portuguese or English. Submission in English
is strongly encouraged since the symposium proceedings are indexed in
the ACM Digital Library. The acceptance of a paper implies that at
least one of its authors will register for the symposium to present
it. 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 conference
    format, available at
    http://www.acm.org/publications/proceedings-template

    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
________________________________________________________________________________

SBLP proceedings will be published in ACM's digital library.
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
    João Fernandes           Universidade de Coimbra
    João 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
    Francisco Heron            Universidade Federal do Ceará
    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
    Fábio Mascarenhas        Universidade Federal do Rio de Janeiro
    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
    Henrique Rêbelo             Universidade Federal de Pernambuco
    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
    Simon Thompson            University of Kent
    Cristiano Vasconcellos    Universidade do Estado de Santa Catarina
    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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180415/cad6d917/attachment.html>