caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] Practical Aspects of Declarative Languages (PADL 2020) Call for Participation
@ 2019-12-18  3:16 Ekaterina Komendantskaya
  0 siblings, 0 replies; only message in thread
From: Ekaterina Komendantskaya @ 2019-12-18  3:16 UTC (permalink / raw)
  To: Katya Komendantskaya

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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-12-18  3:16 [Caml-list] Practical Aspects of Declarative Languages (PADL 2020) Call for Participation Ekaterina Komendantskaya

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git