coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Practical Aspects of Declarative Languages (PADL 2020) Call for Participation
Chronological Thread
- From: Ekaterina Komendantskaya <komendantskaya AT gmail.com>
- To: Katya Komendantskaya <komendantskaya AT gmail.com>
- Subject: [Coq-Club] Practical Aspects of Declarative Languages (PADL 2020) Call for Participation
- Date: Wed, 18 Dec 2019 03:16:47 +0000
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=komendantskaya AT gmail.com; spf=Pass smtp.mailfrom=komendantskaya AT gmail.com; spf=None smtp.helo=postmaster AT mail-io1-f68.google.com
- Ironport-phdr: 9a23:KkUqSh1gPB1ME9JrsmDT+DRfVm0co7zxezQtwd8ZseMRKfad9pjvdHbS+e9qxAeQG9mCsLQe07qd7v+ocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmTSwbalsIBmqrgjduckbjIl/Iast1xXFpWdFdf5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALMTRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTlkzkMOSIn/27Li8xwlKNbrwynpxxj2I7ffYWZOONjcq/BYd8WQGxMUcFMWSxcGYO8d5UAAPYdPehbqon9qFUArRy7BQa2BePvzCJDinv40KEm1ugsFwbJ0RAuEt4SrXjYtcn5OLoPWuyx0aXFzTDPYvVL0jn/9YfIaAgsrv6MU7x+csTf1FchGB/Yg1iLs4PpIymY2/4Rv2SH7edtU/+khW49qwF2pzii3sgiiorTiYIJ1F/E7yR5wIAvKtalTUB7ZtukH4VWty6HLYR2RN8iQ3pruCkgyrwJo4OwcS8JyJQgwh7QdfqHfJWS7RLlSOaROjR4i2hleb2lnBuy/k2gxff9VsmwylpFsi1FktzVu30Lyhfd5M+HSv5n8Ueg3zaCzxvT6uBLIUAskarUMZghzqQ3lpoJvkTPBjX2l1v5jK+TbEok4fSo5Pr9YrjpvJOTK4h0igT4P68zmcK/Gfw1PhYSU2Wf4+ix173u8VfkTLhLj/A6iKjUvZPcKM8GvKC2GRVV3Zwm6xunDzepztAYnX4fIVJAYh2HjozpN0jPIPD/EPuzmlqsnTZoyvzcMb3hBZLNLnfHkLj/Z7py90lcyA8rwdBe4ZJbFK0BLertVkPtsNHUFBw0Pgyuz+r6Cdhw15kSVGOMD6OBNaPdq16I5uYhI+mWY48VvS7wK/si5/7rk3A5n0IScrOv3ZsLc3C4He5pIkWDbnf3jdcBFH0Fvgs6TODwlFKCVjtTa26oX60g/jE7FJ6mDYDbS4+xh7yBxT63EYFSZmBbEV+BCmzodoWBW/cUci2eOM5hkjoeVbigUYAtzx+utBWpg4Zge8nd5jwR/bHk0dVz6+TViQox/C19R5Ce1GSASW19mH8TRDYn1YhwpEV8zhGI1q0u0NJCEtkGyvBATgogNJjVh899Dt30VgvHYsyKQUevCoGlBjQ8SN44xcMVYE9sEv2tixnC22yhBLpDxO/DP4A97q+Jhyu5HM160XuTkfR81gh0co50LWSjw5VH2U3WDo/NnV+ekv/zJ6sZ1S/JsmyEyDjX5RwKYEtLSazAGEsnSA7WoND+vB6QSravDfEmNVIEx5DSbKRNbdLtgBNNQ/KxYI2CMVL0oH+5AFOz/p3JdJDjIjxP0yDUCUxCmAcWry6L
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
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
- [Coq-Club] Practical Aspects of Declarative Languages (PADL 2020) Call for Participation, Ekaterina Komendantskaya, 12/18/2019
Archive powered by MHonArc 2.6.18.