caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] SBLP 2021 - Second Call for Papers (deadline extension)
@ 2021-05-11  9:41 Mario Pereira
  0 siblings, 0 replies; only message in thread
From: Mario Pereira @ 2021-05-11  9:41 UTC (permalink / raw)
  To: agda, why3-club, coq-club, caml-list, types-announce

[-- Attachment #1: Type: text/plain, Size: 7501 bytes --]

Differences regarding first CFP: one week deadline extension and update on
pages limit.

[ Please distribute, apologies for multiple postings. ]

=================================================================

Call for Papers - XXV Brazilian Symposium on Programming Languages (SBLP
 2021)


Online, September 27 - October 1, 2021

Conference website: http://cbsoft2021.joinville.udesc.br/sblp.php

Submission link:  https://easychair.org/conferences/?conf=sblp2021


SBLP 2021 is the 25th 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 has been part of CBSoft, the Brazilian
Conference on Software: Theory and Practice.

The symposium is planned to take place from September 27 to October 1,
2021, fully online.


Submission Guidelines
-------------------------------------------

Papers can be written in Portuguese or English. Submissions in English are
encouraged because only accepted papers written in English will appear in
the proceedings 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.

SBLP 2021 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=sblp2021


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

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.*

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


Publication
-------------------------------------------

SBLP proceedings will be published in ACM's digital library. A selection of
the best papers appearing in the 2019 and 2020 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 2021 edition of SBLP.


Important dates
-------------------------------------------

Abstract submission: 9 May, 2021 23 May, 2021

Paper submission: 16 May, 2021 23 May, 2021

Author notification: 09 July, 2021

Camera ready deadline: 23 July, 2021


Program Committee
-------------------------------------------

* Program Committee Chair:

- João Paulo Fernandes, Universidade do Porto, Portugal


* Publicity Chair:

- Mário Pereira, NOVA LINCS & Universidade Nova de Lisboa, Portugal


* Program Committee:

- Adrien Guatto, Université de Paris, CNRS, IRIF, France

- Alberto Pardo, Universidad de la República, Uruguay

- Alcides Fonseca, Universidade de Lisboa, Portugal

- Alejandro Díaz-Caro, Universidad Nacional de Quilmes & ICC (CONICET /
UBA), Argentina

- Alex Kavvos, University of Bristol, UK

- Anderson Faustino da Silva, Universidade Estadual de Maringá, Brazil

- Andrei Rimsa, Centro Federal de Educação Tecnológica de Minas Gerais,
Brazil

- Arthur Azevedo de Amorim, Boston University, USA

- Bruno Oliveira, University of Hong Kong, Hong Kong

- Caterina Urban, INRIA & École Normale Supérieure | Université PSL, France

- Cláudio Lourenço, Huawei Research, UK

- Cristiano Vasconcellos, Universidade do Estado de Santa Catarina, Brazil

- Dalvan Griebler, Pontifícia Universidade Católica do Rio Grande do Sul
(PUCRS) / Sociedade Educacional Três de Maio (Setrem), Brazil

- Emmanuel Chailloux, Sorbonne Université, France

- Eric Van Wyk, University of Minnesota, USA

- Fernando Castor, Universidade Federal do Pernambuco, Brazil

- Fernando Pereira, Universidade Federal de Minas Gerais, Brazil

- Francisco Junior, Universidade Federal do Ceará, Brazil

- Francisco Sant'anna, Universidade do Estado do Rio de Janeiro, Brazil

- Jean-Christophe Filliâtre, CNRS/Université Paris-Saclay, France

- Léon Gondelman, University of Aarhus, Denmark

- Lourdes González Huesca, Universidad Nacional Autónoma de México, Mexico

- Luiz Fernandes, Pontifícia Universidade Católica do Rio Grande do Sul,
Brazil

- Marcos Viera, Universidad de la República, Uruguay

- Mário Pereira, NOVA LINCS & Universidade Nova de Lisboa, Portugal

- Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina

- Noemi Rodriguez, Pontifícia Universidade Católica do Rio de Janeiro,
Brazil

- Paul Leger, Universidad Católica del Norte, Chile

- Roberto Bigonha, Universidade Federal de Minas Gerais, Brazil

- Roberto Ierusalimschy, Pontifícia Universidade Católica do Rio de
Janeiro, Brazil

- Rodrigo Ribeiro, Universidade Federal de Ouro Preto, Brazil

- Rui Pereira, HASLab/INESC Tec, Portugal

- Samuel Feitosa, Instituto Federal de Santa Catarina, Brazil

- Sérgio Medeiros, Universidade Federal do Rio Grande do Norte, Brazil

- Simão Melo de Sousa, NOVA-LINCS &  Universidade da Beira Interior,
Portugal

- Stefania Dumbrava, École Nationale Supérieure d'Informatique pour
l'industrie et l'Entreprise, France

- Stéphane Lengrand, Stanford Research Institute, USA


Contact
-------------------------------------------

All questions about submissions should be emailed to João Paulo Fernandes

(jpaulo@fe.up.pt)

[-- Attachment #2: Type: text/html, Size: 8653 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-05-11  9:41 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-05-11  9:41 [Caml-list] SBLP 2021 - Second Call for Papers (deadline extension) Mario Pereira

caml-list - the Caml user's mailing list

This inbox may be cloned and mirrored by anyone:

	git clone --mirror https://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 caml-list caml-list/ https://inbox.vuxu.org/caml-list \
		caml-list@inria.fr
	public-inbox-index caml-list

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git