From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id E20CA7EE51 for ; Wed, 10 Apr 2013 17:36:42 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ardubois@gmail.com) identity=pra; client-ip=209.85.220.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ardubois@gmail.com"; x-sender="ardubois@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ardubois@gmail.com designates 209.85.220.43 as permitted sender) identity=mailfrom; client-ip=209.85.220.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ardubois@gmail.com"; x-sender="ardubois@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pa0-f43.google.com) identity=helo; client-ip=209.85.220.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ardubois@gmail.com"; x-sender="postmaster@mail-pa0-f43.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgMEAKaFZVHRVdwrm2dsb2JhbABQDoMur0aDHoYRhl+CXggWDgEBAQEBBgsLCRQogkMjARMIDBIDEhAHVgERAQUBDhULEId4AQMPDKBDjC+Ce4RrChknDVmIfgEFDI09FYUAA5cAgSGOCxYpglSBG1kigS4 X-IPAS-Result: AgMEAKaFZVHRVdwrm2dsb2JhbABQDoMur0aDHoYRhl+CXggWDgEBAQEBBgsLCRQogkMjARMIDBIDEhAHVgERAQUBDhULEId4AQMPDKBDjC+Ce4RrChknDVmIfgEFDI09FYUAA5cAgSGOCxYpglSBG1kigS4 X-IronPort-AV: E=Sophos;i="4.87,447,1363129200"; d="scan'208";a="12683451" Received: from mail-pa0-f43.google.com ([209.85.220.43]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Apr 2013 17:36:41 +0200 Received: by mail-pa0-f43.google.com with SMTP id hz11so379783pad.2 for ; Wed, 10 Apr 2013 08:36:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:date:message-id:subject:from:to :content-type; bh=4dcZrisg/w+MDYKmUUvZi61c4AQ6JeJ/Zx4KNMqQ1aM=; b=0YDnUE5CtzmDc7JTIJnhSmJtqZn70hO4L7wpZrRyhubp6s4rvUGDyJEsMMRhNBqpK3 7X+hmc6HGj3/i81Vyj+nLUByNMzL59iQsXau7luwN60Fe7laqFoRigS/XnrBcWQHqtSQ gWwp7VNFLsjdKoWVG5zYpBoZ6ok8UsbUVU2jCN9i8GfNanJ8jRAj3IFh/nMxXXMOEDlp /JCBejmCjpkevva60wXSbFfxyzJ9O5StN/uPiIlWrtopmgas4vq5yapefeTZpM4EZu9O KF2B96wir8sHAHNXH7m90kCdUwGcI2IXZcu0hin3hQjVVHcAjSReRSSGiKda5U6Tk555 n8Tw== MIME-Version: 1.0 X-Received: by 10.66.27.105 with SMTP id s9mr4165505pag.108.1365608200123; Wed, 10 Apr 2013 08:36:40 -0700 (PDT) Received: by 10.70.81.6 with HTTP; Wed, 10 Apr 2013 08:36:39 -0700 (PDT) Date: Wed, 10 Apr 2013 12:36:39 -0300 Message-ID: From: Andre Rauber Du Bois To: caml-list@inria.fr, types-announce@lists.seas.upenn.edu, haskell-cafe@haskell.org, EAPLS@jiscmail.ac.uk Content-Type: multipart/alternative; boundary=bcaec5299925abbdb704da036fd4 Subject: [Caml-list] SBLP 2013: Final CFP, deadline for Abstracs 19/4 --bcaec5299925abbdb704da036fd4 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable [Apologies if you receive multiple copies of this CFP] =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D CALL FOR PAPERS 17th BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES Bras=EDlia, Distrito Federal, Brazil September 29th to October 4th, 2013 http://cbsoft2013.unb.br/en/sblp-en =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D IMPORTANT DATES Paper abstract submission (15 lines): April 19th Full paper submission: April 26th, 2013 Notification of acceptance: May 31st, 2013 Final papers due: June 28th, 2013 INVITED SPEAKERS * Tim Harris, Oracle Labs * More TBA INTRODUCTION The 17th Brazilian Symposium on Programming Languages, SBLP 2013, will be held in Bras=EDlia, Brazil, on September 29th to October 4th, 2013. SBLP provides a venue for researchers and practitioners interested in the fundamental principles and innovations in the design and implementation of programming languages and systems. The symposium will be part of the 4th Brazilian Conference on Software: Theory and Practice, CBSoft 2013, http://cbsoft2013.cic.unb.br/, which will host four traditional, well-established symposia: * XXVII Brazilian Symposium on Software Engineering (SBES) * XVII Brazilian Symposium on Programming Languages (SBLP) * XVI Brazilian Symposium on Formal Methods (SBMF) * VII Brazilian Symposium on Components, Software Architecture and Software Reuse (SBCARS) SBLP 2013 invites authors to contribute with technical papers related (but not limited) to: * Program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages. * Programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming. * Formal semantics and theoretical foundations, including denotational, operational, algebraic and categorical. * Program analysis and verification, including type systems, static analysis and abstract interpretation. * Programming language design and implementation, including new programming models, programming language environments, compilation and interpretation techniques. SUBMISSIONS Contributions should be written in Portuguese or English. We solicit papers that should fall into one of two different categories: full papers, with at most 15 pages, or short papers, with at most 5 pages. Full papers submitted in English will be published in a volume of Lecture Notes in Computer Science (LNCS), by Springer. For this reason, all papers must be prepared using the LNCS template, available at http://www.springer.com/computer/lncs?SGWID=3D0-164-6-793341-0. We encourage the submission of short papers reporting on partial results of on-going master dissertations or doctoral theses. All accepted papers will be published in the conference proceedings distributed in a digital media by the CBSOFT organizers. Submissions should be done using SBLP 2013 installation of the EasyChair conference mangement system at http://www.easychair.org/conferences/?conf=3Dsblp2013. As in previous editions, a journal special issue, with selected papers from accepted contributions, is anticipated. Selected papers from 2003 to 2008 editions of SBLP were published in special issues of the Journal of Universal Computer Science, by Springer. The post-proceedings of SBLP from 2009 to 2012, also with selected papers from the conference proceedings, are being edited as special issues of Science of Computer Programming, published by Elsevier. CBSOFT CHAIRS Genaina Nunes Rodrigues, UnB Rodrigo Bonif=E1cio, UnB Diego Aranha, UnB PROGRAMME CHAIRS Andr=E9 Rauber Du Bois, UFPel Phil Trinder, Glasgow University PROGRAMME COMMITTEE Alberto Pardo, Univ. de La Republica Alex Garcia, IME Alvaro Freitas Moreira, UFRGS Andr=E9 Rauber Du Bois, UFPel (co-chair) Andre Santos, UFPE Carlos Camarao, UFMG Christiano Braga, UFF Edwin Brady, University of St. Andrews Fernando Castor Filho, UFPE Fernando Quint=E3o Pereira, UFMG Francisco Heron de Carvalho Junior, UFC Hans-Wofgang Loidl, Heriot-Watt University Jeremy Singer, Glasgow University Joao Saraiva, Universidade do Minho Jo=E3o F. Ferreira, Teesside University Lucilia Figueiredo, UFOP Luis Soares Barbosa, Univ. do Minho Manuel Ant=F3nio Martins, Univ. de Aveiro Marcelo A. Maia, UFU Marcello Bonsangue, Leiden Univ/CWI Marcelo d'Amorim, UFPE Marco Tulio Valente, UFMG Mariza A. S. Bigonha, UFMG Martin A. Musicante, UFRN Noemi Rodriguez, PUC-Rio Peter Mosses, Swansea University Phil Trinder, Glasgow University (co-chair) Qiu Zongyang, Beijing University Rafael Dueire Lins, UFPE Renato Cerqueira, PUC-Rio Ricardo Massa, UFPE Roberto S. Bigonha, UFMG Roberto Ierusalimschy, PUC-Rio Sandro Rigo, UNICAMP Sergio Soares, UFPE Simon Thompson, Univ. of Kent Varmo Vene, Univ. de Tartu --bcaec5299925abbdb704da036fd4 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
[Apologies if you receive multiple copies of this CF= P]

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D
CALL FOR PAPERS

17th BRAZ= ILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES

Bras=EDlia, Distrito Federa= l, Brazil
September 29th to October 4th, 2013
http://cb= soft2013.unb.br/en/sblp-en

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

IMPORTANT = DATES

Paper abstract submission (15 lines): April 19th
Full paper submission: April 26th, 2013
Notification of acceptance: May= 31st, 2013
Final papers due: June 28th, 2013

INVITED SPEAKERS
* Tim Harris, Oracle Labs
* More TBA

INTRODUCTION

The 17th Brazilian Symposium on Programming Languages, SBLP 2013, will=20 be held in Bras=EDlia, Brazil, on September 29th to October 4th, 2013.=20 SBLP provides a venue for researchers and practitioners interested in=20 the fundamental principles and innovations in the design and=20 implementation of
programming languages and systems.

The symposium will be part of the= 4th Brazilian Conference on Software: Theory and Practice, CBSoft 2013, http://cbsoft2013= .cic.unb.br/, which will host four traditional, well-established sympos= ia:

* XXVII Brazilian Symposium on Software Engineering (SBES)
* XVII Br= azilian Symposium on Programming Languages (SBLP)
* XVI Brazilian Sympos= ium on Formal Methods (SBMF)
* VII Brazilian Symposium on Components, So= ftware Architecture and Software Reuse (SBCARS)

SBLP 2013 invites authors to contribute with technical papers related (= but not limited) to:

* Program generation and transformation, including domain-specific=20 languages and model-driven development in the context of programming=A0=20 languages.

* Programming paradigms and styles, including functional,=20 object-oriented, aspect-oriented, scripting languages, real-time,=20 service-oriented, multithreaded, parallel, and distributed programming.
=
* Formal semantics and theoretical foundations, including denotational,= operational, algebraic and categorical.

* Program analysis and verification, including type systems, static ana= lysis and abstract interpretation.

* Programming language design and implementation, including new=20 programming models, programming language environments, compilation and=20 interpretation techniques.

SUBMISSIONS

Contributions should be written in Portuguese or=20 English. We solicit papers that should fall into one of two different=20 categories: full papers, with at most 15 pages, or short papers, with at most 5 pages. Full papers submitted in English will be published in a=20 volume of Lecture Notes in Computer Science (LNCS), by Springer. For=20 this reason, all papers must be prepared using the LNCS template,=20 available at http://www.springer.com/computer/lncs?SGWID= =3D0-164-6-793341-0. We encourage the submission of short papers reporting on partial=20 results of on-going master dissertations or doctoral theses. All=20 accepted papers will be published in the conference proceedings=20 distributed in a digital media by the CBSOFT organizers.

Submissions should be done using SBLP 2013 installation of the EasyChai= r conference mangement system at http://www.easychair.org/conferen= ces/?conf=3Dsblp2013.

As in previous editions, a journal special issue, with selected=20 papers from accepted contributions, is anticipated. Selected papers from 2003 to 2008 editions of SBLP were published in special issues of the=20 Journal of Universal Computer Science, by Springer. The post-proceedings of SBLP from 2009 to 2012, also with selected papers from the=20 conference proceedings, are being edited as special issues of Science of Computer Programming, published by Elsevier.

CBSOFT CHAIRS
Genaina Nunes Rodrigues, UnB
Rodrigo Bonif=E1cio, U= nB
Diego Aranha, UnB

PROGRAMME CHAIRS
Andr=E9 Rauber Du Bois, = UFPel
Phil Trinder, Glasgow University

PROGRAMME COMMITTEE
Alb= erto Pardo, Univ. de La Republica
Alex Garcia, IME
Alvaro Freitas Moreira, UFRGS
Andr=E9 Rauber Du Bois= , UFPel (co-chair)
Andre Santos, UFPE
Carlos Camarao, UFMG
Christi= ano Braga, UFF
Edwin Brady, University of St. Andrews
Fernando Castor= Filho, UFPE
Fernando Quint=E3o Pereira, UFMG
Francisco Heron de Carvalho Junior, UFC=
Hans-Wofgang Loidl, Heriot-Watt University
Jeremy Singer, Glasgow U= niversity
Joao Saraiva, Universidade do Minho
Jo=E3o F. Ferreira, Tee= sside University
Lucilia Figueiredo, UFOP
Luis Soares Barbosa, Univ. do Minho
Manuel = Ant=F3nio Martins, Univ. de Aveiro
Marcelo A. Maia, UFU
Marcello Bons= angue, Leiden Univ/CWI
Marcelo d'Amorim, UFPE
Marco Tulio Valente= , UFMG
Mariza A. S. Bigonha, UFMG
Martin A. Musicante, UFRN
Noemi Rodriguez,= PUC-Rio
Peter Mosses, Swansea University
Phil Trinder, Glasgow Unive= rsity (co-chair)
Qiu Zongyang, Beijing University
Rafael Dueire Lins,= UFPE
Renato Cerqueira, PUC-Rio
Ricardo Massa, UFPE
Roberto S. Bigonha, UFM= G
Roberto Ierusalimschy, PUC-Rio
Sandro Rigo, UNICAMP
Sergio Soare= s, UFPE
Simon Thompson, Univ. of Kent
Varmo Vene, Univ. de Tartu
--bcaec5299925abbdb704da036fd4--