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 802D15D5 for ; Fri, 26 Mar 2021 13:22:11 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.81,280,1610406000"; d="scan'208,217";a="500151626" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Mar 2021 14:22:06 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id BA742E242F; Fri, 26 Mar 2021 14:22:04 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id EDB55E2417 for ; Fri, 26 Mar 2021 14:22:02 +0100 (CET) Authentication-Results: mail3-smtp-sop.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-f172.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AiFyj8xynK6Dbp8rXCzKvzVBlVkAck4WxBRYc798?= =?us-ascii?q?ds5kLTJ7L16rrMEGX3/hxlliBBdydt6sVzbOL6uu+BCQp2tWoiDg6aptCVhsI2?= =?us-ascii?q?409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF?= =?us-ascii?q?7Ovr6GpLIj8Swyuu+54Dfbx9HiTagZb5+Ngi6oAXMusUZgIZvKrs6xwfUrHdPZ?= =?us-ascii?q?+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRn?= =?us-ascii?q?eVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1g?= =?us-ascii?q?yoBKjU38nzYitZoga1UoByvqR9xzZPKbo6JL/dxZL/RcMkASGZdQspcVSpMCZ6?= =?us-ascii?q?8YYsVCOoBOP5VoY7nqFsUrBu+AhSnCvnxxT9SmHD23Lc63P48GgzB2QwgHcoOv?= =?us-ascii?q?G7MrNrrLqcdT+G1zLPSwjjYYfNZxSv95JLVchAnpfGAR6pwcdbIxEQpCgjKgUm?= =?us-ascii?q?ep5b/MDOJyuQCrXKb7+x4WO+yiGMpqwJ8riSry8oihYTEiYMYx1TG+ClnxIs7K?= =?us-ascii?q?922RFN0bNOrH5ZdqiGXOYRyT84sQWxmtik3xqMFtJKmfCYHzoksyRDYa/yCaYe?= =?us-ascii?q?I4xTjWf6MIThlmn1lY66wiwyp/ki60uHzSNO70E1KryVZktnDrHEN1wbJ5siAU?= =?us-ascii?q?Pt98V+t1iyT2ADW8O1IO0c0lbDUK5I52LE/ip8TvV7EHi/sl0X7irKdeEY8+uW?= =?us-ascii?q?w9ejrfrHrqoWfOoJ0kA3yL6Ujl82lDeglMAUCQW6W8vmm2rL55032WrBKg+U2k?= =?us-ascii?q?qbHtJDaItwWpqujDA9U1oYv8he/DzO73NgBk3kLMVBIdAydg4jmPFHOJ//4DfO?= =?us-ascii?q?hjFi2jDhrwPXGMqXgApXLMHfDjK/scahh50NY0gY+ztBS64hJBrwAIf//QFL9u?= =?us-ascii?q?d7GAhMhNgy72efnCNFz1oMEXmKPB7eUMKbQsV+Q/O4vO/eDZJULtzb8Mfgq/eX?= =?us-ascii?q?jjXElll8BZ6WpwJ0XaHSiEvR+P0WVeWDsjcsZEWcWogo+S/Tnh0GYXj5WY3a+R?= =?us-ascii?q?qY85jAgCIK6ForDXYCsgLmZ3CihBJFWZ2ZGCkqNEXjybYmEVe0MO2quJZpqmzk?= =?us-ascii?q?AELygUJMJ1Be0tQa8xaA0APDT/3g9vIji05BN6vfelAs7vWhxDdzby2yXQmBul?= =?us-ascii?q?0sGTCNwwaZ751RhnATQmZNkiuBVQIQAr8hCVR03YMa059w/MMj7X0f6RvnMUEy?= =?us-ascii?q?vKv2oCi13U9Q1hccSMR4VM+XntQjK2m+RO5FQkrWKAJIu9ae093b6O4BgzXKAz?= =?us-ascii?q?LVz1jEOco50LWSjw5VH2U3TCorO+22cnqeuMKUYhWvDrTjZi2WJu05cXUh7VqC?= =?us-ascii?q?XBRgi?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AipBrt6zRQRPZEJwczUmOKrPwkb1zdoIgy1kn?= =?us-ascii?q?xilNYDZSddGVkN3roeQD2XbP+VEscVwDufTFAqmPRnvA6YV4iLN6AZ6OVBTr0V?= =?us-ascii?q?HYT71KwpDlx1TbexHW0s54+eNef7NlCNv2ZGIase/f7BOjG9gthPmrmZrY59v2?= =?us-ascii?q?9HtmQQF0Z6wI1W4QYTqzKFF8RwVNGPMCZf+hz/dAzgDQHUg/X4CUAj0gU/LYr9?= =?us-ascii?q?PG0Kj6aQMLbiRK1CC+yR2v7rD+H1y0/Dc7FwlOz7Ar7HTfn2XCi5mLgrWUzBnT?= =?us-ascii?q?0mOW1ZBKgZ/azMdZDsDksKcoAwSpsQqjaIR/V7Dqhl4InN0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DSBQDk3l1gf6ymVdE+HIRPgStWOjGEQ?= =?us-ascii?q?YEeQY9qgx2NLYk2AgaCWQgDAQMBDSgMBAEBgVuBQIE1ggICHQcBBDQTAhEBAQU?= =?us-ascii?q?BAQECAQMDBAETAQENCwsIJ4VqDYI4IoQDCwYdAQEmDAYYDTcCJBIBBQE1CRmCT?= =?us-ascii?q?4MHDz+PEY8SgQQ9iWsCgUGBMoMEAQEGhgyBOwkSJYEChn0BAYZEJoIngRI2gja?= =?us-ascii?q?BcoFFFwMBFoEdVoJpgmCCLBM2BSgxMQEgLwErFQgFLwQOBS8ZSZBKBwGpVQeDC?= =?us-ascii?q?YlZhjqMTyKDSIE9hFmEV402gkuGGoZElyCDA5JHE4RoECOBHiqBfDMaczEGgjI?= =?us-ascii?q?JRxkNVo0nOYJvhX1NhHhELwIBEyICBgEJAQEDCYUpgkUBAQ?= X-IPAS-Result: =?us-ascii?q?A0DSBQDk3l1gf6ymVdE+HIRPgStWOjGEQYEeQY9qgx2NLYk?= =?us-ascii?q?2AgaCWQgDAQMBDSgMBAEBgVuBQIE1ggICHQcBBDQTAhEBAQUBAQECAQMDBAETA?= =?us-ascii?q?QENCwsIJ4VqDYI4IoQDCwYdAQEmDAYYDTcCJBIBBQE1CRmCT4MHDz+PEY8SgQQ?= =?us-ascii?q?9iWsCgUGBMoMEAQEGhgyBOwkSJYEChn0BAYZEJoIngRI2gjaBcoFFFwMBFoEdV?= =?us-ascii?q?oJpgmCCLBM2BSgxMQEgLwErFQgFLwQOBS8ZSZBKBwGpVQeDCYlZhjqMTyKDSIE?= =?us-ascii?q?9hFmEV402gkuGGoZElyCDA5JHE4RoECOBHiqBfDMaczEGgjIJRxkNVo0nOYJvh?= =?us-ascii?q?X1NhHhELwIBEyICBgEJAQEDCYUpgkUBAQ?= X-IronPort-AV: E=Sophos;i="5.81,280,1610406000"; d="scan'208,217";a="376956284" X-MGA-submission: =?us-ascii?q?MDFODr8/j1HNt/AC0fttyL78fMgHTPpmiHIyhI?= =?us-ascii?q?LET0zZ1k7qJ858UivDD2SfWD+8Clh8U7vO5SabZfxI8CpUgv04VPipop?= =?us-ascii?q?QFQJKdd/+e1czYSIgaqAmMmOs7E5TvlrM+sGXQus8tbZpeowRK9yG+4C?= =?us-ascii?q?2cNk1wVJycEiM2wG61U0hR/w=3D=3D?= Received: from mail-il1-f172.google.com ([209.85.166.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 26 Mar 2021 14:22:01 +0100 Received: by mail-il1-f172.google.com with SMTP id t14so5007548ilu.3 for ; Fri, 26 Mar 2021 06:22:00 -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=TZvBnWgWUbGAallF1QFaJuN292N1KnffkZZJXu88Ws0=; b=Npz9/mcOFkNAWdE3SWBBsSwBceWF3ct8BxKotGywwBN5ISMwHwraR46oYVV/T2rqh2 5UgmOkLe34FWpasNer7btw7YCH9dO6ZlwuMgc+G/QvyEQ0BkBtX4Ec6RE3+kEHMPWngi VQBWbWDL5h4dNXFGv2jLcZK83v527lN0+nnkZOytY7s1/Q2tvtAXTwNpNFFu6q7S2sPr I+do7i/aa6xCNdF87D8d7l5indR7E7B7OOphrnqYYda1NsvtetwY/CuVjf7Go3pp5mnO H1v8HjyT50TWWVWfJabOuenn78IUlu2Cd6LmjttXyHjMKKbXEKXZDUW0eqYfr3HULSir 3qOg== 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=TZvBnWgWUbGAallF1QFaJuN292N1KnffkZZJXu88Ws0=; b=eJXSJmU1DkMy6+nJcDbB9uZNtvmAI9myrtf4CSSU4IL71koDa5vTFzqqKX6+h8Ih4a OhV/Z6UhbT95+sV8LeUXPzFTUL7w+NoFhORa+yrIkr8FJBni+SAaM2tcZ6fjKAOC4vYG GVQ7rkSpx2kmKwgVw4jzvol6KqfylVQytqgRSvjNgCeVVvgN4WyW3yOnGQTAhz5EwjT8 RdYJGMihtcVUygICplupTlnqdm0VfMeU8go8PJsvUEfB0NIgr+tEZwp3UL9dvSXPiT1G z8dsrbwZwOhWfUOiWEW15nTDGhvDEUQ3QofHsHtPnYina4OnQ39DLNkU0Of3K8A2rM3S RR5g== X-Gm-Message-State: AOAM530UggYrRzo99f/CFhMVDN6tHYWcx39dFKTOr6WLpIe2L4GatMqh rm2tS1zEW7gOsTmCwSUJEGQcTfkR7M+caMv2Ax6XVpBZajKu7g== X-Google-Smtp-Source: ABdhPJyoN027zSDqRNNfxK6Rrd/WmgqlljxJzUcagQomHbFxeuWwgCQiQhHMZudggMpDcT0XSZtUW2e+XXYf64g/K0M= X-Received: by 2002:a05:6e02:12a9:: with SMTP id f9mr5151682ilr.12.1616764918690; Fri, 26 Mar 2021 06:21:58 -0700 (PDT) MIME-Version: 1.0 From: Mario Pereira Date: Fri, 26 Mar 2021 13:21:48 +0000 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000aa0d2505be706a82" Subject: [Caml-list] SBLP 2021 - First Call for Papers Reply-To: Mario Pereira X-Loop: caml-list@inria.fr X-Sequence: 18445 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: --000000000000aa0d2505be706a82 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable [ 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. 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 Paper submission: 16 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, Brazil - 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) --000000000000aa0d2505be706a82 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
[ 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)


O= nline, September 27 - October 1, 2021

Conference website: http://cbsoft2021.joinville= .udesc.br/sblp.php

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


SBLP 2021 is the 25th edition of the Brazil= ian Symposium on Programming Languages. It is promoted by the Brazilian Com= puter Society (SBC) and constitutes a forum for researchers, students and p= rofessionals to present and discuss ideas and innovations in the design, de= finition, analysis, implementation and practical use of programming languag= es. SBLP's first edition was in 1996. Since 2010, it has been part of C= BSoft, the Brazilian Conference on Software: Theory and Practice.

Th= e 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. S= ubmissions in English are encouraged because only accepted papers written i= n 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 r= egister for the symposium to present it. Papers must be original and not si= multaneously submitted to another journal or conference.

SBLP 2021 w= ill use a lightweight double-blind review process. The manuscripts should b= e 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 t= hird person.

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

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


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

Full papers: up to 8 p= ages long in ACM 2-column conference format, available at

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

Full papers can be furthe= r specialized, at submission time, as Student papers (i.e., as papers descr= ibing research conducted mainly by a student at any level). Student papers = will be subject to the exact same reviewing process and criteria, but may b= e 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 s= tage of development or can report partial results of on-going dissertations= or theses.


Awards:

Two best paper awards will be attribu= ted, distinguishing full paper submissions of the best:

=C2=A0 * stu= dent paper;

=C2=A0 * non-student paper.


List of Topics (r= elated but not limited to the following)
-------------------------------= ------------

=C2=A0 * Programming paradigms and styles, scripting an= d domain-specific languages and support for real-time, service-oriented, mu= lti-threaded, parallel, distributed, and quantum programming

=C2=A0 = * Program generation and transformation

=C2=A0 * Formal semantics an= d theoretical foundations: denotational, operational, algebraic and categor= ical

=C2=A0 * Program analysis and verification, type systems, stati= c analysis, and abstract interpretation

=C2=A0 * Programming languag= e design and implementation, programming, language environments, compilatio= n and interpretation techniques

=C2=A0 * Programming languages for t= he blockchain technology: design and implementation of Smart Contract langu= ages, implementation of consensus protocols, language-based security and cr= yptographic primitives


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

SBLP proceedings will be published in ACM's di= gital library. A selection of the best papers appearing in the 2019 and 202= 0 editions of SBLP have been invited to be extended and considered for publ= ication in a special issue of the Journal of Computer languages (COLA), by = Elsevier. We will approach COLA for a similar special issue regarding the 2= 021 edition of SBLP.


Important dates
------------------------= -------------------

Abstract submission: 9 May, 2021

Paper su= bmission: 16 May, 2021

Author notification: 09 July, 2021

Cam= era 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 G= uatto, Universit=C3=A9 de Paris, CNRS, IRIF, France

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

- Alcides Fonseca, Univer= sidade de Lisboa, Portugal

- Alejandro D=C3=ADaz-Caro, Universidad N= acional de Quilmes & ICC (CONICET / UBA), Argentina

- Alex Kavvo= s, University of Bristol, UK

- Anderson Faustino da Silva, Universid= ade Estadual de Maring=C3=A1, Brazil

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

- Art= hur Azevedo de Amorim, Boston University, Brazil

- Bruno Oliveira, U= niversity 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 Vasconcell= os, Universidade do Estado de Santa Catarina, Brazil

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

- Emmanu= el Chailloux, Sorbonne Universit=C3=A9, France

- Eric Van Wyk, Unive= rsity of Minnesota, USA

- Fernando Castor, Universidade Federal do P= ernambuco, 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 Aar= hus, Denmark

- Lourdes Gonz=C3=A1lez Huesca, Universidad Nacional Au= t=C3=B3noma de M=C3=A9xico, Mexico

- Luiz Fernandes, Pontif=C3=ADcia= Universidade Cat=C3=B3lica do Rio Grande do Sul, Brazil

- Marcos Vi= era, Universidad de la Rep=C3=BAblica, Uruguay

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

- Mauro Jask= elioff, Universidad Nacional de Rosario, Argentina

- Noemi Rodriguez= , Pontif=C3=ADcia Universidade Cat=C3=B3lica do Rio de Janeiro, Brazil
<= br>- Paul Leger, Universidad Cat=C3=B3lica del Norte, Chile

- Robert= o Bigonha, Universidade Federal de Minas Gerais, Brazil

- Roberto Ie= rusalimschy, 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 Mel= o de Sousa, NOVA-LINCS & =C2=A0Universidade da Beira Interior, Portugal=

- Stefania Dumbrava, =C3=89cole Nationale Sup=C3=A9rieure d'Inf= ormatique pour l'industrie et l'Entreprise, France

- St=C3= =A9phane Lengrand, Stanford Research Institute, USA


Contact
-= ------------------------------------------

All questions about submi= ssions should be emailed to Jo=C3=A3o Paulo Fernandes

(jpaulo@fe.up.pt)
--000000000000aa0d2505be706a82--