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 D7F975D4 for ; Wed, 18 Sep 2019 08:28:44 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,520,1559512800"; d="scan'208,217";a="402263104" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Sep 2019 10:28:41 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0B28A7EF92; Wed, 18 Sep 2019 10:28:40 +0200 (CEST) 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 EC9F57EF07 for ; Wed, 18 Sep 2019 10:28:25 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=komendantskaya@gmail.com; spf=Pass smtp.mailfrom=komendantskaya@gmail.com; spf=None smtp.helo=postmaster@mail-io1-f67.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AFHKJuBbuANS9Pl7JDYkM8Rn/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrs+4bnLW6fgltlLVR4KTs6sC17ON9fmwEjRbqdbZ6TZeKcYKD0dEwe?= =?us-ascii?q?wt3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMYbjZZsJ6or1xfEoXREd/?= =?us-ascii?q?hYyGh1IV6fgwvw6t2/8ZJ+7Shcoe4t+9JFXa7nY6k2ULtUASg8PWso/sPrrx7D?= =?us-ascii?q?TQWO5nsYTGoblwdDDhbG4h/nQJr/qzP2ueVh1iaUO832Vq00Vi+576h3Uh/oiT?= =?us-ascii?q?wIOCA//WrKl8F/lqNboBampxxi347ZZZyeOfRicq/Be94RWHFMVdhNWSNfHoy8?= =?us-ascii?q?bpMPD+sfMuZes4n9vEYFoR+nCQWxGO/j1jpEi3nx0qAm3ektDRzK0BU8E94TrX?= =?us-ascii?q?/YqMj5OacXXe2z0aLGzyjMb+lO1Djy6IbGfBMvr+ySU71sbMfc0lMgGx/fg1iK?= =?us-ascii?q?tYDpIzGY2+IQuGab9epgUuevhnYopQFyuDev2tkjipPIhoIT0F/P6CB3wIEwJd?= =?us-ascii?q?KmTk50fMSrEJ1MtyGBNIt5WMMjTHt1sys9yb0Gvpu7czYMyJs63RHfbeCHc5OL?= =?us-ascii?q?4h35VOeeOyx1hH1geL2lhhay9VKsxfH7VsmxyVtHqDdOnNfLtnAIzRPT686HR+?= =?us-ascii?q?Nm/keg1jaPzwTT5ftCIUwukqrbMZEhz7gtnZQQqUTOBjH6lFnygaOMdUgp+vKk?= =?us-ascii?q?5/nmb7jnvJORNo15hwfjOao0gMO/G/43Mg0WUmib5+u80Lrj8FX8QLpQj/02lr?= =?us-ascii?q?DVsJHdJcgGv6K5DQ5Y34Q55xawCDem19sYnX0ZI15fZB2HiI3pN0nPIPD+E/i/?= =?us-ascii?q?n0yhnCl3y/3CJLHsAZXAImLenLrgfLtx8U9RxQgrwdBa/Z1UC7UBIPzpWk/2sd?= =?us-ascii?q?zVFhw5Mwuxw+n5DtVyy5kRWWSTAq+CM6Pdq1+J6fg0LumDYY8aojf9K/w/6/Hy?= =?us-ascii?q?in85nEcRfbO10psPdHC4AvNmLl2FbnX2h9cBFX4Gvg4/TOzxlF2PSiVTZna3X6?= =?us-ascii?q?Ik/D43EoOmDYHZRoCsmrONxim7HocFLlxBX3OFDWbhP6aDXvoKZCuUPtRimy0N?= =?us-ascii?q?HeyiTIos0x2nshPhyLN2J8Lb/yQZsdTo090jtMPJkhRn2D99E8mH0meEB0Jzm2?= =?us-ascii?q?4OSzYwwLt8qF10ggOA1q11hfBRE8BI5PpYWy81MJfdy6pxDNWkCVGJRcuAVFvz?= =?us-ascii?q?GobuOjo2VN9kho9TOhcvK5CZlhnGmhGSLfoQnr2PCoYz9/uFjXf0Lsd5jX3B0f?= =?us-ascii?q?t41gR0co50LWSjw5VH2U3TCorOyRjLkq+rceEd23eI+jnci2WJu05cXUh7VqCX?= =?us-ascii?q?BSlDNHuTlszw4wb5d5HrEa4ua1ITxsuLK68MYdrs3w1L?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C5jABK6oFdWEOmVdFmHQEBBQEHBQGBZ?= =?us-ascii?q?wKBFAFSLyYBAQFEDxFlFhSEIhuBAoJeixOFYIcaiCuGDIF6CQEDAQwFIggBAYF?= =?us-ascii?q?LgnSDAhsHAQQ3Aw0CDAEBBAEBAQIBAgMEAQYBFwwKBimFNgyCOimDABEdARseA?= =?us-ascii?q?xIDDTcCJAERAQUBCBo1gwGBaQEDHQ+UH4xwghyBAzyLJIEVBQEXgn4FgTgCAQI?= =?us-ascii?q?OD4JkChknDWWBPQIBBhKBIgGLdxiBf4ERg1CBBIFdBIE4VIJeglgEjG2fGW5Gg?= =?us-ascii?q?WaCLoRXjX0bmRyWGZESDyOBWQJQgQAMCHBdChqCO4JCGINahRSFQEIwjiKCVAE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0C5jABK6oFdWEOmVdFmHQEBBQEHBQGBZwKBFAFSLyYBAQF?= =?us-ascii?q?EDxFlFhSEIhuBAoJeixOFYIcaiCuGDIF6CQEDAQwFIggBAYFLgnSDAhsHAQQ3A?= =?us-ascii?q?w0CDAEBBAEBAQIBAgMEAQYBFwwKBimFNgyCOimDABEdARseAxIDDTcCJAERAQU?= =?us-ascii?q?BCBo1gwGBaQEDHQ+UH4xwghyBAzyLJIEVBQEXgn4FgTgCAQIOD4JkChknDWWBP?= =?us-ascii?q?QIBBhKBIgGLdxiBf4ERg1CBBIFdBIE4VIJeglgEjG2fGW5GgWaCLoRXjX0bmRy?= =?us-ascii?q?WGZESDyOBWQJQgQAMCHBdChqCO4JCGINahRSFQEIwjiKCVAEB?= X-IronPort-AV: E=Sophos;i="5.64,520,1559512800"; d="scan'208,217";a="319787092" X-MGA-submission: =?us-ascii?q?MDG76vv73KXTwHA6k3iPqTanGO9Moypsz1MLJK?= =?us-ascii?q?CSbv+fKvrunO3xj4rFbKLy+N2Fpjdlfvl2QD9FBCsyz1YVn+fsoDtsa2?= =?us-ascii?q?fD/QTqtavvvdncIL6rx5s+4JQCfwAdM5EEPYks5eT2EaDidCkYmwgUmG?= =?us-ascii?q?HL0MvpMXsVBYzAdQyzen3IyA=3D=3D?= Received: from mail-io1-f67.google.com ([209.85.166.67]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Sep 2019 10:27:44 +0200 Received: by mail-io1-f67.google.com with SMTP id f12so14083059iog.12 for ; Wed, 18 Sep 2019 01:27:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=3/8dObW1lNCLRVdWtHzFl7+REu0g3nD9T4dnm7AwhxE=; b=OPPuzkafBqfhdELhfYainod9CtZAkVXXFEXI68tm+goV8x9+ooKSC/JrvCsX/g+x3p foDNqEaO6mJ/m7H6pGnnJOM60sy69V1L1soeWVt+1cvO/v4HY+KulHV9LZ9Ngwb439t5 clfZOLehM+cXtWmpgT2d2pKJFbGIL4Tt+fsUEq/klEkQZ5jgWpi1AEvrhWXSqJcKsk/4 B4gA3+XSWBPkN1InRgfkKY/imGi8V9DYW4R5RzuIqa9+a9LEokCziSUC68r+n/4UhMOx 5Uj5K3ZHJPWc5+karSC8u2Tc8aX1mo4vvY2WRqk7BX4YdSO9k7s6ImJdojOO8j0MQLOV umWA== 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=3/8dObW1lNCLRVdWtHzFl7+REu0g3nD9T4dnm7AwhxE=; b=Vxhud/i/07mwLyAgWGE+3bDxukTmnNev/H3y4NPsYIhncyRcJ0oFIF+2T7BvF/sWOI 54KPCV7AWPGeg3sEpPkueKLRFp4FzjkxVyr+cR1LutqwWa6EglqLjeBpcamTkYBKwBmY VR8/duLXtrcYctSHcrbWLu1n9I/BI+Pf5zRNfWV/qmZLpbTT26kF/VgmgKRSGxGgeQoa p22vgaNDPSDiizW48X5BK2HltIoVtIHbuSlruLFF8mxabIysUT/93TjWzJgqCih+DmqF QOEuWqkppt/zw6VFtmhfoWRADrW4tErbfdQFLgS+1bd6q/mrxWkfg5s78L8PNswcoX8Q rHDg== X-Gm-Message-State: APjAAAUshlxj9PYBzp+nMUFA+4xFPDyvGUN1/KV8XCxZJrpVO4qkx9Mw QU2DgtLWyun3DE114bBQfGSZtWlG1d99mjSI8AaLlJds0v2WWQ== X-Google-Smtp-Source: APXvYqx1CUamzClhu/8ZptErJrEV0mH86rHsdJrCrBAGRMMTpOAinjB2dTZq9E06RJcaTE+l+AOe2cKwsUHmymJfwHc= X-Received: by 2002:a02:7f8a:: with SMTP id r132mr3677431jac.46.1568795262868; Wed, 18 Sep 2019 01:27:42 -0700 (PDT) MIME-Version: 1.0 From: Ekaterina Komendantskaya Date: Wed, 18 Sep 2019 09:27:16 +0100 Message-ID: To: Katya Komendantskaya Content-Type: multipart/alternative; boundary="0000000000005e610f0592cf9c39" Subject: [Caml-list] Practical Aspects of Declarative Languages PADL2020: 2nd CFP Reply-To: Ekaterina Komendantskaya X-Loop: caml-list@inria.fr X-Sequence: 17807 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: --0000000000005e610f0592cf9c39 Content-Type: text/plain; charset="UTF-8" 22nd International Symposium on Practical Aspects of Declarative Languages (PADL 2020) https://popl20.sigplan.org/home/PADL-2020,20-21 January 2020, New Orleans, Louisiana, United States Co-located with ACM POPL 2020 ( https://popl20.sigplan.org/) ------------------------------ *Declarative languages* is an umbrella term that include functional, logic, and constraint programming languages. These languages have been successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to challenging problems raise intriguing research questions, such as scalable design and implementation, language extensions for application deployment, and programming environments. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages for software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical languages and extensions such as probabilistic and reactive languages *PADL 2020* especially welcomes new ideas and approaches pertaining to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. Important Dates and Submission Guidelines: - Abstracts due: 11 October 2019 - Papers due: 18 October 2019 - Notification to authors: 18 November 2019 - Camera-ready: 29 November 2020 - Symposium dates: 20 - 21 January 2020 Submission instructions can be found at: https://popl20.sigplan.org/home/PADL-2020#Call-for-Papers Looking forward to receiving your submission, PADL19 PC members: https://popl20.sigplan.org/home/PADL-2020#About --0000000000005e610f0592cf9c39 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A022nd Internation= al Symposium on Practical Aspects of Declarative Languages (PADL 2020)

https://popl20.sigplan.org/home/PADL-2020,

= 20-21 January 2020, New Orleans, Louisiana, United States<= /font>

Co-located with ACM POPL 2020 (https://popl20.sigplan.org/)

Declarative languages=C2=A0is an umbrella te= rm that include functional, logic, and constraint programming languages. Th= ese languages have been successfully applied to many different real-world s= ituations, ranging from database management to active networks to software = engineering to decision support systems.

New developments in theor= y and implementation have opened up new application areas. At the same time= , applications of declarative languages to challenging problems raise intri= guing research questions, such as scalable design and implementation, langu= age extensions for application deployment, and programming environments.=C2= =A0

PADL is a well-established forum for researchers and practitio= ners to present original work emphasizing novel applications and implementa= tion techniques for all forms of declarative programming, including functio= nal and logic programming, database and constraint programming, and theorem= proving. Topics of interest include, but are not limited to:

  • Innovative applications of = declarative languages
  • Declarative d= omain-specific languages and applications
  • Practical applications of theoretical results
  • New language developments and their impact on application= s
  • Declarative languages for softwar= e engineering
  • Evaluation of impleme= ntation techniques on practical applications
  • Practical experiences and industrial applications
  • Novel uses of declarative languages in the class= room
  • Practical languages and extens= ions such as probabilistic and reactive languages

PADL 2020=C2=A0especially welcomes new idea= s and approaches pertaining to applications, design and implementation of d= eclarative languages going beyond the scope of the past PADL symposia, for = example, advanced database languages and contract languages, as well as ver= ification and theorem proving methods that rely on declarative languages.

Important Dates and= Submission Guidelines:

  • Abstracts due: 11 October 2019
  • Papers due: 18 October 2019
  • Notification to authors: 18 November 2019
  • Camera-ready: 29 November 2020
  • Symposium dates: 20 - 21 January 2020

Submission instructions can = be found at:=C2=A0https://popl20.sigplan.org/home/PADL-2020#Call-for-Papers<= /div>

Looking forward to receiving your submission,
PADL19 PC membe= rs:=C2=A0https://popl20.sigplan.org/home/PADL-2020#About=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0

--0000000000005e610f0592cf9c39--