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 2B47D2E03 for ; Tue, 11 May 2021 09:41:37 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,290,1613430000"; d="scan'208,217";a="507693554" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 May 2021 11:41:33 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6515EE01B6; Tue, 11 May 2021 11:41:33 +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 E61EFE0152 for ; Tue, 11 May 2021 11:41:26 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mjp.pereira@fct.unl.pt; spf=Pass smtp.mailfrom=mjp.pereira@fct.unl.pt; spf=None smtp.helo=postmaster@mail-il1-f194.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AEr529hyYM6qiI4zXCzKNzVBlVkEcU1XcAAcZ59I?= =?us-ascii?q?dhq5Udez7ptK+ZR2Zv6g1xwaSFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkel?= =?us-ascii?q?M8NlBYhCsPWQWfyLfrtcjBoVJ8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZ?= =?us-ascii?q?pO+j5AIHfg9mz2uyo5ZHeYxlEiDWgbb58MR67sRjfus4KjIV4N60/0AHJonxGe?= =?us-ascii?q?+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugL?= =?us-ascii?q?dQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflh?= =?us-ascii?q?ygHOTA382/Zl9J+g75ArR27uxBy2ZTZbJ2JOPd8eK7WYNMURXBGXsZUTyFPBZm?= =?us-ascii?q?zb5EOD+oGIO1WtZfyp0EQohu/HwmjHv7kxzhNhn/0xa02yfwhHh/c3AM+HtIOq?= =?us-ascii?q?m7boc77NKgOTeC51rTIzTPHb/9MwTf99JHFfxY8qv6DQbx+a9DeyVUzFwzblFW?= =?us-ascii?q?Qr5ToMjCI2ukOvGWW4fZtWOazhmAnpA9/rSSjytoxh4fGiY8Z103J+CVkzIs6I?= =?us-ascii?q?dC1SkF2bcK4HZdOty+XOYp7Tt8/TmxupS00xLoGuZuhcygLzpQq3wPfZOGZfIi?= =?us-ascii?q?T/h3vTv2eIS1giH17Yr2/nBaz/lSgyuLmV8m0ykxGri1fktnDrnwCzQDc6s2dR?= =?us-ascii?q?vt65Eeh1jCC3B3Q5OFcOU04i7bXJpo7zrMzlpcfq1nPEy73lUnskaObckop9+6?= =?us-ascii?q?14Or9eLrmvIWTN4pshwH+LKsunsu/DPw9MgcUXmib/f2w1Lzn/UHkWblKgOA6n?= =?us-ascii?q?63WvZzAKsQboam5AwBR0ok98RqwEzCm0NEAkXkGKlJKZg6HgpD3N13SJP30F/S?= =?us-ascii?q?yjlS2nDt2xv3LP6ftDojJI3XMiLvheKxy609YyAo919Bf4JdUB6kEIPLxQk/9r?= =?us-ascii?q?sTYAQEjMwOqwubnEs9y25gQWW2THq+VKr7SsVmM5u41O+mMeJcZuCzhJPg9+/7?= =?us-ascii?q?ukXg5lEcBcqaz2JsXbGm0HvBnI0WCfXrhmcwBEGcPvgomVuPmklyCUThJZ3azR?= =?us-ascii?q?a0w/D87CJj1RbvEE4mijLWp2CagAoYQbWBPDlWBC2yubIjAE+gMeXnXKct8mBQ?= =?us-ascii?q?AVKO9UMku2xa0uwK8yrx9L+OS9Ddc/ZnkzZ1+4/DZvRA07z19ScqHlymGRmRw2?= =?us-ascii?q?2cJXCMe3aZloEU7xE3HmbRpm/FDUNVV4fRUVAw3HZrd1PBhTcv/UxmHY8+ETlD?= =?us-ascii?q?gT9m7Uh8rSddk5tYUYkE1I9i4gxHZ1mL+Br0N0aSGHpE16Kv00XPtYdt7zzDey?= =?us-ascii?q?P9y3BEdXsJTODj+1eZE/A/JCtuR+618v6ihaeIB2iqL7HvRlQJmU2lWWxI2TKP?= =?us-ascii?q?BG2gDNBK+RTXR40rDS/qvDe1iPFIQlYiNLaxFbtCvhlJDFq+LBQ=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Aqy4CIqvlbheqgbVdcYuWdZYV7skDZ9V00zEX?= =?us-ascii?q?/kB9WHVpm6uj5qWTdZUgpH3JYVkqMk3I9ersBEDiewK+yXcW2+gs1N6ZNWGMhI?= =?us-ascii?q?LPFu1fBODZrQEIdReQygcQ78ddT5Q=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CHAQBkUJpgdMKmVdE+HA4NAQEBAQEBA?= =?us-ascii?q?QEFAQEBEgEBAQMDAQEBgheBdoEsVjoxhEeBHpBfgyGNQolBAgaCWQgDAQMBDTA?= =?us-ascii?q?MBAEBgVuCdYF0Ah0HAQQ0EwIEFQEBBQEBAQIBAwMEARMBEAkMBycchVANgjgih?= =?us-ascii?q?AMLBh0BASYMBhgNNwIkEgEFASMSCRmCUIMHD0CMHY8WgQQ9iWwCgUSBMoEBggY?= =?us-ascii?q?BAQaGKYE7CRImgQKHBgEBgmKDdyeCKYEVNoI7gXOBRxcDARiBHQFVgmqCYYIsE?= =?us-ascii?q?zYFKDExASAvASsVCAUvBA4FLxlJkHAHAaotB4MXigCGSIx1J4NXgUGEbIRljVW?= =?us-ascii?q?CUIYkhlWOXYIWhlqDFJMDE4RzECOBHiqBfDMaczEGgjIJRxkOVo1JF4JwhX1Nh?= =?us-ascii?q?DdGQy8CARMiAgYBCQEBAwmKSQEngh4BAQ?= X-IPAS-Result: =?us-ascii?q?A0CHAQBkUJpgdMKmVdE+HA4NAQEBAQEBAQEFAQEBEgEBAQM?= =?us-ascii?q?DAQEBgheBdoEsVjoxhEeBHpBfgyGNQolBAgaCWQgDAQMBDTAMBAEBgVuCdYF0A?= =?us-ascii?q?h0HAQQ0EwIEFQEBBQEBAQIBAwMEARMBEAkMBycchVANgjgihAMLBh0BASYMBhg?= =?us-ascii?q?NNwIkEgEFASMSCRmCUIMHD0CMHY8WgQQ9iWwCgUSBMoEBggYBAQaGKYE7CRImg?= =?us-ascii?q?QKHBgEBgmKDdyeCKYEVNoI7gXOBRxcDARiBHQFVgmqCYYIsEzYFKDExASAvASs?= =?us-ascii?q?VCAUvBA4FLxlJkHAHAaotB4MXigCGSIx1J4NXgUGEbIRljVWCUIYkhlWOXYIWh?= =?us-ascii?q?lqDFJMDE4RzECOBHiqBfDMaczEGgjIJRxkOVo1JF4JwhX1NhDdGQy8CARMiAgY?= =?us-ascii?q?BCQEBAwmKSQEngh4BAQ?= X-IronPort-AV: E=Sophos;i="5.82,290,1613430000"; d="scan'208,217";a="507693482" X-MGA-submission: =?us-ascii?q?MDF/cW2LnwxAQ/lSys+AJj6VQV+j6pRiI133/S?= =?us-ascii?q?n9Jgv3AIshKXYTg+W58pouup6cJoXjLwBsMDK01Oz1feWGbE0PQW5/Z3?= =?us-ascii?q?MNF1G68d9O+KBYstc8goYBpxy70MdgFZUhQ6hmqEqwELxppX3gqMPhlA?= =?us-ascii?q?jdztJ+si7OItgsGQCGjXHzVQ=3D=3D?= Received: from mail-il1-f194.google.com ([209.85.166.194]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 11 May 2021 11:41:23 +0200 Received: by mail-il1-f194.google.com with SMTP id h6so16604141ila.7 for ; Tue, 11 May 2021 02:41:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fct.unl.pt; s=googlefct; h=mime-version:from:date:message-id:subject:to; bh=hzVficptXsTKDzvN4a6d5rrKu6VhC7io7w9cqOjzAYs=; b=UP7vY4c1yYZzth6cEoEyLUtooVAiPZojMei9f7HBpVRhtHDrkZ3MDt1Wig6vemXp6d 6e0UY0jJA2Z4d9Uhxz8Z/o8dOYkECM/XAqYmCD4zEVLKiNN2J+3dsEB9zUtgu9CXdWhM zOKpBj0teVX2T0O0jpmnK4kVY1c2EZZ6tG+8l7a8q5OGS023uZZpeFq87zN0G9WNEq2f S7zc9ULnsj81omluLxid1yWryxBrTZO6/4qT5XkhI1TpVNIJnTnO1qOb7wrrxmgj/mkz 0A3/tj9ahF13XJQs+GTLAOY3bSxaTC/R1b19nDH4o9+0z00C644In+VoB1SYLQiX2Mg9 IuJA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=hzVficptXsTKDzvN4a6d5rrKu6VhC7io7w9cqOjzAYs=; b=op6c0cwgHlC81vQ3dkIrwNA9bU9GsYvvoCdu+4c2UinoqiS2HEL6LL0l8qG1idXI73 zKkIVA8c3NRIXeKmRNrnqsuYIlqSvB6kErrbRdRvA2Y7aiIGOSZvhXuJaYEoyTejld/N FttnxFPoQznJvPgkGDm6vi0E9WEqNP0o57wkH9F0ASbm4Puo17lyF2UK5PXGhJ8G2n6p JxDjlVd9rRb83UMa1+JSQyiO/ATl2X87VA39xKP7TDXgKfTZ0MxL3Ei1n0M87uejpB7l MFEhrvjB3xdq7Nc6VHF9MyaT7geOjTmU41PEGrwMluplPG4H6dlpHqYPUmeZ0WONMgpq MenQ== X-Gm-Message-State: AOAM532zjVNkjHlnrBm096D8yjdXEPoRAuj9iGqabb9EqC3iC5aMUIe4 IUJuzqmoBTG5w0nLLBZWgv4MKc/kJX8OIrrHVLhS7sLpavgz68a0 X-Google-Smtp-Source: ABdhPJydMwmAU2n1l6yFHW7BZoU3l0TYdmBj2WQ7XU+qkGs472evlpGebgE/OmyzM7B86HeA+Pk8tNXv9dq4eh90f7w= X-Received: by 2002:a05:6e02:1d18:: with SMTP id i24mr5090479ila.157.1620726080179; Tue, 11 May 2021 02:41:20 -0700 (PDT) MIME-Version: 1.0 From: Mario Pereira Date: Tue, 11 May 2021 10:41:08 +0100 Message-ID: To: agda@lists.chalmers.se, why3-club@lists.gforge.inria.fr, coq-club@inria.fr, caml-list@inria.fr, types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="00000000000049cfed05c20ab2a4" Subject: [Caml-list] SBLP 2021 - Second Call for Papers (deadline extension) Reply-To: Mario Pereira X-Loop: caml-list@inria.fr X-Sequence: 18487 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --00000000000049cfed05c20ab2a4 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Differences regarding first CFP: one week deadline extension and update on pages limit. [ Please distribute, apologies for multiple postings. ] =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=3D=3D=3D=3D=3D=3D=3D=3D=3D Call for Papers - XXV Brazilian Symposium on Programming Languages (SBLP 2021) Online, September 27 - October 1, 2021 Conference website: http://cbsoft2021.joinville.udesc.br/sblp.php Submission link: https://easychair.org/conferences/?conf=3Dsblp2021 SBLP 2021 is the 25th 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 has been part of CBSoft, the Brazilian Conference on Software: Theory and Practice. The symposium is planned to take place from September 27 to October 1, 2021, fully online. Submission Guidelines ------------------------------------------- Papers can be written in Portuguese or English. Submissions in English are encouraged because only accepted papers written in English will appear in the proceedings 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. SBLP 2021 will use a lightweight double-blind review process. The manuscripts should be submitted for review anonymously (i.e., without listing the author=E2=80=99s names on the paper) and references to own work= should be made in the third person. Papers must be submitted electronically (in PDF format) via the Easychair System: https://easychair.org/conferences/?conf=3Dsblp2021 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 Full papers can be further specialized, at submission time, as Student papers (i.e., as papers describing research conducted mainly by a student at any level). Student papers will be subject to the exact same reviewing process and criteria, but may be entitled for an award (see below). Short papers: up to 3 pages in the same format. Short papers can discuss new ideas which are at an early stage of development or can report partial results of on-going dissertations or theses. *Each paper can have a maximum of one extra page for references.* Awards: Two best paper awards will be attributed, distinguishing full paper submissions of the best: * student paper; * non-student paper. 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, distributed, and quantum 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 * Programming languages for the blockchain technology: design and implementation of Smart Contract languages, implementation of consensus protocols, language-based security and cryptographic primitives Publication ------------------------------------------- SBLP proceedings will be published in ACM's digital library. A selection of the best papers appearing in the 2019 and 2020 editions of SBLP have been invited to be extended and considered for publication in a special issue of the Journal of Computer languages (COLA), by Elsevier. We will approach COLA for a similar special issue regarding the 2021 edition of SBLP. Important dates ------------------------------------------- Abstract submission: 9 May, 2021 23 May, 2021 Paper submission: 16 May, 2021 23 May, 2021 Author notification: 09 July, 2021 Camera ready deadline: 23 July, 2021 Program Committee ------------------------------------------- * Program Committee Chair: - Jo=C3=A3o Paulo Fernandes, Universidade do Porto, Portugal * Publicity Chair: - M=C3=A1rio Pereira, NOVA LINCS & Universidade Nova de Lisboa, Portugal * Program Committee: - Adrien Guatto, Universit=C3=A9 de Paris, CNRS, IRIF, France - Alberto Pardo, Universidad de la Rep=C3=BAblica, Uruguay - Alcides Fonseca, Universidade de Lisboa, Portugal - Alejandro D=C3=ADaz-Caro, Universidad Nacional de Quilmes & ICC (CONICET = / UBA), Argentina - Alex Kavvos, University of Bristol, UK - Anderson Faustino da Silva, Universidade Estadual de Maring=C3=A1, Brazil - Andrei Rimsa, Centro Federal de Educa=C3=A7=C3=A3o Tecnol=C3=B3gica de Mi= nas Gerais, Brazil - Arthur Azevedo de Amorim, Boston University, USA - Bruno Oliveira, University of Hong Kong, Hong Kong - Caterina Urban, INRIA & =C3=89cole Normale Sup=C3=A9rieure | Universit=C3= =A9 PSL, France - Cl=C3=A1udio Louren=C3=A7o, Huawei Research, UK - Cristiano Vasconcellos, Universidade do Estado de Santa Catarina, Brazil - Dalvan Griebler, Pontif=C3=ADcia Universidade Cat=C3=B3lica do Rio Grande= do Sul (PUCRS) / Sociedade Educacional Tr=C3=AAs de Maio (Setrem), Brazil - Emmanuel Chailloux, Sorbonne Universit=C3=A9, France - Eric Van Wyk, University of Minnesota, USA - Fernando Castor, Universidade Federal do Pernambuco, Brazil - Fernando Pereira, Universidade Federal de Minas Gerais, Brazil - Francisco Junior, Universidade Federal do Cear=C3=A1, Brazil - Francisco Sant'anna, Universidade do Estado do Rio de Janeiro, Brazil - Jean-Christophe Filli=C3=A2tre, CNRS/Universit=C3=A9 Paris-Saclay, France - L=C3=A9on Gondelman, University of Aarhus, Denmark - Lourdes Gonz=C3=A1lez Huesca, Universidad Nacional Aut=C3=B3noma de M=C3= =A9xico, Mexico - Luiz Fernandes, Pontif=C3=ADcia Universidade Cat=C3=B3lica do Rio Grande = do Sul, Brazil - Marcos Viera, Universidad de la Rep=C3=BAblica, Uruguay - M=C3=A1rio Pereira, NOVA LINCS & Universidade Nova de Lisboa, Portugal - Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina - Noemi Rodriguez, Pontif=C3=ADcia Universidade Cat=C3=B3lica do Rio de Jan= eiro, Brazil - Paul Leger, Universidad Cat=C3=B3lica del Norte, Chile - Roberto Bigonha, Universidade Federal de Minas Gerais, Brazil - Roberto Ierusalimschy, Pontif=C3=ADcia Universidade Cat=C3=B3lica do Rio = de Janeiro, Brazil - Rodrigo Ribeiro, Universidade Federal de Ouro Preto, Brazil - Rui Pereira, HASLab/INESC Tec, Portugal - Samuel Feitosa, Instituto Federal de Santa Catarina, Brazil - S=C3=A9rgio Medeiros, Universidade Federal do Rio Grande do Norte, Brazil - Sim=C3=A3o Melo de Sousa, NOVA-LINCS & Universidade da Beira Interior, Portugal - Stefania Dumbrava, =C3=89cole Nationale Sup=C3=A9rieure d'Informatique po= ur l'industrie et l'Entreprise, France - St=C3=A9phane Lengrand, Stanford Research Institute, USA Contact ------------------------------------------- All questions about submissions should be emailed to Jo=C3=A3o Paulo Fernan= des (jpaulo@fe.up.pt) --00000000000049cfed05c20ab2a4 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Differences regarding first CFP: one week deadline ex= tension and update on pages limit.

[ Please distribute,= apologies for multiple postings. ]

=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=3D=3D=3D=3D= =3D=3D=3D=3D=3D

Call for Papers - XXV Brazilian Symposium on Program= ming Languages (SBLP=C2=A02021)


= Online, September 27 - October 1, 2021

Conference website:=C2=A0htt= p://cbsoft2021.joinville.udesc.br/sblp.php<= /a>

Submission link: =C2=A0https://easychair.org/conferences/?= conf=3Dsblp2021


SBLP=C2=A020= 21 is the 25th edition of the Brazilian Symposium on Programming Languages.= It is promoted by the Brazilian Computer Society (SBC) and constitutes a f= orum for researchers, students and professionals to present and discuss ide= as and innovations in the design, definition, analysis, implementation and = practical use of programming languages.=C2=A0SBLP<= /span>'s first edition was in 1996. Since 2010, it has been part of CBS= oft, the Brazilian Conference on Software: Theory and Practice.

The = symposium is planned to take place from September 27 to October 1, 2021, fu= lly online.


Submission Guidelines
---------------------------= ----------------

Papers can be written in Portuguese or English. Sub= missions in English are encouraged because only accepted papers written in = English will appear in the proceedings indexed in the ACM Digital Library. = The acceptance of a paper implies that at least one of its authors will reg= ister for the symposium to present it. Papers must be original and not simu= ltaneously submitted to another journal or conference.

SBLP=C2=A02021 will use a lightweight double-blind rev= iew process. The manuscripts should be submitted for review anonymously (i.= e., without listing the author=E2=80=99s names on the paper) and references= to own work should be made in the third person.

Papers must be subm= itted electronically (in PDF format) via the Easychair System:

=C2= =A0https://easychair.org/conferences/?conf=3Dsblp2021


= The following paper categories are welcome (page limits include figures, re= ferences and appendices):

Full papers: up to 8 pages long in ACM 2-c= olumn conference format, available at

=C2=A0http://www.acm.o= rg/publications/proceedings-template

Full papers can be further = specialized, at submission time, as Student papers (i.e., as papers describ= ing research conducted mainly by a student at any level). Student papers wi= ll be subject to the exact same reviewing process and criteria, but may be = entitled for an award (see below).

Short papers: up to 3 pages in th= e same format. Short papers can discuss new ideas which are at an early sta= ge of development or can report partial results of on-going dissertations o= r theses.

*Each paper can have a maximum of one extra pa= ge for references.*

Awards:

Two best paper awards will be att= ributed, distinguishing full paper submissions of the best:

=C2=A0 *= student paper;

=C2=A0 * non-student paper.


List of Topic= s (related but not limited to the following)
---------------------------= ----------------

=C2=A0 * Programming paradigms and styles, scriptin= g and domain-specific languages and support for real-time, service-oriented= , multi-threaded, parallel, distributed, and quantum programming

=C2= =A0 * Program generation and transformation

=C2=A0 * Formal semantic= s and theoretical foundations: denotational, operational, algebraic and cat= egorical

=C2=A0 * Program analysis and verification, type systems, s= tatic analysis, and abstract interpretation

=C2=A0 * Programming lan= guage design and implementation, programming, language environments, compil= ation and interpretation techniques

=C2=A0 * Programming languages f= or the blockchain technology: design and implementation of Smart Contract l= anguages, implementation of consensus protocols, language-based security an= d cryptographic primitives


Publication
----------------------= ---------------------

SBLP=C2=A0proc= eedings will be published in ACM's digital library. A selection of the = best papers appearing in the 2019 and 2020 editions of=C2=A0SBLP=C2=A0have been invited to be extended and considered = for publication in a special issue of the Journal of Computer languages (CO= LA), by Elsevier. We will approach COLA for a similar special issue regardi= ng the 2021 edition of=C2=A0SBLP.

Important dates
-------------------------------------------

Abs= tract submission: 9 May, 2021=C2=A023 May, 2021

Pap= er submission: 16 May, 2021=C2=A023 May, 2021

Autho= r notification: 09 July, 2021

Camera ready deadline: 23 July, 2021

Program Committee
-------------------------------------------<= br>
* Program Committee Chair:

- Jo=C3=A3o Paulo Fernandes, Unive= rsidade do Porto, Portugal


* Publicity Chair:

- M=C3=A1ri= o Pereira, NOVA LINCS & Universidade Nova de Lisboa, Portugal

* Program Committee:

- Adrien Guatto, Universit=C3=A9 de Paris, CN= RS, IRIF, France

- Alberto Pardo, Universidad de la Rep=C3=BAblica, = Uruguay

- Alcides Fonseca, Universidade de Lisboa, Portugal

-= Alejandro D=C3=ADaz-Caro, Universidad Nacional de Quilmes & ICC (CONIC= ET / UBA), Argentina

- Alex Kavvos, University of Bristol, UK
- Anderson Faustino da Silva, Universidade Estadual de Maring=C3=A1, Brazi= l

- Andrei Rimsa, Centro Federal de Educa=C3=A7=C3=A3o Tecnol=C3=B3g= ica de Minas Gerais, Brazil

- Arthur Azevedo de Amorim, Boston Unive= rsity, USA

- Bruno Oliveira, University of Hong Kong, Hong Kong
<= br>- Caterina Urban, INRIA & =C3=89cole Normale Sup=C3=A9rieure | Unive= rsit=C3=A9 PSL, France

- Cl=C3=A1udio Louren=C3=A7o, Huawei Research= , UK

- Cristiano Vasconcellos, Universidade do Estado de Santa Catar= ina, Brazil

- Dalvan Griebler, Pontif=C3=ADcia Universidade Cat=C3= =B3lica do Rio Grande do Sul (PUCRS) / Sociedade Educacional Tr=C3=AAs de M= aio (Setrem), Brazil

- Emmanuel Chailloux, Sorbonne Universit=C3=A9,= France

- Eric Van Wyk, University of Minnesota, USA

- Fernan= do Castor, Universidade Federal do Pernambuco, Brazil

- Fernando Per= eira, Universidade Federal de Minas Gerais, Brazil

- Francisco Junio= r, Universidade Federal do Cear=C3=A1, Brazil

- Francisco Sant'a= nna, Universidade do Estado do Rio de Janeiro, Brazil

- Jean-Christo= phe Filli=C3=A2tre, CNRS/Universit=C3=A9 Paris-Saclay, France

- L=C3= =A9on Gondelman, University of Aarhus, Denmark

- Lourdes Gonz=C3=A1l= ez Huesca, Universidad Nacional Aut=C3=B3noma de M=C3=A9xico, Mexico
- Luiz Fernandes, Pontif=C3=ADcia Universidade Cat=C3=B3lica do Rio Grande= do Sul, Brazil

- Marcos Viera, Universidad de la Rep=C3=BAblica, Ur= uguay

- M=C3=A1rio Pereira, NOVA LINCS & Universidade Nova de Li= sboa, Portugal

- Mauro Jaskelioff, Universidad Nacional de Rosario, = Argentina

- Noemi Rodriguez, Pontif=C3=ADcia Universidade Cat=C3=B3l= ica do Rio de Janeiro, Brazil

- Paul Leger, Universidad Cat=C3=B3lic= a del Norte, Chile

- Roberto Bigonha, Universidade Federal de Minas = Gerais, Brazil

- Roberto Ierusalimschy, Pontif=C3=ADcia Universidade= Cat=C3=B3lica do Rio de Janeiro, Brazil

- Rodrigo Ribeiro, Universi= dade Federal de Ouro Preto, Brazil

- Rui Pereira, HASLab/INESC Tec, = Portugal

- Samuel Feitosa, Instituto Federal de Santa Catarina, Braz= il

- S=C3=A9rgio Medeiros, Universidade Federal do Rio Grande do Nor= te, Brazil

- Sim=C3=A3o Melo de Sousa, NOVA-LINCS & =C2=A0Univer= sidade da Beira Interior, Portugal

- Stefania Dumbrava, =C3=89cole N= ationale Sup=C3=A9rieure d'Informatique pour l'industrie et l'E= ntreprise, France

- St=C3=A9phane Lengrand, Stanford Research Instit= ute, USA


Contact
-------------------------------------------<= br>
All questions about submissions should be emailed to Jo=C3=A3o Paulo= Fernandes

(jpa= ulo@fe.up.pt)
=
--00000000000049cfed05c20ab2a4--