[Haskell-cafe] Deadline Extended: 26th Brazilian Symposium on Programming Languages (SBLP 2022)

[Cristiano D. Vasconcellos]

SBLP 2022 is the 26th edition of the Brazilian Symposium on Programming Languages<https://cbsoft2022.facom.ufu.br/sblp.php>. 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 has been part of CBSoft, the Brazilian Conference on Software: Theory and Practice. The Conference is planned to be held on October 3-7, 2022, fully online.

Submission Guidelines

Papers can be written in Portuguese or English. Submissions in English are encouraged considering that only accepted papers written in English will appear in the proceedings, usually indexed in the ACM Digital Library (to be confirmed). The acceptance of a paper implies the registration of at least one author in the symposium to present it. Papers must be original and not simultaneously submitted to another journal or conference. No-show of scheduled papers will result in excluding them from the proceedings.

SBLP 2022 will use a lightweight double-blind review process. The manuscripts should be submitted for review anonymously (i.e., without listing the author’s names on the paper) and references to own work should be made in the third person.

Papers must be submitted electronically (in PDF format) via the EasyChair System.<https://easychair.org/conferences/?conf=sblp2022>

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.<http://www.acm.org/publications/proceedings-template> Full papers can be further specialized, at submission time, as student papers (i.e., as papers describing research conducted mainly by a student at any level). student papers will be subject to the exact same reviewing process and criteria but may be entitled for an award (see below).

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

Each paper can have a maximum of one extra page for references.

Active graduate and undergraduate students seeking feedback are invited to submit short papers of their original unpublished and in-progress research work. A set of selected papers, which did not get accepted as full papers, may be accepted as short papers.

Awards: Two best paper awards will be attributed, distinguishing full paper submissions of the best:

• student paper;
• non-student paper.

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, distributed, and quantum 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;
• Programming languages for the blockchain technology: design and implementation of Smart Contract languages, implementation of consensus protocols, language-based security, and cryptographic primitives.

A selection of the best papers appearing in the last editions of SBLP have been invited to be extended and considered for publication in a special issue of the Journal of Computer Languages (COLA), by Elsevier. We will approach COLA for a similar special issue regarding the 2022 edition of SBLP.

Important dates:

• Abstract submission: 20 June, 2022.
• Paper submission: 20 June, 2022.
• Author notification: 16 Aug, 2022.
• Camera ready deadline: 29 Aug, 2022.

Program Committee

Program Committee Chair:

Cristiano Vasconcellos, UDESC

Program Committee

Alberto Pardo, Universidad de la República
Alcides Fonseca, Universidade de Lisboa
Alejandro Díaz-Caro, Universidad Nacional de Quilmes & Universidad de Buenos Aires
Alex Kavvos, University of Bristol
Anderson Faustino, UEM
Andrei Paskevich, Université Paris-Sud, LRI
Andre Maidl, Elastic
Dalvan Griebler, PUCRS/SETREM
Emmanuel Chailloux, University Pierre and Marie Curie
Fernando Castor, UFPE & Utrecht University
Fernando Pereira, UFMG
Francisco Sant'anna, UERJ
Karina Roggia, UDESC
Leonardo dos Santos, UFJF
Liam O'Connor, University of Edinburgh
Marcos Viera, Universidad de la República
Mário Pereira, Universidade NOVA de Lisboa
Mariza Bigonha, UFMG
Nuno Macedo, INESC TEC & University of Porto
Paul Leger, Universidad Católica del Norte
Roberto Bigonha, UFMG
Roberto Ierusalimschy PUC-Rio
Rodrigo Ribeiro, UFOP
Samuel Feitosa, UFFS
Sérgio Medeiros, UFRN
Simão Sousa, Universidade da Beira Interior
Stefania Dumbrava, ENSIIE Paris-Evry

Contact: All questions about submissions should be emailed to cristiano.vasconcellos at udesc.br
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20220607/b8a55817/attachment.html>