LAFI 2027 at POPL opens call for extended abstracts on probabilistic and differentiable programming
atilimgunes · x · 2026-10-09
LAFI 2027, a workshop co-located with POPL 2027 in Mexico City (with a Paris satellite), has opened its call for extended abstracts. Topics include probabilistic and differentiable programming, semantics, types, inference, automatic differentiation, and verification. Two-page submissions are due 2 Nov 2026 (AoE), with the workshop taking place 10 Jan 2027.
More from Research
- Agent Plasticity paper shows Claude learning reusable rules from NetHack and Chess failures — anirudhg9119 · 2026-10-09
- Leak hints OpenAI runs multi-agent swarms on time budgets, not token budgets, and treats it as IP — maksym_andr · 2026-10-09
- 100+ Mathematicians React: OpenAI's Quasi-Riemann Result "Almost Unbelievable" — littmath · 2026-10-09
- Epoch launches Automation Reports: Claude Fable 5.1 and GPT-6 Astra lead but can't automate its research — scaling01 · 2026-10-09
- Iris-3B: pixel-space diffusion offers no edge over latent models, study finds — speridlabs · 2026-10-09
- Meta's MIMESIS: 9B user simulator beats GPT-5.5 for training interactive agents — facebook · 2026-10-09