SBLP 2020 : 24th Brazilian Symposium on Programming Languages

  in Conferences   Posted on January 24, 2020

Conference Information

Submission Deadline Sunday 07 Jun 2020 Proceedings indexed by :
Conference Dates Sep 21, 2020 - Sep 25, 2020
Conference Address Natal, Brazil
Conference & Submission Link http://www.easychair.org/conferences/?conf=sblp2020
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Call for Papers

Call for Papers – XXIV Brazilian Symposium on Programming Languages (SBLP 2020)

Natal, Brazil, September 21-25, 2020

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

SBLP 2020 is the 24th 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.

Submission Guidelines

________________________________________________________________________________

Papers can be written in Portuguese or English. Submissions in

English are encouraged because the proceedings will be 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 2020 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 third person.

Papers must be submitted electronically (in PDF format) via the

Easychair System:

http://www.easychair.org/conferences/?conf=sblp2020

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

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, 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: 31 May, 2020

Paper submission: 7 June, 2020 (strict)

Author notification: 24 July, 2020

Camera ready deadline: 9 August 2020

Program Committee

________________________________________________________________________________

Alex Garcia Instituto Militar de Engenharia

Alvaro Moreira Universidade Federal do Rio Grande do Sul

Anamaria Moreira Universidade Federal do Rio de Janeiro

André Murbach Maidl Pontifícia Universidade Católica do Paraná

Bernhard Scholz The University of Sydney

Beta Ziliani Universidad Nacional de Córdoba

Christiano Braga Universidade Federal Fluminense

Cristiano Vasconcellos Universidade do Estado de Santa Catarina

Fernando Castor Universidade Federal de Pernambuco

Fernando Pereira Universidade Federal de Minas Gerais

Francisco Sant\’Anna Unversidade Estadual do Rio de Janeiro

Hans-Wolfgang Loidl Heriot-Watt University

Henrique Rebêlo Universidade Federal de Pernambuco

João Paulo Fernandes University of Coimbra

Krishna Nandivada IIT Madras

Laure Gonnord University of Lyon

Leonardo Reis Universidade Federal de Juiz de Fora

Louis-Noel Pouchet Colorado State University

Lucilia Figueiredo Universidade Federal de Ouro Preto

Marisa Bigonha Universidade Federal de Minas Gerais

Martin Musicante Universidade Federal do Rio Grande do Norte

Pavlos Petoumenos University of Manchester

Renato Cerqueira IBM Research

Roberto Ierusalimschy PUC-Rio

Rodrigo Ribeiro Universidade Federal de Ouro Preto

Sandro Rigo Universidade de Campinas

Sérgio Medeiros Universidade Federal do Rio Grande do Norte (Chair)

Simon Thompson University of Kent

Tomofumi Yuki INRIA

Contact

________________________________________________________________________________

All questions about submissions should be emailed to Sérgio Medeiros

(sergiomedeiros@ect.ufrn.br)

Other Conferences in Brazil

CIoT 2020 : 4th Conference on Cloud and Internet of Things 2020

Deadline :
Mon 15 Jun 2020
Oct 7, 2020 - Oct 9, 2020 - Niterói
Brazil

SVR 2020 : 22nd Symposium on Virtual and Augmented Reality

Deadline :
Wed 17 Jun 2020
Nov 7, 2020 - Nov 10, 2020 - Porto de Galinhas
Brazil

SIBGRAPI 2020 : Conference on Graphics, Patterns and Images

Deadline :
Fri 03 Jul 2020
Nov 7, 2020 - Nov 10, 2020 - Recife/Porto de Galinhas
Brazil

SBMF 2020 : 23rd Brazilian Symposium on Formal Methods

Deadline :
Fri 10 Jul 2020
Nov 25, 2020 - Nov 27, 2020 - Ouro Preto
Brazil