caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] Practical Aspects of Declarative Languages (PADL 2020) Call for Participation
@ 2019-12-18  3:16 Ekaterina Komendantskaya
  0 siblings, 0 replies; only message in thread
From: Ekaterina Komendantskaya @ 2019-12-18  3:16 UTC (permalink / raw)
  To: Katya Komendantskaya

[-- Attachment #1: Type: text/plain, Size: 1500 bytes --]

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ørner, 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ørner][image: Adnan Darwiche][image: Molham Aref][image:
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

[-- Attachment #2: Type: text/html, Size: 14292 bytes --]

<div dir="ltr"><div><h1 dir="ltr" style="line-height:1.38;margin-top:20pt;margin-bottom:6pt"><span style="background-color:transparent;color:rgb(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="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-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">Please see many exciting talks and events at PADL 2020:</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-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">The 22nd Symposium on Practical Aspects of Declarative Languages</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><a href="https://popl20.sigplan.org/home/PADL-2020" target="_blank" style="text-decoration-line:none"><span style="font-size:12pt;font-family:Arial;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">https://popl20.sigplan.org/home/PADL-2020</span></a><span style="font-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 registration by 12/18)</span></p><h2 dir="ltr" style="line-height:1.38;margin-top:18pt;margin-bottom:6pt"><span style="font-size:16pt;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">Invited Talks</span></h2><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="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">Nikolaj Bjørner</span><span style="font-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">, Microsoft Research</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">Logical Engines for Cloud Configurations</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="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">Adnan Darwiche</span><span style="font-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">, UCLA</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">Symbolic Reasoning About Machine Learning Systems</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:14pt;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">Invited Experience and Direction Session Invited Talks</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="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">Molham Aref</span><span style="font-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">, Relational AI</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">Relational Artificial Intelligence</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="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="font-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">, University of Pennsylvania</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">Learning Interpretable Rules from Structured Data</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="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">Grant Passmore</span><span style="font-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">, Imandra Inc. and Cambridge University</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">An Introduction to the Imandra Automated Reasoning System</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="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">Philip Wadler</span><span style="font-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">, University of Edinburgh</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:12pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">We Are All Poor Schmucks: On the Value of Gradual Types</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;padding:0pt 0pt 8pt"><span style="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;white-space:pre-wrap"><span style="border:none;display:inline-block;overflow:hidden;width:100px;height:100px"><img alt="Nikolaj Bjørner" src="https://lh5.googleusercontent.com/Hws--D7Glkyy2rdB0l3KFkt9Y2ZruqmX21s7KPfwflkW4bVKrIuSpBjI5N4teowqaG5b0h_iNFOnrXGlDkQAdi60iqdnL6Q3yrqYJB_xlewEiHk-MHaY3Q8qVC4bAZ14s0GKLn7B" width="100" height="100" class="gmail-CToWUd" style="margin-left: 0px; margin-top: 0px;"></span></span><span style="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;white-space:pre-wrap"><span style="border:none;display:inline-block;overflow:hidden;width:100px;height:100px"><img alt="Adnan Darwiche" src="https://lh4.googleusercontent.com/BLiecNqwVpkCL7MByW3uoS-OqEWMsWcAbKWcNLoEq1T8pIoNDbsGIFJVgO1AO_fTMlFnEyJDDlwe5zmJX6vLnfoIsQxThlM15AIJg1xjy9X3d13sNiju3D5ZodR3L9uTgnCwtD3x" width="100" height="100" class="gmail-CToWUd" style="margin-left: 0px; margin-top: 0px;"></span></span><span style="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;white-space:pre-wrap"><span style="border:none;display:inline-block;overflow:hidden;width:100px;height:100px"><img alt="Molham Aref" src="https://lh5.googleusercontent.com/x_6il1cbmTtmRf6LI7pfNweSdtmOPkE2NHHAOE4pxUtWdog0zZfy5UjqCRbzxLENQ9l77JvFCzbfX7eKhPCrVaC0QRDy_vm_kBN1mWQlALpkdVBgH8yyDJqEw_bjfCuCKbqDY-YZ" width="100" height="100" class="gmail-CToWUd" style="margin-left: 0px; margin-top: 0px;"></span></span><span style="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;white-space:pre-wrap"><span style="border:none;display:inline-block;overflow:hidden;width:100px;height:100px"><img alt="Grant Passmore" src="https://lh3.googleusercontent.com/L73olY94yWocNkpyNzcOLxEcL6gWjZMdvGDuvau5z6MGUk7pUjT-TVIjGX_zfw5MWmNpTXxzm_A73o_VtJ6ZCHCZAyIe1FSnao5Aa4FjJVyngKQd-uvJGvnHDt4uO6qQ8YDxD3PE" width="100" height="100" class="gmail-CToWUd" style="margin-left: 0px; margin-top: 0px;"></span></span><span style="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;white-space:pre-wrap"><span style="border:none;display:inline-block;overflow:hidden;width:100px;height:100px"><img alt="Mayur Naik" src="https://lh3.googleusercontent.com/NXl6QpvRz-Q4MVdDTS_BV6X__73j-EWRFExbvW-iv8WggvKmjX3rTNzyDlifvYpyPFFBbB8mP1DdVPISeTAIxusa8bdK_NH7p1MiJ2CBim8PsRKFzrYdLJwvTb0uYO5Pf_kt66HR" width="100" height="100" class="gmail-CToWUd" style="margin-left: 0px; margin-top: 0px;"></span></span><span style="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;white-space:pre-wrap"><span style="border:none;display:inline-block;overflow:hidden;width:100px;height:100px"><img alt="Phil Wadler" src="https://lh6.googleusercontent.com/NSAcjzuvgw7ezDjsTu49ZigxJP5xBR1hQzsnYKdYbYWBlbHpHjEupyuZrf4xXdLnkumnED89GgZkhu4P1lt9PKHsfnkXYli-HgU-SXhLdPWSzuEFjkZ6mE-tqHLeeeh-K-yl02mQ" width="100" height="100" class="gmail-CToWUd" style="margin-left: 0px; margin-top: 0px;"></span></span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-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="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><a href="https://popl20.sigplan.org/home/PADL-2020#program" target="_blank" style="text-decoration-line:none"><span style="font-size:11pt;font-family:Arial;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">https://popl20.sigplan.org/home/PADL-2020#program</span></a></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-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">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.</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-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">Registration</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><a href="https://regmaster4.com/2020conf/POPL20/register.php" target="_blank" style="text-decoration-line:none"><span style="font-size:12pt;font-family:Arial;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">https://regmaster4.com/2020conf/POPL20/register.php</span></a></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-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="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div style="font-size:12.8px"><div><br></div></div></div></div></div></div></div></div></div></div></div></div></div></div>

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-12-18  3:16 [Caml-list] Practical Aspects of Declarative Languages (PADL 2020) Call for Participation Ekaterina Komendantskaya

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git