Languages for Inference
Languages for Inference
In conjunction with
ACM-SIGACT Symposium on Principles of Programming Languages 2026
January 11-17, 2026
Le Couvent des Jacobins
Rennes, France
The Languages for Inference (LAFI) workshop aims to bring programming-language and machine-learning researchers together to advance all aspects of languages for inference: languages that offer built-in support for expressing probabilistic or differentiable models, and methods for inference and optimization over them, as programs, to ease reasoning, use, and reuse.
More workshops at ACM-SIGACT Symposium on Principles of Programming Languages 2026
- Certified Programs and Proofs — Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in...
- Auto-Active Program Verification — There is an established group of verification-aware programming languages that have native support for specifications...
- Partial Evaluation and Program Manipulation — The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going...
- Programming Quantum Computers — The Sixth International Workshop on Programming Languages for Quantum Computing (PLanQC 2026) aims to bring...
- Principles of Secure Compilation — Today’s computer systems are insecure. The semantics of mainstream low-level languages like C provide no...
- Rocq for Programming Languages — The goal of this workshop is to provide an opportunity for programming languages researchers and...
- Theory and Practice of Static Analysis — This workshop provides a venue where researchers and practitioners can present speculative ideas about new...
- Verification, Model Checking & Abstract Interpretation Workshops — VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract...
- Implementation of Type Systems — The goal of this workshop is to bring together the implementors of a variety of...
Hotels near Le Couvent des Jacobins
Garden Hotel
3 Rue Jean Marie Duhamel, 35000 Rennes, France
Hôtel Atlantic
31 Bd de Beaumont, 35000 Rennes, France
Hôtel Lanjuinais
11 Rue Comté de Lanjuinais, 35000 Rennes, France
Kyriad Rennes Centre Gare
6 Pl. de la Gare, 35000 Rennes, France
Mercure Rennes Centre Parlement
1 Rue Paul Louis Courier, 35000 Rennes, France
Novotel Rennes Centre Gare
22 Av. Jean Janvier, 35000 Rennes, France