Path: csiph.com!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end From: carlos.camarao@gmail.com Newsgroups: comp.compilers Subject: SBLP 2018 Call for Papers (Sao Paulo, Sept 18) Date: Thu, 18 Jan 2018 06:29:16 -0800 (PST) Organization: Compilers Central Lines: 131 Sender: news@iecc.com Approved: comp.compilers@iecc.com Message-ID: <18-01-003@comp.compilers> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="99971"; mail-complaints-to="abuse@iecc.com" Keywords: conference, CFP Posted-Date: 18 Jan 2018 09:46:03 EST X-submission-address: compilers@iecc.com X-moderator-address: compilers-request@iecc.com X-FAQ-and-archives: http://compilers.iecc.com Xref: csiph.com comp.compilers:1940 SBLP 2018: XXII Brazilian Symposium on Programming Languages _____________________________________________________________________________ Universidade de SC#o Paulo - ICMC/USP SC#o Carlos, Brazil, September 20-21, 2018 Conference website http://www.sbc.org.br/cbsoft2018 Submission link https://easychair.org/conferences/?conf=sblp2018 SBLP 2018 is the 22nd 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 (http://cbsoft.org/cbsoft2018/). Submission Guidelines _____________________________________________________________________________ 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 format, available at http://www.acm.org/publications/article-templates/proceedings-template.html 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 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 CamarC#o Universidade Federal de Minas Gerais (chair) Fernando Castor Universidade Federal de Pernambuco Renato Cerqueira IBM Research, Brazil Joao Ferreira Teesside University LucC-lia Figueiredo Universidade Federal de Ouro Preto Ismael Figueroa PontifC-cia Universidad CatC3lica de Valparaiso Alex Garcia Instituto Militar de Engenharia Roberto Ierusalimschy PontifC-cia Universidade CatC3lica 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 UberlC"ndia AndrC) M. Maidl PontifC-cia Universidade CatC3lica do ParanC! Manuel A. Martins Universidade de Aveiro SC)rgio Medeiros Universidade Federal do Rio Grande do Norte Victor Miraldo University of Utrecht Clvaro 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 RepC:blica Fernando Pereira Universidade Federal de Minas Gerais Gustavo Pinto Universidade Federal do ParC! Louis-Noel Pouchet Ohio State University Zongyan Qiu Peking University Leonardo Reis Universidade Federal de Ouro Preto Rodrigo Ribeiro Universidade Federal de Ouro Preto Noemi Rodriguez PontifC-cia Universidade CatC3lica do Rio de Janeiro Francisco Sant'Anna Universidade Estadual do Rio de Janeiro JoC#o Saraiva Universidade do Minho Martin Sulzmann Hochschule Karlsruhe-Technik und Wirtschaft (chair) Leopoldo Teixeira Universidade Federal de Pernambuco Varmo Vene University of Tartu Invited Speaker _____________________________________________________________________________ ___ Martin Sulzmann, Hochschule Karlsruhe - Technik und Wirtschaft, Germany Publication _____________________________________________________________________________ ___ 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 Contact _____________________________________________________________________________ ___ All questions about submissions should be emailed to Carlos CamarC#o (camarao@dcc.ufmg.br)