Carlos Camarao
2018-04-15 22:59:06 UTC
SBLP 2018 last call for papers
________________________________________________________________________________
Universidade de São Paulo - ICMC/USP
São Carlos, Brazil, September 20-21, 2018
Conference website http://www.sbc.org.br/cbsoft2018
Submission link https://easychair.org/conferences/?conf=sblp2018
There are only 3 weeks left for the deadline of paper submission to
SBLP 2018, the 22nd edition of the Brazilian Symposium on Programming
Languages. The symposium is promoted by the Brazilian Computer Society
(SBC) and provides 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.
Since 2010, it is part of CBSoft, the Brazilian Conference on
Software: Theory and Practice (http://cbsoft.org/cbsoft2018/).
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=sblp2018
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: April 29th 2018
Paper submission: May 6th 2018
Author notification: June 22nd 2018
Camera ready deadline: July 8th 2018
Program Committee
________________________________________________________________________________
Mariza Bigonha Universidade Federal de Minas Gerais
Roberto Bigonha Universidade Federal de Minas Gerais
Andre R. Du Bois Universidade Federal de Pelotas
Christiano Braga Universidade Federal Fluminense
Carlos Camarão Universidade Federal de Minas Gerais (chair)
Fernando Castor Universidade Federal de Pernambuco
Renato Cerqueira IBM Research, Brazil
João Fernandes Universidade de Coimbra
João Ferreira Teesside University
LucÃlia Figueiredo Universidade Federal de Ouro Preto
Ismael Figueroa PontifÃcia Universidad Católica de Valparaiso
Alex Garcia Instituto Militar de Engenharia
Francisco Heron Universidade Federal do Ceará
Roberto Ierusalimschy PontifÃcia Universidade Católica do Rio de
Janeiro
Yu David Liu State University of New York at
Binghamton
Hans-Wolfgang Loidl Heriot-Watt University
Marcelo Maia Universidade Federal de Uberlândia
André M. Maidl PontifÃcia Universidade Católica do Paraná
Manuel A. Martins Universidade de Aveiro
Fábio Mascarenhas Universidade Federal do Rio de Janeiro
Sérgio Medeiros Universidade Federal do Rio Grande do Norte
Victor Miraldo University of Utrecht
Ãlvaro Moreira Universidade Federal do Rio Grande do Sul
Anamaria M. Moreira Universidade Federal do Rio de Janeiro
Peter Mosses Swansea University
Martin Musicante Universidade Federal do Rio Grande do Norte
Alberto Pardo Universidad de la República
Fernando Pereira Universidade Federal de Minas Gerais
Gustavo Pinto Universidade Federal do Pará
Louis-Noel Pouchet Ohio State University
Zongyan Qiu Peking University
Henrique Rêbelo Universidade Federal de Pernambuco
Leonardo Reis Universidade Federal de Ouro Preto
Rodrigo Ribeiro Universidade Federal de Ouro Preto
Noemi Rodriguez PontifÃcia Universidade Católica do Rio de
Janeiro
Francisco Sant'Anna Universidade Estadual do Rio de Janeiro
João Saraiva Universidade do Minho
Martin Sulzmann Hochschule Karlsruhe - Technik und
Wirtschaft (chair)
Leopoldo Teixeira Universidade Federal de Pernambuco
Simon Thompson University of Kent
Cristiano Vasconcellos Universidade do Estado de Santa Catarina
Varmo Vene University of Tartu
Invited Speaker
________________________________________________________________________________
Martin Sulzmann, Hochschule Karlsruhe - Technik und Wirtschaft, Germany
Contact
________________________________________________________________________________
All questions about submissions should be emailed to Carlos Camarão
(***@dcc.ufmg.br)
________________________________________________________________________________
Universidade de São Paulo - ICMC/USP
São Carlos, Brazil, September 20-21, 2018
Conference website http://www.sbc.org.br/cbsoft2018
Submission link https://easychair.org/conferences/?conf=sblp2018
There are only 3 weeks left for the deadline of paper submission to
SBLP 2018, the 22nd edition of the Brazilian Symposium on Programming
Languages. The symposium is promoted by the Brazilian Computer Society
(SBC) and provides 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.
Since 2010, it is part of CBSoft, the Brazilian Conference on
Software: Theory and Practice (http://cbsoft.org/cbsoft2018/).
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=sblp2018
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: April 29th 2018
Paper submission: May 6th 2018
Author notification: June 22nd 2018
Camera ready deadline: July 8th 2018
Program Committee
________________________________________________________________________________
Mariza Bigonha Universidade Federal de Minas Gerais
Roberto Bigonha Universidade Federal de Minas Gerais
Andre R. Du Bois Universidade Federal de Pelotas
Christiano Braga Universidade Federal Fluminense
Carlos Camarão Universidade Federal de Minas Gerais (chair)
Fernando Castor Universidade Federal de Pernambuco
Renato Cerqueira IBM Research, Brazil
João Fernandes Universidade de Coimbra
João Ferreira Teesside University
LucÃlia Figueiredo Universidade Federal de Ouro Preto
Ismael Figueroa PontifÃcia Universidad Católica de Valparaiso
Alex Garcia Instituto Militar de Engenharia
Francisco Heron Universidade Federal do Ceará
Roberto Ierusalimschy PontifÃcia Universidade Católica do Rio de
Janeiro
Yu David Liu State University of New York at
Binghamton
Hans-Wolfgang Loidl Heriot-Watt University
Marcelo Maia Universidade Federal de Uberlândia
André M. Maidl PontifÃcia Universidade Católica do Paraná
Manuel A. Martins Universidade de Aveiro
Fábio Mascarenhas Universidade Federal do Rio de Janeiro
Sérgio Medeiros Universidade Federal do Rio Grande do Norte
Victor Miraldo University of Utrecht
Ãlvaro Moreira Universidade Federal do Rio Grande do Sul
Anamaria M. Moreira Universidade Federal do Rio de Janeiro
Peter Mosses Swansea University
Martin Musicante Universidade Federal do Rio Grande do Norte
Alberto Pardo Universidad de la República
Fernando Pereira Universidade Federal de Minas Gerais
Gustavo Pinto Universidade Federal do Pará
Louis-Noel Pouchet Ohio State University
Zongyan Qiu Peking University
Henrique Rêbelo Universidade Federal de Pernambuco
Leonardo Reis Universidade Federal de Ouro Preto
Rodrigo Ribeiro Universidade Federal de Ouro Preto
Noemi Rodriguez PontifÃcia Universidade Católica do Rio de
Janeiro
Francisco Sant'Anna Universidade Estadual do Rio de Janeiro
João Saraiva Universidade do Minho
Martin Sulzmann Hochschule Karlsruhe - Technik und
Wirtschaft (chair)
Leopoldo Teixeira Universidade Federal de Pernambuco
Simon Thompson University of Kent
Cristiano Vasconcellos Universidade do Estado de Santa Catarina
Varmo Vene University of Tartu
Invited Speaker
________________________________________________________________________________
Martin Sulzmann, Hochschule Karlsruhe - Technik und Wirtschaft, Germany
Contact
________________________________________________________________________________
All questions about submissions should be emailed to Carlos Camarão
(***@dcc.ufmg.br)