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