24th Brazilian Symposium on Programming Languages
SBLP 2020
- URL: http://www.easychair.org/conferences/?conf=sblp2020
- Event Date: 2020-09-21 ~ 2020-09-25
- Abstract Submission Date: 2020-05-31
- Submission Date: 2020-06-07
- Location: Natal, Brazil
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)
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)
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
