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