[Agda] SBLP 2019 - First call for papers

[Rodrigo Ribeiro]

Hello,

Apologies for the possible duplicates.

Call for Papers - XXIII Brazilian Symposium on Programming Languages (SBLP
2019)

Universidade Federal da Bahia - UFBA

Salvador, Brazil, September 23-27, 2019
Conference website: http://www.sbc.org.br/cbsoft2019
Submission link: https://easychair.org/conferences/?conf=sblp2019

SBLP 2019 is the 23nd 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://cbsoft2019.ufba.br/).

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=sblp2019

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: 26 April, 2019
Paper submission: 3 May, 2019
Rebuttal: 3-5 June, 2019
Author notification: 17 June, 2019
Camera ready deadline: 1 July 2019

Program Committee
________________________________________________________________________________

Alberto Pardo  Universidad de la República
Alex Garcia  Instituto Militar de Engenharia
Alvaro Moreira Universidade Federal do Rio Grande do Sul
Anamaria Martins Moreira  Universidade Federal do Rio de Janeiro
André Murbach Maidl   Pontifícia Universidade Católica do Paraná
Andre Rauber Du Bois   Universidade Federal de Pelotas
Beta Ziliani     Universidad Nacional de Córdoba (Chair)
Carlos Camarão   Universidade Federal de Minas Gerais
Christiano Braga  Universidade Federal Fluminense
Cristiano Vasconcellos Universidade do Estado de Santa Catarina
Fábio Mascarenhas   Universidade Federal do Rio de Janeiro
Fernando Castor  Universidade Federal de Pernambuco
Fernando Pereira   Universidade Federal de Minas Gerais
Francisco Heron de Carvalho Junior  Universidade Federal do Ceará
Francisco Sant'Anna  Unversidade Estadual do Rio de Janeiro
Gustavo Pinto    Universidade Federal do Pará
Hans-Wolfgang Loidl  Heriot-Watt University
Henrique Rebêlo    Universidade Federal de Pernambuco
Ismael Figueroa    Pontificia Universidad Católica de Valparaíso
João Saraiva  University of Minho
João F.Ferreira   Teesside University (UK) and HASLab / INESC TEC (Portugal)
João Fernandes    University of Coimbra
Leonardo Vieira Dos Santos Reis   Universidade Federal de Juiz de Fora
Leopoldo Teixeira   Universidade Federal de Pernambuco
Louis-Noel Pouchet   The Ohio State University
Lucilia Figueiredo   Universidade Federal de Ouro Preto
Manuel A. Martins  University of Aveiro
Marcelo Maia   Universidade Federal de Uberlândia
Mariza Bigonha  Universidade Federal de Minas Gerais
Martin Musicante   Universidade Federal do Rio Grande do Norte
Noemi Rodriguez    Pontifícia Universidade Católica do Rio de Janeiro
Peter Mosses  Swansea University
Renato Cerqueira   IBM Research, Brazil
Roberto Bigonha  Universidade Federal de Minas Gerais
Roberto Ierusalimschy  Pontifícia Universidade Católica do Rio de Janeiro
Rodrigo Ribeiro  Universidade Federal de Ouro Preto (Chair)
Sérgio Medeiros    Universidade Federal do Rio Grande do Norte
Simon Thompson  University of Kent
Varmo Vene  University of Tartu
Victor Miraldo Utrecht University
Yu David Liu   State University of New York at Binghamton
Zongyan Qiu   Peking University

Invited Speaker
________________________________________________________________________________

Beta Ziliani, Universidad Nacional de Córdoba.

Contact
________________________________________________________________________________

All questions about submissions should be emailed to Rodrigo Ribeiro
(rodrigo.ribeiro at ufop.edu.br)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20181228/0ebadf37/attachment.html>