To build a community and to foster an environment where participants can exchange ideas and experiences related to practical software development, <Programming> will host a number of workshops and sim...

Student final projects from the Introduction to Probabilistic Programming Languages course at the University of Buenos Aires, 2026.

In many multi-agent systems, agents interact repeatedly and are expected to settle into stable, rational behavior over time. Yet in practice, behavior often drifts, and detecting such deviations in re...

Vision-language models (VLMs), such as CLIP and SigLIP, have found remarkable success in classification, retrieval, and generative tasks. For this, VLMs deterministically map images and text descripti...

Having a calculation with real numbers in Lean is not as straightforward as it seems. I'm sure I'll learn better ways to do it in the future, but for now, I want to share how I solved this problem.

The AI research community plays a vital role in shaping the scientific, engineering, and societal goals of AI research. In this position paper, we argue that focusing on the highly contested topic of ...

There are many other policy implications that come with the spread of slower, safer city bikes -- here in B.C., a big one is around mandatory helmet laws. Many such laws were passed at a time when fas...