Conference · Workshop on Languages for Inference
LAFI 2027
Official page- Type
- Conference
- Organisation
- Workshop on Languages for Inference
- Location
- Mexico City, Mexico
- Submissions close
- 31 October 2026
- Found
- 26 September 2026
About this listing
Workshop on Languages for Inference. Submissions close 2026-10-31. Held in Mexico City, Mexico. Languages with built-in support for expressing probabilistic or differentiable models: language design for inference, automatic differentiation, formal semantics and verification, and applications. Held with POPL 2027. Topics: probabilistic programming, programming languages, semantics, type systems. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 8 October 2026. Found via PLFM (pl-fm.github.io).