-------- Forwarded Message -------- Subject: [WI] Practical Aspects of Declarative Languages (PADL 2020) Call for Participation Date: Wed, 18 Dec 2019 03:16:47 +0000 From: Ekaterina Komendantskaya komendantskaya@gmail.com Reply-To: Ekaterina Komendantskaya komendantskaya@gmail.com To: Katya Komendantskaya komendantskaya@gmail.com

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 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

Nikolaj BjørnerAdnan DarwicheMolham ArefGrant PassmoreMayur NaikPhil Wadler

Complete Program

https://popl20.sigplan.org/home/PADL-2020#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 https://regmaster4.com/2020conf/POPL20/register.php

Early rate closes on December 18th

-- Mailing-Liste: wi@lists.kit.edu Administrator: wi-request@lists.kit.edu Konfiguration: https://www.lists.kit.edu/wws/info/wi