[Om-announce] PADL 2020 Call for Participation

[Yi Tong]

Call for Participation

Subject:

PADL 2020 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20191216/65c5b0b0/attachment.html>