caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Ekaterina Komendantskaya <komendantskaya@gmail.com>
To: Katya Komendantskaya <komendantskaya@gmail.com>
Subject: [Caml-list] Practical Aspects of Declarative Languages (PADL 2020) Call for Participation
Date: Wed, 18 Dec 2019 03:16:47 +0000	[thread overview]
Message-ID: <CAEQEJxJiXyHG8mHDBi1drMwLvHdxQ-ua+f4Pg6xMOCio1uQYGg@mail.gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 1500 bytes --]

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

[-- Attachment #2: Type: text/html, Size: 14292 bytes --]

                 reply	other threads:[~2019-12-18  3:17 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CAEQEJxJiXyHG8mHDBi1drMwLvHdxQ-ua+f4Pg6xMOCio1uQYGg@mail.gmail.com \
    --to=komendantskaya@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).