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 c5ff346549e7 (Postfix) with ESMTPS id B64F31E6 for ; Thu, 29 Mar 2018 13:09:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,376,1517871600"; d="scan'208,217";a="320560235" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Mar 2018 15:09:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 05B4182435; Thu, 29 Mar 2018 15:09:38 +0200 (CEST) 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 4DAF08239C for ; Thu, 29 Mar 2018 15:09:33 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=S.J.Thompson@kent.ac.uk; spf=Pass smtp.mailfrom=S.J.Thompson@kent.ac.uk; spf=None smtp.helo=postmaster@mx4.kent.ac.uk IronPort-PHdr: =?us-ascii?q?9a23=3Af9DL3haFyRZ9q3bdw/aimVD/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrs64bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjA57G7YhdF+gqFVoBy/qRJxxJXZb5uJOPp7ZK7dfc8WSGhHU81MVyJBGIS8?= =?us-ascii?q?b44XAuQcPOZYqo79p10TphCjGwesBOTvyjpQhn/t2q061fkqHAbb0gA6G9wCqm?= =?us-ascii?q?rarNXyNKcXSeC1167IzTPYYvNVxzj97pTIfgo7rv6QR75wbMnRxFApGgjYgFuQ?= =?us-ascii?q?ronlMCmU1uQLq2WU9fZvVee1h24gsQFxrSCjydk2hYnShoMa1lDE+j94wIYvP9?= =?us-ascii?q?G4T1R7YdG8HJtLrC6VK5F6QsQ4Q2Fnoio10acGtYa4fCcUzpQn2wTTZOabfISS?= =?us-ascii?q?/xLjV/6dLitji3J+f7K/iQqy/VKnyu3mWcm51ktBoCldktTUq3wByRje5tKaRv?= =?us-ascii?q?dj5EutxyuD2xrd5+xEOUw4iLTXJpo7zrItiJYfq1nPEy72lUnskaObdEYp9+61?= =?us-ascii?q?4Or9eLrmvIWTN4pshwH+LKsunsu/DPw9MgkBUGWX4+e826Pl/U3lWrlFlOE5nr?= =?us-ascii?q?PEsJDZPcgbp6i5DBFJ0os79hqzETOr3M4FkXUZNl5JZg+Lg5LnNlzOOPz4CO2w?= =?us-ascii?q?g1WokDdl3fDGObjhD43QIHTZlLntZ6hz605byAo21dBf/JVUCrcaLfLwREDxss?= =?us-ascii?q?DYAgUjPAOo2ernFdZ92psEWW2TGq+ZLL/SsViQ6+0zOeaMYYsVtC/5K/gk/P7u?= =?us-ascii?q?kWQ0mUQdfKmsxZsYcmq0HvVgI0WDYHrjmM0NEWkQvll2cOu/wlCYVTdVaDOrQq?= =?us-ascii?q?8n+jA8DpmOAJ3HT4aixrub023zSpBMYmlABRWVDHrza4SDXewkZTiWK8lu1Dse?= =?us-ascii?q?Wu7lA4Qo0BXm4ATzzr4iKuvP5gUZs4ji3Z57/buAuws18GlPDsGa1SnFc2Fzm3?= =?us-ascii?q?sTQDl+iJs5gwpBylCGybN/hdRbGNpPofpCFBo5Y82Ph9dmAsz/D1qSNuyCT0yr?= =?us-ascii?q?F43/UGMBC+kpytpLWH5TXtCrjxTNxS2vWuVHlLGNGNo9+eTB3Cqofpov+zP9zK?= =?us-ascii?q?AkymIebI5XL2T/3Px8+g7PQYfC1Viaxf7zKPYsmRXV/WLG9lKg+UFVVAkpD/fA?= =?us-ascii?q?TSxZZUbQsZLw7QXfTO32BA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BzAAA+5LxahyMVDIFdFgQBAQECAgEBA?= =?us-ascii?q?QkBAQGEFg5vKINciACNAIMDjg6EQ4F6AQIII4FXhyUZBwEEMBgBAgEBAQEBAQE?= =?us-ascii?q?BARIBAQEKCwkIKC9CEAGBZSKCTAYdBiYfDBU/CwMCAkYRBgESCYUED6pgAoEsg?= =?us-ascii?q?hyEVYJrGGiCKTKHLIITgQwigXg6gXGBRQsBAxiBG4MnMIIkAocFiSOHCwiFUYh?= =?us-ascii?q?bgWiHW4JviRQ8RoMUglCBJRyBdA4ITTQ+KgGBPVsJNYFuAo4gbgGGHIVngkYBA?= =?us-ascii?q?Q?= X-IPAS-Result: =?us-ascii?q?A0BzAAA+5LxahyMVDIFdFgQBAQECAgEBAQkBAQGEFg5vKIN?= =?us-ascii?q?ciACNAIMDjg6EQ4F6AQIII4FXhyUZBwEEMBgBAgEBAQEBAQEBARIBAQEKCwkIK?= =?us-ascii?q?C9CEAGBZSKCTAYdBiYfDBU/CwMCAkYRBgESCYUED6pgAoEsghyEVYJrGGiCKTK?= =?us-ascii?q?HLIITgQwigXg6gXGBRQsBAxiBG4MnMIIkAocFiSOHCwiFUYhbgWiHW4JviRQ8R?= =?us-ascii?q?oMUglCBJRyBdA4ITTQ+KgGBPVsJNYFuAo4gbgGGHIVngkYBAQ?= X-IronPort-AV: E=Sophos;i="5.48,376,1517871600"; d="scan'208,217";a="320560217" Received: from mx4.kent.ac.uk ([129.12.21.35]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 29 Mar 2018 15:09:32 +0200 Received: from edua5b2.kent.ac.uk ([129.12.165.178]) by mx4.kent.ac.uk with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.90_1) (envelope-from ) id 1f1XJ4-0001Ab-Gm; Thu, 29 Mar 2018 14:09:31 +0100 From: Simon Thompson Content-Type: multipart/alternative; boundary="Apple-Mail=_1CE35D39-1C74-4976-B2D0-6F50FBCB7A3C" Mime-Version: 1.0 (Mac OS X Mail 11.2 \(3445.5.20\)) Message-Id: <132C79FC-B97E-41B2-BB8F-B763401F1776@kent.ac.uk> References: To: "erlang-questions@erlang.org" , caml Date: Thu, 29 Mar 2018 14:09:26 +0100 X-Mailer: Apple Mail (2.3445.5.20) Subject: [Caml-list] SBLP 2018 second call for papers Reply-To: Simon Thompson X-Loop: caml-list@inria.fr X-Sequence: 16754 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --Apple-Mail=_1CE35D39-1C74-4976-B2D0-6F50FBCB7A3C Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Universidade de S=C3=A3o Paulo - ICMC/USP S=C3=A3o Carlos, Brazil, September 20-21, 2018 Conference website http://www.sbc.org.br/cbsoft2018 Submission link https://easychair.org/conferences/?conf=3Dsblp20= 18 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/ ).=20 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:=20 http://www.easychair.org/conferences/?conf=3Dsblp2018 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) ___________________________________________________________________________= _____ =E2=80=A2 Programming paradigms and styles, scripting and domain-specific languages and support for real-time, service-oriented, multi-threaded, parallel, and distributed programming =E2=80=A2 Program generation and transformation =E2=80=A2 Formal semantics and theoretical foundations: denotational, operational, algebraic and categorical =E2=80=A2 Program analysis and verification, type systems, static analys= is and abstract interpretation =E2=80=A2 Programming language design and implementation, programming language environments, compilation and interpretation techniques Publication ___________________________________________________________________________= _____ SBLP proceedings will be published in ACM's digital library.=20 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=C3=A3o Universidade Federal de Minas Gerais (chai= r) Fernando Castor Universidade Federal de Pernambuco Renato Cerqueira IBM Research, Brazil Jo=C3=A3o Fernandes Universidade de Coimbra Jo=C3=A3o Ferreira Teesside University Luc=C3=ADlia Figueiredo Universidade Federal de Ouro Preto Ismael Figueroa Pontif=C3=ADcia Universidad Cat=C3=B3lica de Va= lparaiso Alex Garcia Instituto Militar de Engenharia Francisco Heron Universidade Federal do Cear=C3=A1 Roberto Ierusalimschy Pontif=C3=ADcia Universidade Cat=C3=B3lica do R= io de Janeiro Yu David Liu State University of New York at Binghamton Hans-Wolfgang Loidl Heriot-Watt University Marcelo Maia Universidade Federal de Uberl=C3=A2ndia Andr=C3=A9 M. Maidl Pontif=C3=ADcia Universidade Cat=C3=B3lica= do Paran=C3=A1 Manuel A. Martins Universidade de Aveiro F=C3=A1bio Mascarenhas Universidade Federal do Rio de Janeiro S=C3=A9rgio Medeiros Universidade Federal do Rio Grande do Norte Victor Miraldo University of Utrecht =C3=81lvaro 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=C3=BAblica Fernando Pereira Universidade Federal de Minas Gerais Gustavo Pinto Universidade Federal do Par=C3=A1 Louis-Noel Pouchet Ohio State University Zongyan Qiu Peking University Henrique R=C3=AAbelo Universidade Federal de Pernambuco Leonardo Reis Universidade Federal de Ouro Preto Rodrigo Ribeiro Universidade Federal de Ouro Preto Noemi Rodriguez Pontif=C3=ADcia Universidade Cat=C3=B3lica do R= io de Janeiro Francisco Sant'Anna Universidade Estadual do Rio de Janeiro Jo=C3=A3o 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=C3=A3o (camarao@dcc.ufmg.br ) _______________________________________________ Simon Thompson | Professor of Logic and Computation=20 School of Computing | University of Kent | Canterbury, CT2 7NF, UK s.j.thompson@kent.ac.uk | M +44 7986 08575= 4 | W www.cs.kent.ac.uk/~sjt --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --Apple-Mail=_1CE35D39-1C74-4976-B2D0-6F50FBCB7A3C Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8


Universidade de S=C3=A3o Paulo - ICMC/USP
S=C3= =A3o Carlos, Brazil, September 20-21, 2018
Conference website=      http://www.sbc.org.br/cbsoft2018
Submission link &n= bsp;          https://easychair.org/= conferences/?conf=3Dsblp2018

SBLP 2018 is = the 22nd edition of the Brazilian Symposium on
Programming La= nguages. It is promoted by the Brazilian Computer
Society (SB= C) and constitutes a forum for researchers, students and
prof= essionals to present and discuss ideas and innovations in the
design, definition, analysis, implementation and practical use of
programming languages.

SBLP's first edit= ion was in 1996. Since 2010, it is part of CBSoft,
the Brazil= ian 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 sympo= sium proceedings are indexed in
the ACM Digital Library. The = acceptance of a paper implies that at
least one of its author= s will register for the symposium to present
it. Papers must = be original and not simultaneously submitted to
another journ= al or conference.

Papers must be submitted ele= ctronically (in PDF format) via the
Easychair System:
  http://www.easychair.org/conferences/?conf=3Dsblp2018<= br class=3D"">
The following paper categories are welcome (pa= ge limits include
figures, references and appendices):

    Full papers: up to 8 pages long i= n ACM 2-column conference
    format, availabl= e at
    http://www.acm.org/publications/proc= eedings-template

    Short = papers: up to 3 pages in the same format, can discuss new
&nb= sp;   ideas which are at an early stage of development or can rep= ort
    partial results of on-going dissertati= ons or theses.

List of Topics (related but not= limited to the following)
__________________________________= ______________________________________________

   =E2=80=A2 Programming paradigms and styles, scripting and dom= ain-specific
     languages and support f= or real-time, service-oriented,
     mult= i-threaded, parallel, and distributed programming
  = ; =E2=80=A2 Program generation and transformation
  = ; =E2=80=A2 Formal semantics and theoretical foundations: denotational,
     operational, algebraic and categorical<= br class=3D"">   =E2=80=A2 Program analysis and verification, typ= e systems, static analysis
     and abstr= act interpretation
   =E2=80=A2 Programming languag= e design and implementation, programming
   &n= bsp; 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 selecte= d
regular papers will be invited to submit an extended versio= n of their
work to be considered for publication in a journal= 's special issue.
Since 2009, selected papers of each SBLP ed= ition are being published
in a special issue of Science of Co= mputer Programming, by Elsevier.

Important dat= es
__________________________________________________________= ______________________

  Abstract submiss= ion: April 29th 2018
  Paper submission: May 6th 2018  Author notification: June 22nd 2018
 = Camera ready deadline: July 8th 2018

Program = Committee
___________________________________________________= _____________________________

  &nbs= p; Mariza Bigonha          Uni= versidade Federal de Minas Gerais
    Roberto = Bigonha         Universidade Federa= l de Minas Gerais
    Andre R. Du Bois &n= bsp;      Universidade Federal de Pelotas
    Christiano Braga     &nbs= p;  Universidade Federal Fluminense
    C= arlos Camar=C3=A3o          Un= iversidade Federal de Minas Gerais (chair)
   = Fernando Castor         Universida= de Federal de Pernambuco
    Renato Cerqueira&= nbsp;       IBM Research, Brazil
    Jo=C3=A3o Fernandes      = ;    Universidade de Coimbra
   = ; Jo=C3=A3o Ferreira         &= nbsp; Teesside University
    Luc=C3=ADlia Fig= ueiredo      Universidade Federal de Ouro Preto    Ismael Figueroa     = ;    Pontif=C3=ADcia Universidad Cat=C3=B3lica de Valparaiso=
    Alex Garcia     =         Instituto Militar de Engenharia<= br class=3D"">    Francisco Heron    &nb= sp;    Universidade Federal do Cear=C3=A1
&nbs= p;   Roberto Ierusalimschy   Pontif=C3=ADcia Universida= de Cat=C3=B3lica do Rio de Janeiro
    Yu Davi= d Liu            Sta= te University of New York at Binghamton
    Ha= ns-Wolfgang Loidl     Heriot-Watt University
    Marcelo Maia      &n= bsp;     Universidade Federal de Uberl=C3=A2ndia
    Andr=C3=A9 M. Maidl     = ;     Pontif=C3=ADcia Universidade Cat=C3=B3lica do Par= an=C3=A1
    Manuel A. Martins  &nbs= p;    Universidade de Aveiro
   = ; F=C3=A1bio Mascarenhas       Universidade F= ederal do Rio de Janeiro
    S=C3=A9rgio Medei= ros         Universidade Federal do= Rio Grande do Norte
    Victor Miraldo &= nbsp;        University of Utrecht
    =C3=81lvaro Moreira    &nbs= p;     Universidade Federal do Rio Grande do Sul
    Anamaria M. Moreira     Univ= ersidade Federal do Rio de Janeiro
    Peter M= osses            Swa= nsea University
    Martin Musicante &nbs= p;      Universidade Federal do Rio Grande do Nort= e
    Alberto Pardo    &nb= sp;      Universidad de la Rep=C3=BAblica
    Fernando Pereira     &nbs= p;  Universidade Federal de Minas Gerais
  &nb= sp; Gustavo Pinto         &nbs= p; Universidade Federal do Par=C3=A1
    Louis= -Noel Pouchet      Ohio State University
    Zongyan Qiu      &nb= sp;      Peking University
 &nb= sp;  Henrique R=C3=AAbelo       &nb= sp; Universidade Federal de Pernambuco
    Leo= nardo Reis           Univ= ersidade Federal de Ouro Preto
    Rodrigo Rib= eiro         Universidade Federal d= e Ouro Preto
    Noemi Rodriguez  &n= bsp;      Pontif=C3=ADcia Universidade Cat=C3=B3li= ca do Rio de Janeiro
    Francisco Sant'Anna&n= bsp;    Universidade Estadual do Rio de Janeiro
    Jo=C3=A3o Saraiva      &= nbsp;     Universidade do Minho
 &nb= sp;  Martin Sulzmann         H= ochschule Karlsruhe - Technik und Wirtschaft (chair)
 &n= bsp;  Leopoldo Teixeira       Universida= de Federal de Pernambuco
    Simon Thompson&nb= sp;         University of Kent
    Cristiano Vasconcellos  Universidade do E= stado de Santa Catarina
    Varmo Vene &n= bsp;            Univ= ersity of Tartu

Invited Speaker
= ___________________________________________________________________________= _____

    Martin Sulzmann, Hoch= schule Karlsruhe - Technik und Wirtschaft, Germany

Contact
_______________________________________________= _________________________________

All question= s about submissions should be emailed to Carlos Camar=C3=A3o
= (camarao@dcc.ufmg.br)=

_______________________________________________

Simon= Thompson | Professor of Logic and Computation 
School of Computing | University of Kent | Canterbury, CT2 7= NF, UK
s.j.thompson@kent.ac.uk | M +44 7986 085754 | W www.cs= .kent.ac.uk/~sjt

= --Apple-Mail=_1CE35D39-1C74-4976-B2D0-6F50FBCB7A3C--