Welcome to the Languages for Inference (formerly PPS) (LAFI'20) submissions site. For general conference information, see https://popl20.sigplan.org/home/lafi-2020.

Submissions

The deadline for registering submissions has passed.