<div dir="ltr"><div dir="ltr">Hello,<div><br></div><div>Apologies for the possible duplicates.</div><div><br></div><div><div>Call for Papers - XXIII Brazilian Symposium on Programming Languages (SBLP 2019)</div><div><br></div><div>Universidade Federal da Bahia - UFBA</div><div><br></div><div>Salvador, Brazil, September 23-27, 2019</div><div>Conference website: <a href="http://www.sbc.org.br/cbsoft2019" target="_blank">http://www.sbc.org.br/cbsoft2019</a></div><div>Submission link: <a href="https://easychair.org/conferences/?conf=sblp2019" target="_blank">https://easychair.org/conferences/?conf=sblp2019</a></div><div><br></div><div>SBLP 2019 is the 23nd edition of the Brazilian Symposium on</div><div>Programming Languages. It is promoted by the Brazilian Computer</div><div>Society (SBC) and constitutes a forum for researchers, students and</div><div>professionals to present and discuss ideas and innovations in the</div><div>design, definition, analysis, implementation and practical use of</div><div>programming languages.</div><div><br></div><div>SBLP's first edition was in 1996. Since 2010, it is part of CBSoft,</div><div>the Brazilian Conference on Software: Theory and Practice</div><div>(<a href="http://cbsoft2019.ufba.br/" target="_blank">http://cbsoft2019.ufba.br/</a>). </div><div><br></div><div>Submission Guidelines</div><div>________________________________________________________________________________</div><div><br></div><div>Papers can be written in Portuguese or English. Submission in English</div><div>is strongly encouraged since the symposium proceedings are indexed in</div><div>the ACM Digital Library. The acceptance of a paper implies that at</div><div>least one of its authors will register for the symposium to present</div><div>it. Papers must be original and not simultaneously submitted to</div><div>another journal or conference.</div><div><br></div><div>Papers must be submitted electronically (in PDF format) via the</div><div>Easychair System: </div><div>  <a href="http://www.easychair.org/conferences/?conf=sblp2019" target="_blank">http://www.easychair.org/conferences/?conf=sblp2019</a></div><div><br></div><div>The following paper categories are welcome (page limits include</div><div>figures, references and appendices):</div><div><br></div><div>    Full papers: up to 8 pages long in ACM 2-column conference</div><div>    format, available at</div><div>    <a href="http://www.acm.org/publications/proceedings-template" target="_blank">http://www.acm.org/publications/proceedings-template</a></div><div><br></div><div>    Short papers: up to 3 pages in the same format, can discuss new</div><div>    ideas which are at an early stage of development or can report</div><div>    partial results of on-going dissertations or theses.</div><div><br></div><div>List of Topics (related but not limited to the following)</div><div>________________________________________________________________________________</div><div><br></div><div>   • Programming paradigms and styles, scripting and domain-specific</div><div>     languages and support for real-time, service-oriented,</div><div>     multi-threaded, parallel, and distributed programming</div><div>   • Program generation and transformation</div><div>   • Formal semantics and theoretical foundations: denotational,</div><div>     operational, algebraic and categorical</div><div>   • Program analysis and verification, type systems, static analysis</div><div>     and abstract interpretation</div><div>   • Programming language design and implementation, programming</div><div>     language environments, compilation and interpretation techniques</div><div><br></div><div>Publication</div><div>________________________________________________________________________________</div><div><br></div><div>SBLP proceedings will be published in ACM's digital library. </div><div>As in previous editions, after the conference authors of selected</div><div>regular papers will be invited to submit an extended version of their</div><div>work to be considered for publication in a journal's special issue.</div><div>Since 2009, selected papers of each SBLP edition are being published</div><div>in a special issue of Science of Computer Programming, by Elsevier.</div><div><br></div><div>Important dates</div><div>________________________________________________________________________________</div><div><br></div><div>Abstract submission: 26 April, 2019</div><div>Paper submission: 3 May, 2019</div><div>Rebuttal: 3-5 June, 2019</div><div>Author notification: 17 June, 2019</div><div>Camera ready deadline: 1 July 2019</div><div><br></div><div>Program Committee</div><div>________________________________________________________________________________</div><div><br></div><div>Alberto<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">       </span>Pardo<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap"> </span> Universidad de la República</div><div>Alex Garcia<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">              </span> Instituto Militar de Engenharia</div><div>Alvaro<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">        </span>Moreira<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">               </span>Universidade Federal do Rio Grande do Sul</div><div>Anamaria Martins Moreira  Universidade Federal do Rio de Janeiro</div><div>André Murbach Maidl <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">        </span> Pontifícia Universidade Católica do Paraná</div><div>Andre Rauber Du Bois <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">  </span> Universidade Federal de Pelotas</div><div>Beta Ziliani     Universidad Nacional de Córdoba (Chair)</div><div>Carlos Camarão <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">   </span> Universidade Federal de Minas Gerais</div><div>Christiano Braga <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">       </span>Universidade Federal Fluminense</div><div>Cristiano Vasconcellos<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">  </span>Universidade do Estado de Santa Catarina</div><div>Fábio<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap"> </span>Mascarenhas <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap"> </span> Universidade Federal do Rio de Janeiro</div><div>Fernando Castor<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">                </span> Universidade Federal de Pernambuco</div><div>Fernando Pereira <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap"> </span> Universidade Federal de Minas Gerais</div><div>Francisco Heron de Carvalho Junior <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">             </span>Universidade Federal do Ceará</div><div>Francisco Sant'Anna <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">                </span>Unversidade Estadual do Rio de Janeiro</div><div>Gustavo<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">  </span>Pinto<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap"> </span> <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">    </span> Universidade Federal do Pará</div><div>Hans-Wolfgang Loidl <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">   </span>Heriot-Watt University</div><div>Henrique Rebêlo<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap"> </span> <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">    </span> Universidade Federal de Pernambuco</div><div>Ismael Figueroa  <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap"> </span> Pontificia Universidad Católica de Valparaíso</div><div>João Saraiva <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">       </span>University of Minho</div><div>João F.Ferreira <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">  </span> Teesside University (UK) and HASLab / INESC TEC (Portugal)</div><div>João Fernandes<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">    </span> <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">    </span> University of Coimbra</div><div>Leonardo Vieira Dos Santos Reis <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">       </span> Universidade Federal de Juiz de Fora</div><div>Leopoldo Teixeira <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">      </span> Universidade Federal de Pernambuco</div><div>Louis-Noel Pouchet <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">       </span> The Ohio State University</div><div>Lucilia<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">     </span>Figueiredo <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">  </span> Universidade Federal de Ouro Preto</div><div>Manuel A. Martins <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">        </span>University of Aveiro<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">  </span></div><div>Marcelo<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">        </span>Maia <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">        </span> Universidade Federal de Uberlândia</div><div>Mariza<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">    </span>Bigonha<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">       </span> Universidade Federal de Minas Gerais</div><div>Martin<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">   </span>Musicante <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">   </span> Universidade Federal do Rio Grande do Norte</div><div>Noemi Rodriguez<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">   </span> <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">    </span> Pontifícia Universidade Católica do Rio de Janeiro</div><div>Peter<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">    </span>Mosses<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">                </span> Swansea University</div><div>Renato Cerqueira <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap"> </span> IBM Research, Brazil</div><div>Roberto<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">  </span>Bigonha<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">               </span> Universidade Federal de Minas Gerais</div><div>Roberto<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">  </span>Ierusalimschy<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">         </span> Pontifícia Universidade Católica do Rio de Janeiro</div><div>Rodrigo Ribeiro<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">          </span> Universidade Federal de Ouro Preto (Chair)</div><div>Sérgio Medeiros<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">   </span> <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">    </span> Universidade Federal do Rio Grande do Norte</div><div>Simon<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">     </span>Thompson <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">    </span>University of Kent</div><div>Varmo<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">        </span>Vene<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">          </span> University of Tartu</div><div>Victor<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">    </span>Miraldo<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">                       </span>Utrecht University</div><div>Yu David Liu <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">       </span> State University of New York at Binghamton</div><div>Zongyan<span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap">    </span>Qiu <span class="gmail-m_3453660210200124960gmail-Apple-tab-span" style="white-space:pre-wrap"> </span> Peking University</div><div><br></div><div>Invited Speaker</div><div>________________________________________________________________________________</div><div><br></div><div>Beta Ziliani, Universidad Nacional de Córdoba.</div><div><br></div><div>Contact</div><div>________________________________________________________________________________</div><div><br></div><div>All questions about submissions should be emailed to Rodrigo Ribeiro</div><div>(<a href="mailto:rodrigo.ribeiro@ufop.edu.br" target="_blank">rodrigo.ribeiro@ufop.edu.br</a>)</div></div><div><br></div><div class="gmail-yj6qo"></div></div></div>