From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id CC79C5D5
	for <caml-list@inbox.ocaml.org>; Wed, 18 Dec 2019 03:17:26 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.69,327,1571695200"; 
   d="scan'208,217";a="420770178"
Received: from sympa.inria.fr ([193.51.193.213])
  by mail2-relais-roc.national.inria.fr with ESMTP; 18 Dec 2019 04:17:25 +0100
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id A434F7F3B3; Wed, 18 Dec 2019 04:17:25 +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 158957F3A8
	for <caml-list@sympa.inria.fr>; Wed, 18 Dec 2019 04:17:17 +0100 (CET)
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-f66.google.com
IronPort-PHdr: =?us-ascii?q?9a23=3AV2KqxBRn/2FHZUCPgbnG9zD1htpsv+yvbD5Q0YIu?=
 =?us-ascii?q?jvd0So/mwa6zYxGN2/xhgRfzUJnB7Loc0qyK6vumAzRQqsve+Fk5M7V0Hycfjs?=
 =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?=
 =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi4oAnLqMUanYhvJqkxxxbLv3BFZ/?=
 =?us-ascii?q?lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbD?=
 =?us-ascii?q?SxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lC?=
 =?us-ascii?q?sKMSMy/XrJgcJskq1UvBOhpwR+w4HKZoGVKOF+db7Zcd8DWGZNQtpdWylHD4y7?=
 =?us-ascii?q?coUPEvEBPf5GoIbhu1sArh6+BQaiCuPozz9HnH723asn2OglHwzKwAksEtQJv3?=
 =?us-ascii?q?nIotj5KLoeXfmpwKXV0D7Pa+5a1Df45IXObxsvo+yDXahofMXeyUchGQDLgEiO?=
 =?us-ascii?q?p4P5Ij6Yzf4Cv3SB4ud6Se6jl2wqpgdsqTav3McsjYzJi5oaxFDH7yp53Jg6Jc?=
 =?us-ascii?q?e5SE59e9GvDZ5etyafN4RoRMMtXntnuCAmyr0dup60ZigLx446zBPYaPyHdI2I?=
 =?us-ascii?q?7QzlVOmMOzh4gm5leKm8hxmo8Umv0PbxVsax0FlQrypFlsPAuWwK1xzW88WKTO?=
 =?us-ascii?q?Z28Emm2TaKzQ/T6+dELFgvlaraJJ4h2rowmYAVsUjZGS/2gkr2gLeMdko69eio?=
 =?us-ascii?q?7v7oYq76ppCCLY95hRvyPbgpmsy6B+kzLwsAX3CD9OiiyLHu+Vf1TbZKg/Esj6?=
 =?us-ascii?q?XUsZHXKd4aq6O4BQJez5wt5AylDzi81dQVhXkHI0xBeBKAl4XpPkvBIPH8Dfum?=
 =?us-ascii?q?glSslypny+nIPrDgA5jBNHfDkLDmfbZy705T1hA/wsxY55JREr0BIfTzVVHttN?=
 =?us-ascii?q?HAEBM1Lwi5z/zkBdh9zI8SRGOCD66DPK7TsFKE/ucvLPONZI8Rtjb9Mf8l5/v2?=
 =?us-ascii?q?gH86nl8deLem3Z0KZ3+iGPRmP16ZYXn2jdYBC2gHpQU+TOnwh12DVT5ffWq9X6?=
 =?us-ascii?q?U55j0jEoKpEZ/DRpyxgLyGxCq0AodZZmVCClyVFXfodp6EW+sXZSKJIs5hlyQE?=
 =?us-ascii?q?WqK7R48g0xGurg76xKB9Iura4C1L/a7kgft8+/za3TI18DFyA82bz3qORnB91j?=
 =?us-ascii?q?cLQDo72qx2p1BmyV6S2IB3hvVZEZpY4PYfASkgMpuJ4u9zF93oWwTINvSOTVug?=
 =?us-ascii?q?TtygHSoyR8M4i4sNZENwHdmriAzY3CO7CpcakrWKANo/9aeKjCu5HNp013uTjP?=
 =?us-ascii?q?pptFIhWMYacDD73/8tx03oH4fM1n6hueOvfKUY0jTK8T7an2WLtUBcFgV3VPec?=
 =?us-ascii?q?BC1NVg7ttd38o3j6YfquBLAgaFYTzMeDLu5LbYSsgwsYAvjkP9vabiS6nGLiXU?=
 =?us-ascii?q?/UlIPJV5LjfiAm5AuYEFINyllB8nOPNAx4DSCk8TrT?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DgFQBImfldWEKmVdFLGh+DQYEEJgEBA?=
 =?us-ascii?q?QQ/IDQzFhSEBBuBAYJeizCFZYcNkE4JAQMBDAUZEQEBg3tFghocBwEENBMCEAE?=
 =?us-ascii?q?BBAEBAQIBAgMEAQYBFwwKBimFQAyCOymDEwsGHQEbEQUIAxIQNwIkAREBBQEIG?=
 =?us-ascii?q?jWDAYJFAQMuDzqeSIIcgQM9iyaBFQUBF4J/BYE2AQMFgwAKGScNZoE8AgEGEoE?=
 =?us-ascii?q?NF4wYGoIAgRE2hB+BYAECAYIOgmMXgkcErwVHgXeCQoRtjmEbgkOHdpAQlx2SF?=
 =?us-ascii?q?g8jgUaBenCBAYI7UBEUjSqDW4UUhT9EMI9XAQE?=
X-IPAS-Result: =?us-ascii?q?A0DgFQBImfldWEKmVdFLGh+DQYEEJgEBAQQ/IDQzFhSEBBu?=
 =?us-ascii?q?BAYJeizCFZYcNkE4JAQMBDAUZEQEBg3tFghocBwEENBMCEAEBBAEBAQIBAgMEA?=
 =?us-ascii?q?QYBFwwKBimFQAyCOymDEwsGHQEbEQUIAxIQNwIkAREBBQEIGjWDAYJFAQMuDzq?=
 =?us-ascii?q?eSIIcgQM9iyaBFQUBF4J/BYE2AQMFgwAKGScNZoE8AgEGEoENF4wYGoIAgRE2h?=
 =?us-ascii?q?B+BYAECAYIOgmMXgkcErwVHgXeCQoRtjmEbgkOHdpAQlx2SFg8jgUaBenCBAYI?=
 =?us-ascii?q?7UBEUjSqDW4UUhT9EMI9XAQE?=
X-IronPort-AV: E=Sophos;i="5.69,327,1571695200"; 
   d="scan'208,217";a="333527665"
X-MGA-submission: =?us-ascii?q?MDGHeRIO1IO2gBdQH9e/TbPtdia7BIbOeI6c5q?=
 =?us-ascii?q?1gdYZ7oUM+W9vKB3ZrMOjzHkztVa6zxV9Wpzyj5H5ssYDJSEK0fH9e9N?=
 =?us-ascii?q?XP6FYjF7Lg6ypPjF+G9LlYvxph/JYAYX6vVVUTv2+2v3KuKtaekl0r/f?=
 =?us-ascii?q?uO25z99Fznt/1ILLyf0PuZmA=3D=3D?=
Received: from mail-io1-f66.google.com ([209.85.166.66])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Dec 2019 04:17:15 +0100
Received: by mail-io1-f66.google.com with SMTP id b10so402368iof.11
        for <caml-list@inria.fr>; Tue, 17 Dec 2019 19:17:15 -0800 (PST)
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=ERMzCM4a+LWi/S6pPKtjSDuuADZJtvRLDs3cm4GerRM=;
        b=rPhjviMycQ6TvLx9CHSab6oaZWIBhO7+zPtsXXo/maXfbqTWuPPVynXtcUogK9nuzw
         mbJ3WuII5+FUgAi7tJgVwJ1zhzmgmJ90hoPqXyaD7y3BKo1zZPoB/MMqHJCO0ZimmsDI
         nAEnl+Qw57sAKt7nXDHfodLvANUkDGAIsfL2PhqTqegG9atPorMG+/BHic/gCMvumMVe
         W3Ss31JV5hx8A8vsb1gz/VZgzDIzKoDR7h8/bcXEhci3xWhyrB/iWiPbtkvXusPC0rZH
         QZ0LXavrzIrmetflNwaYjulLWuss6zdSnnu/8ljv8KmEoZRiR1xHNoRdbGaqmPquhqS9
         E/Eg==
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=ERMzCM4a+LWi/S6pPKtjSDuuADZJtvRLDs3cm4GerRM=;
        b=kiVgeo6xf4lehOIiO41J11ggrHqikX+xEl7xQRK0qB97AcO7Y4MqO9ZcRx2+XWaRPp
         YIk9JodJ5pvWXZ+99MPWvNL26GoqCoUPJPoC16SfRRW6BB5WxZ0xCGDYNDQsYFHHokIW
         jFmetJXTBJcFYJuVJufZUszI25Yeu1Xbfgk+ZI0a9tj0OzlXqUpAa7q/yGMv+7kcDPDM
         AIm5R0K5aMVJ5epIFIrivac9l+F7A4Hecff2T1WwoPAcUp52eWH+r7kFiAMMWoyWZ0I9
         pinSknyLE1fj/z58Z7amGNxWSA8GWrENHJqKAhoOJDNIhiuZvCEceYAvwK4YNBhRKgGo
         jCPw==
X-Gm-Message-State: APjAAAUa6lS20zPjh7c42zhAHitDFvQx1xPmg1Ds8Heyd0X1h0p+vYoI
	bzp9spfO3luCoOLxUfTkI/eDJbZlmy5KY2NWjYA=
X-Google-Smtp-Source: APXvYqx/jy0un743kegdZhdXiA9b3KmG+ah4AgY76EVDBLyuPU+pq1jQm7eUnrA0nwKjUb6Rtcjb6CY1hxH1lrVXyKw=
X-Received: by 2002:a02:cd9c:: with SMTP id l28mr428075jap.46.1576639034268;
 Tue, 17 Dec 2019 19:17:14 -0800 (PST)
MIME-Version: 1.0
From: Ekaterina Komendantskaya <komendantskaya@gmail.com>
Date: Wed, 18 Dec 2019 03:16:47 +0000
Message-ID: <CAEQEJxJiXyHG8mHDBi1drMwLvHdxQ-ua+f4Pg6xMOCio1uQYGg@mail.gmail.com>
To: Katya Komendantskaya <komendantskaya@gmail.com>
Content-Type: multipart/alternative; boundary="00000000000093a4990599f1e1ef"
Subject: [Caml-list] Practical Aspects of Declarative Languages (PADL 2020)
 Call for Participation
Reply-To: Ekaterina Komendantskaya <komendantskaya@gmail.com>
X-Loop: caml-list@inria.fr
X-Sequence: 17917
Errors-to: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Post: <mailto:caml-list@inria.fr>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>

--00000000000093a4990599f1e1ef
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

PADL 2020 Final Call for Participation:

Please see many exciting talks and events at PADL 2020:

The 22nd Symposium on Practical Aspects of Declarative Languages

https://popl20.sigplan.org/home/PADL-2020 (Early registration by 12/18)
Invited Talks

Nikolaj Bj=C3=B8rner, Microsoft Research

Logical Engines for Cloud Configurations

Adnan Darwiche, UCLA

Symbolic Reasoning About Machine Learning Systems

Invited Experience and Direction Session Invited Talks

Molham Aref, Relational AI

Relational Artificial Intelligence

Mayur Naik, University of Pennsylvania

Learning Interpretable Rules from Structured Data

Grant Passmore, Imandra Inc. and Cambridge University

An Introduction to the Imandra Automated Reasoning System

Philip Wadler, University of Edinburgh

We Are All Poor Schmucks: On the Value of Gradual Types

[image: Nikolaj Bj=C3=B8rner][image: Adnan Darwiche][image: Molham Aref][im=
age:
Grant Passmore][image: Mayur Naik][image: Phil Wadler]

Complete Program

https://popl20.sigplan.org/home/PADL-2020#program

This includes also presentations of 10 full papers and 4 short papers; four
discussion panels: (1) Programming with Logic for the Masses, (2) Memory
and Real-Time Programming in Practice, (3) Reasoning for Machine Learning
at Large, and (4) Experience and Direction; and a competitive programming
experience session.

Registration

https://regmaster4.com/2020conf/POPL20/register.php

Early rate closes on December 18th

--00000000000093a4990599f1e1ef
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div><h1 dir=3D"ltr" style=3D"line-height:1.38;margin-top:=
20pt;margin-bottom:6pt"><span style=3D"background-color:transparent;color:r=
gb(0,0,0);font-family:Arial;font-size:12pt;white-space:pre-wrap;font-weight=
:normal">PADL 2020 Final Call for Participation:</span><br></h1><br><p dir=
=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span =
style=3D"font-size:12pt;font-family:Arial;color:rgb(0,0,0);background-color=
:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;ver=
tical-align:baseline;white-space:pre-wrap">Please see many exciting talks a=
nd events at PADL 2020:</span></p><p dir=3D"ltr" style=3D"line-height:1.38;=
margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:12pt;font-family=
:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:n=
ormal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pr=
e-wrap">The 22nd Symposium on Practical Aspects of Declarative Languages</s=
pan></p><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bott=
om:0pt"><a href=3D"https://popl20.sigplan.org/home/PADL-2020" target=3D"_bl=
ank" style=3D"text-decoration-line:none"><span style=3D"font-size:12pt;font=
-family:Arial;background-color:transparent;font-variant-numeric:normal;font=
-variant-east-asian:normal;text-decoration-line:underline;vertical-align:ba=
seline;white-space:pre-wrap">https://popl20.sigplan.org/home/PADL-2020</spa=
n></a><span style=3D"font-size:12pt;font-family:Arial;color:rgb(0,0,0);back=
ground-color:transparent;font-variant-numeric:normal;font-variant-east-asia=
n:normal;vertical-align:baseline;white-space:pre-wrap"> (Early registration=
 by 12/18)</span></p><h2 dir=3D"ltr" style=3D"line-height:1.38;margin-top:1=
8pt;margin-bottom:6pt"><span style=3D"font-size:16pt;font-family:Arial;colo=
r:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-=
variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Inv=
ited Talks</span></h2><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0=
pt;margin-bottom:0pt"><span style=3D"font-size:12pt;font-family:Arial;color=
:rgb(0,0,0);background-color:transparent;font-weight:700;font-variant-numer=
ic:normal;font-variant-east-asian:normal;vertical-align:baseline;white-spac=
e:pre-wrap">Nikolaj Bj=C3=B8rner</span><span style=3D"font-size:12pt;font-f=
amily:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-nume=
ric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-spa=
ce:pre-wrap">, Microsoft Research</span></p><p dir=3D"ltr" style=3D"line-he=
ight:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:12pt;f=
ont-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant=
-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underli=
ne;vertical-align:baseline;white-space:pre-wrap">Logical Engines for Cloud =
Configurations</span></p><br><p dir=3D"ltr" style=3D"line-height:1.38;margi=
n-top:0pt;margin-bottom:0pt"><span style=3D"font-size:12pt;font-family:Aria=
l;color:rgb(0,0,0);background-color:transparent;font-weight:700;font-varian=
t-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;whi=
te-space:pre-wrap">Adnan Darwiche</span><span style=3D"font-size:12pt;font-=
family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-num=
eric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-sp=
ace:pre-wrap">, UCLA</span></p><p dir=3D"ltr" style=3D"line-height:1.38;mar=
gin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:12pt;font-family:Ar=
ial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:norm=
al;font-variant-east-asian:normal;text-decoration-line:underline;vertical-a=
lign:baseline;white-space:pre-wrap">Symbolic Reasoning About Machine Learni=
ng Systems</span></p><br><p dir=3D"ltr" style=3D"line-height:1.38;margin-to=
p:0pt;margin-bottom:0pt"><span style=3D"font-size:14pt;font-family:Arial;co=
lor:rgb(0,0,0);background-color:transparent;font-weight:700;font-variant-nu=
meric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-s=
pace:pre-wrap">Invited Experience and Direction Session Invited Talks</span=
></p><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:=
0pt"><span style=3D"font-size:12pt;font-family:Arial;color:rgb(0,0,0);backg=
round-color:transparent;font-weight:700;font-variant-numeric:normal;font-va=
riant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Molha=
m Aref</span><span style=3D"font-size:12pt;font-family:Arial;color:rgb(0,0,=
0);background-color:transparent;font-variant-numeric:normal;font-variant-ea=
st-asian:normal;vertical-align:baseline;white-space:pre-wrap">, Relational =
AI</span></p><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin=
-bottom:0pt"><span style=3D"font-size:12pt;font-family:Arial;color:rgb(0,0,=
0);background-color:transparent;font-variant-numeric:normal;font-variant-ea=
st-asian:normal;text-decoration-line:underline;vertical-align:baseline;whit=
e-space:pre-wrap">Relational Artificial Intelligence</span></p><br><p dir=
=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span =
style=3D"font-size:12pt;font-family:Arial;color:rgb(0,0,0);background-color=
:transparent;font-weight:700;font-variant-numeric:normal;font-variant-east-=
asian:normal;vertical-align:baseline;white-space:pre-wrap">Mayur Naik</span=
><span style=3D"font-size:12pt;font-family:Arial;color:rgb(0,0,0);backgroun=
d-color:transparent;font-variant-numeric:normal;font-variant-east-asian:nor=
mal;vertical-align:baseline;white-space:pre-wrap">, University of Pennsylva=
nia</span></p><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margi=
n-bottom:0pt"><span style=3D"font-size:12pt;font-family:Arial;color:rgb(0,0=
,0);background-color:transparent;font-variant-numeric:normal;font-variant-e=
ast-asian:normal;text-decoration-line:underline;vertical-align:baseline;whi=
te-space:pre-wrap">Learning Interpretable Rules from Structured Data</span>=
</p><br><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bott=
om:0pt"><span style=3D"font-size:12pt;font-family:Arial;color:rgb(0,0,0);ba=
ckground-color:transparent;font-weight:700;font-variant-numeric:normal;font=
-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Gr=
ant Passmore</span><span style=3D"font-size:12pt;font-family:Arial;color:rg=
b(0,0,0);background-color:transparent;font-variant-numeric:normal;font-vari=
ant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">, Imand=
ra Inc. and Cambridge University</span></p><p dir=3D"ltr" style=3D"line-hei=
ght:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:12pt;fo=
nt-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-=
numeric:normal;font-variant-east-asian:normal;text-decoration-line:underlin=
e;vertical-align:baseline;white-space:pre-wrap">An Introduction to the Iman=
dra Automated Reasoning System</span></p><br><p dir=3D"ltr" style=3D"line-h=
eight:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:12pt;=
font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-weight=
:700;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-al=
ign:baseline;white-space:pre-wrap">Philip Wadler</span><span style=3D"font-=
size:12pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;f=
ont-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:ba=
seline;white-space:pre-wrap">, University of Edinburgh</span></p><p dir=3D"=
ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span styl=
e=3D"font-size:12pt;font-family:Arial;color:rgb(0,0,0);background-color:tra=
nsparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-de=
coration-line:underline;vertical-align:baseline;white-space:pre-wrap">We Ar=
e All Poor Schmucks: On the Value of Gradual Types</span></p><br><p dir=3D"=
ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt;padding:0pt=
 0pt 8pt"><span style=3D"font-size:13.5pt;font-family:Arial;color:rgb(17,85=
,204);background-color:transparent;font-variant-numeric:normal;font-variant=
-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;w=
hite-space:pre-wrap"><span style=3D"border:none;display:inline-block;overfl=
ow:hidden;width:100px;height:100px"><img alt=3D"Nikolaj Bj=C3=B8rner" src=
=3D"https://lh5.googleusercontent.com/Hws--D7Glkyy2rdB0l3KFkt9Y2ZruqmX21s7K=
PfwflkW4bVKrIuSpBjI5N4teowqaG5b0h_iNFOnrXGlDkQAdi60iqdnL6Q3yrqYJB_xlewEiHk-=
MHaY3Q8qVC4bAZ14s0GKLn7B" width=3D"100" height=3D"100" class=3D"gmail-CToWU=
d" style=3D"margin-left: 0px; margin-top: 0px;"></span></span><span style=
=3D"font-size:13.5pt;font-family:Arial;color:rgb(17,85,204);background-colo=
r:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;te=
xt-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">=
<span style=3D"border:none;display:inline-block;overflow:hidden;width:100px=
;height:100px"><img alt=3D"Adnan Darwiche" src=3D"https://lh4.googleusercon=
tent.com/BLiecNqwVpkCL7MByW3uoS-OqEWMsWcAbKWcNLoEq1T8pIoNDbsGIFJVgO1AO_fTMl=
FnEyJDDlwe5zmJX6vLnfoIsQxThlM15AIJg1xjy9X3d13sNiju3D5ZodR3L9uTgnCwtD3x" wid=
th=3D"100" height=3D"100" class=3D"gmail-CToWUd" style=3D"margin-left: 0px;=
 margin-top: 0px;"></span></span><span style=3D"font-size:13.5pt;font-famil=
y:Arial;color:rgb(17,85,204);background-color:transparent;font-variant-nume=
ric:normal;font-variant-east-asian:normal;text-decoration-line:underline;ve=
rtical-align:baseline;white-space:pre-wrap"><span style=3D"border:none;disp=
lay:inline-block;overflow:hidden;width:100px;height:100px"><img alt=3D"Molh=
am Aref" src=3D"https://lh5.googleusercontent.com/x_6il1cbmTtmRf6LI7pfNweSd=
tmOPkE2NHHAOE4pxUtWdog0zZfy5UjqCRbzxLENQ9l77JvFCzbfX7eKhPCrVaC0QRDy_vm_kBN1=
mWQlALpkdVBgH8yyDJqEw_bjfCuCKbqDY-YZ" width=3D"100" height=3D"100" class=3D=
"gmail-CToWUd" style=3D"margin-left: 0px; margin-top: 0px;"></span></span><=
span style=3D"font-size:13.5pt;font-family:Arial;color:rgb(17,85,204);backg=
round-color:transparent;font-variant-numeric:normal;font-variant-east-asian=
:normal;text-decoration-line:underline;vertical-align:baseline;white-space:=
pre-wrap"><span style=3D"border:none;display:inline-block;overflow:hidden;w=
idth:100px;height:100px"><img alt=3D"Grant Passmore" src=3D"https://lh3.goo=
gleusercontent.com/L73olY94yWocNkpyNzcOLxEcL6gWjZMdvGDuvau5z6MGUk7pUjT-TVIj=
GX_zfw5MWmNpTXxzm_A73o_VtJ6ZCHCZAyIe1FSnao5Aa4FjJVyngKQd-uvJGvnHDt4uO6qQ8YD=
xD3PE" width=3D"100" height=3D"100" class=3D"gmail-CToWUd" style=3D"margin-=
left: 0px; margin-top: 0px;"></span></span><span style=3D"font-size:13.5pt;=
font-family:Arial;color:rgb(17,85,204);background-color:transparent;font-va=
riant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:un=
derline;vertical-align:baseline;white-space:pre-wrap"><span style=3D"border=
:none;display:inline-block;overflow:hidden;width:100px;height:100px"><img a=
lt=3D"Mayur Naik" src=3D"https://lh3.googleusercontent.com/NXl6QpvRz-Q4MVdD=
TS_BV6X__73j-EWRFExbvW-iv8WggvKmjX3rTNzyDlifvYpyPFFBbB8mP1DdVPISeTAIxusa8bd=
K_NH7p1MiJ2CBim8PsRKFzrYdLJwvTb0uYO5Pf_kt66HR" width=3D"100" height=3D"100"=
 class=3D"gmail-CToWUd" style=3D"margin-left: 0px; margin-top: 0px;"></span=
></span><span style=3D"font-size:13.5pt;font-family:Arial;color:rgb(17,85,2=
04);background-color:transparent;font-variant-numeric:normal;font-variant-e=
ast-asian:normal;text-decoration-line:underline;vertical-align:baseline;whi=
te-space:pre-wrap"><span style=3D"border:none;display:inline-block;overflow=
:hidden;width:100px;height:100px"><img alt=3D"Phil Wadler" src=3D"https://l=
h6.googleusercontent.com/NSAcjzuvgw7ezDjsTu49ZigxJP5xBR1hQzsnYKdYbYWBlbHpHj=
EupyuZrf4xXdLnkumnED89GgZkhu4P1lt9PKHsfnkXYli-HgU-SXhLdPWSzuEFjkZ6mE-tqHLee=
eh-K-yl02mQ" width=3D"100" height=3D"100" class=3D"gmail-CToWUd" style=3D"m=
argin-left: 0px; margin-top: 0px;"></span></span></p><br><p dir=3D"ltr" sty=
le=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"fon=
t-size:16pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent=
;font-weight:700;font-variant-numeric:normal;font-variant-east-asian:normal=
;vertical-align:baseline;white-space:pre-wrap">Complete Program</span></p><=
p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><=
a href=3D"https://popl20.sigplan.org/home/PADL-2020#program" target=3D"_bla=
nk" style=3D"text-decoration-line:none"><span style=3D"font-size:11pt;font-=
family:Arial;background-color:transparent;font-variant-numeric:normal;font-=
variant-east-asian:normal;text-decoration-line:underline;vertical-align:bas=
eline;white-space:pre-wrap">https://popl20.sigplan.org/home/PADL-2020#progr=
am</span></a></p><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;ma=
rgin-bottom:0pt"><span style=3D"font-size:12pt;font-family:Arial;color:rgb(=
0,0,0);background-color:transparent;font-variant-numeric:normal;font-varian=
t-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">This incl=
udes also presentations of 10 full papers and 4 short papers; four discussi=
on panels: (1) Programming with Logic for the Masses, (2) Memory and Real-T=
ime Programming in Practice, (3) Reasoning for Machine Learning at Large, a=
nd (4) Experience and Direction; and a competitive programming experience s=
ession.</span></p><br><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0=
pt;margin-bottom:0pt"><span style=3D"font-size:16pt;font-family:Arial;color=
:rgb(0,0,0);background-color:transparent;font-weight:700;font-variant-numer=
ic:normal;font-variant-east-asian:normal;vertical-align:baseline;white-spac=
e:pre-wrap">Registration</span></p><p dir=3D"ltr" style=3D"line-height:1.38=
;margin-top:0pt;margin-bottom:0pt"><a href=3D"https://regmaster4.com/2020co=
nf/POPL20/register.php" target=3D"_blank" style=3D"text-decoration-line:non=
e"><span style=3D"font-size:12pt;font-family:Arial;background-color:transpa=
rent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decora=
tion-line:underline;vertical-align:baseline;white-space:pre-wrap">https://r=
egmaster4.com/2020conf/POPL20/register.php</span></a></p><p dir=3D"ltr" sty=
le=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"fon=
t-size:12pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent=
;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:=
baseline;white-space:pre-wrap">Early rate closes on December 18th</span></p=
></div><div><br></div><br clear=3D"all"><div><div dir=3D"ltr" class=3D"gmai=
l_signature" data-smartmail=3D"gmail_signature"><div dir=3D"ltr"><div><div =
dir=3D"ltr"><div><div dir=3D"ltr"><div><div dir=3D"ltr"><div><div dir=3D"lt=
r"><div style=3D"font-size:12.8px"><div><br></div></div></div></div></div><=
/div></div></div></div></div></div></div></div></div>

--00000000000093a4990599f1e1ef--