Email Gateway (Aug 22 2022 at 21:10): Email Gateway (Aug 22 2022 at 21:10):From: Ekaterina 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 (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
Last updated: Nov 21 2024 at 12:39 UTC